Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] View of /branches/ein16/synth/d2/stash/results_ty.txt
ViewVC logotype

View of /branches/ein16/synth/d2/stash/results_ty.txt

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4459 - (download) (annotate)
Mon Aug 29 15:57:31 2016 UTC (2 years, 11 months ago) by cchiw
File size: 22294 byte(s)
add d-4 type

 neg_ * |0_ *

 neg_neg |0_0
	-T_s|p_i0_o0_n0	  (T_s) -> (T_s) -> T_s
	-T_s|p_i0_o0_n0
	-T_v2|p_i0_o0_n1	  (T_v2) -> (T_v2) -> T_v2
	-T_v2|p_i0_o0_n1
	-T_v3|p_i0_o0_n2	  (T_v3) -> (T_v3) -> T_v3
	-T_v3|p_i0_o0_n2
	-T_v4|p_i0_o0_n3	  (T_v4) -> (T_v4) -> T_v4
	-T_v4|p_i0_o0_n3
	-T_m2x2|p_i0_o0_n4	  (T_m2x2) -> (T_m2x2) -> T_m2x2
	-T_m2x2|p_i0_o0_n4
	-T_m2x3|p_i0_o0_n5	  (T_m2x3) -> (T_m2x3) -> T_m2x3
	-T_m2x3|p_i0_o0_n5
	-T_m2x4|p_i0_o0_n6	  (T_m2x4) -> (T_m2x4) -> T_m2x4
	-T_m2x4|p_i0_o0_n6
	-T_m3x2|p_i0_o0_n7	  (T_m3x2) -> (T_m3x2) -> T_m3x2
	-T_m3x2|p_i0_o0_n7
	-T_m3x3|p_i0_o0_n8	  (T_m3x3) -> (T_m3x3) -> T_m3x3
	-T_m3x3|p_i0_o0_n8
	-T_m3x4|p_i0_o0_n9	  (T_m3x4) -> (T_m3x4) -> T_m3x4
	-T_m3x4|p_i0_o0_n9
	-T_m4x2|p_i0_o0_n10	  (T_m4x2) -> (T_m4x2) -> T_m4x2
	-T_m4x2|p_i0_o0_n10
	-T_m4x3|p_i0_o0_n11	  (T_m4x3) -> (T_m4x3) -> T_m4x3
	-T_m4x3|p_i0_o0_n11
	-T_m4x4|p_i0_o0_n12	  (T_m4x4) -> (T_m4x4) -> T_m4x4
	-T_m4x4|p_i0_o0_n12
	-T_t2x2x2|p_i0_o0_n13	  (T_t2x2x2) -> (T_t2x2x2) -> T_t2x2x2
	-T_t2x2x2|p_i0_o0_n13
	-T_t2x2x3|p_i0_o0_n14	  (T_t2x2x3) -> (T_t2x2x3) -> T_t2x2x3
	-T_t2x2x3|p_i0_o0_n14
	-T_t2x2x4|p_i0_o0_n15	  (T_t2x2x4) -> (T_t2x2x4) -> T_t2x2x4
	-T_t2x2x4|p_i0_o0_n15
	-T_t2x3x2|p_i0_o0_n16	  (T_t2x3x2) -> (T_t2x3x2) -> T_t2x3x2
	-T_t2x3x2|p_i0_o0_n16
	-T_t2x3x3|p_i0_o0_n17	  (T_t2x3x3) -> (T_t2x3x3) -> T_t2x3x3
	-T_t2x3x3|p_i0_o0_n17
	-T_t2x3x4|p_i0_o0_n18	  (T_t2x3x4) -> (T_t2x3x4) -> T_t2x3x4
	-T_t2x3x4|p_i0_o0_n18
	-T_t2x4x2|p_i0_o0_n19	  (T_t2x4x2) -> (T_t2x4x2) -> T_t2x4x2
	-T_t2x4x2|p_i0_o0_n19
	-T_t2x4x3|p_i0_o0_n20	  (T_t2x4x3) -> (T_t2x4x3) -> T_t2x4x3
	-T_t2x4x3|p_i0_o0_n20
	-T_t2x4x4|p_i0_o0_n21	  (T_t2x4x4) -> (T_t2x4x4) -> T_t2x4x4
	-T_t2x4x4|p_i0_o0_n21
	-T_t3x2x2|p_i0_o0_n22	  (T_t3x2x2) -> (T_t3x2x2) -> T_t3x2x2
	-T_t3x2x2|p_i0_o0_n22
	-T_t3x2x3|p_i0_o0_n23	  (T_t3x2x3) -> (T_t3x2x3) -> T_t3x2x3
	-T_t3x2x3|p_i0_o0_n23
	-T_t3x2x4|p_i0_o0_n24	  (T_t3x2x4) -> (T_t3x2x4) -> T_t3x2x4
	-T_t3x2x4|p_i0_o0_n24
	-T_t3x3x2|p_i0_o0_n25	  (T_t3x3x2) -> (T_t3x3x2) -> T_t3x3x2
	-T_t3x3x2|p_i0_o0_n25
	-T_t3x3x3|p_i0_o0_n26	  (T_t3x3x3) -> (T_t3x3x3) -> T_t3x3x3
	-T_t3x3x3|p_i0_o0_n26
	-T_t3x3x4|p_i0_o0_n27	  (T_t3x3x4) -> (T_t3x3x4) -> T_t3x3x4
	-T_t3x3x4|p_i0_o0_n27
	-T_t3x4x2|p_i0_o0_n28	  (T_t3x4x2) -> (T_t3x4x2) -> T_t3x4x2
	-T_t3x4x2|p_i0_o0_n28
	-T_t3x4x3|p_i0_o0_n29	  (T_t3x4x3) -> (T_t3x4x3) -> T_t3x4x3
	-T_t3x4x3|p_i0_o0_n29
	-T_t3x4x4|p_i0_o0_n30	  (T_t3x4x4) -> (T_t3x4x4) -> T_t3x4x4
	-T_t3x4x4|p_i0_o0_n30
	-T_t4x2x2|p_i0_o0_n31	  (T_t4x2x2) -> (T_t4x2x2) -> T_t4x2x2
	-T_t4x2x2|p_i0_o0_n31
	-T_t4x2x3|p_i0_o0_n32	  (T_t4x2x3) -> (T_t4x2x3) -> T_t4x2x3
	-T_t4x2x3|p_i0_o0_n32
	-T_t4x2x4|p_i0_o0_n33	  (T_t4x2x4) -> (T_t4x2x4) -> T_t4x2x4
	-T_t4x2x4|p_i0_o0_n33
	-T_t4x3x2|p_i0_o0_n34	  (T_t4x3x2) -> (T_t4x3x2) -> T_t4x3x2
	-T_t4x3x2|p_i0_o0_n34
	-T_t4x3x3|p_i0_o0_n35	  (T_t4x3x3) -> (T_t4x3x3) -> T_t4x3x3
	-T_t4x3x3|p_i0_o0_n35
	-T_t4x3x4|p_i0_o0_n36	  (T_t4x3x4) -> (T_t4x3x4) -> T_t4x3x4
	-T_t4x3x4|p_i0_o0_n36
	-T_t4x4x2|p_i0_o0_n37	  (T_t4x4x2) -> (T_t4x4x2) -> T_t4x4x2
	-T_t4x4x2|p_i0_o0_n37
	-T_t4x4x3|p_i0_o0_n38	  (T_t4x4x3) -> (T_t4x4x3) -> T_t4x4x3
	-T_t4x4x3|p_i0_o0_n38
	-T_t4x4x4|p_i0_o0_n39	  (T_t4x4x4) -> (T_t4x4x4) -> T_t4x4x4
	-T_t4x4x4|p_i0_o0_n39
	-F_s_d1|p_i0_o0_n40	  (F_s_d1) -> (F_s_d1) -> F_s_d1
	-F_s_d1|p_i0_o0_n40
	-F_v2_d1|p_i0_o0_n41	  (F_v2_d1) -> (F_v2_d1) -> F_v2_d1
	-F_v2_d1|p_i0_o0_n41
	-F_v3_d1|p_i0_o0_n42	  (F_v3_d1) -> (F_v3_d1) -> F_v3_d1
	-F_v3_d1|p_i0_o0_n42
	-F_v4_d1|p_i0_o0_n43	  (F_v4_d1) -> (F_v4_d1) -> F_v4_d1
	-F_v4_d1|p_i0_o0_n43
	-F_m2x2_d1|p_i0_o0_n44	  (F_m2x2_d1) -> (F_m2x2_d1) -> F_m2x2_d1
	-F_m2x2_d1|p_i0_o0_n44
	-F_m3x3_d1|p_i0_o0_n45	  (F_m3x3_d1) -> (F_m3x3_d1) -> F_m3x3_d1
	-F_m3x3_d1|p_i0_o0_n45
	-F_s_d2|p_i0_o0_n46	  (F_s_d2) -> (F_s_d2) -> F_s_d2
	-F_s_d2|p_i0_o0_n46
	-F_v2_d2|p_i0_o0_n47	  (F_v2_d2) -> (F_v2_d2) -> F_v2_d2
	-F_v2_d2|p_i0_o0_n47
	-F_v3_d2|p_i0_o0_n48	  (F_v3_d2) -> (F_v3_d2) -> F_v3_d2
	-F_v3_d2|p_i0_o0_n48
	-F_v4_d2|p_i0_o0_n49	  (F_v4_d2) -> (F_v4_d2) -> F_v4_d2
	-F_v4_d2|p_i0_o0_n49
	-F_m2x2_d2|p_i0_o0_n50	  (F_m2x2_d2) -> (F_m2x2_d2) -> F_m2x2_d2
	-F_m2x2_d2|p_i0_o0_n50
	-F_m3x3_d2|p_i0_o0_n51	  (F_m3x3_d2) -> (F_m3x3_d2) -> F_m3x3_d2
	-F_m3x3_d2|p_i0_o0_n51
	-F_s_d3|p_i0_o0_n52	  (F_s_d3) -> (F_s_d3) -> F_s_d3
	-F_s_d3|p_i0_o0_n52
	-F_v2_d3|p_i0_o0_n53	  (F_v2_d3) -> (F_v2_d3) -> F_v2_d3
	-F_v2_d3|p_i0_o0_n53
	-F_v3_d3|p_i0_o0_n54	  (F_v3_d3) -> (F_v3_d3) -> F_v3_d3
	-F_v3_d3|p_i0_o0_n54
	-F_v4_d3|p_i0_o0_n55	  (F_v4_d3) -> (F_v4_d3) -> F_v4_d3
	-F_v4_d3|p_i0_o0_n55
	-F_m2x2_d3|p_i0_o0_n56	  (F_m2x2_d3) -> (F_m2x2_d3) -> F_m2x2_d3
	-F_m2x2_d3|p_i0_o0_n56
	-F_m3x3_d3|p_i0_o0_n57	  (F_m3x3_d3) -> (F_m3x3_d3) -> F_m3x3_d3
	-F_m3x3_d3|p_i0_o0_n57

 norm_neg |0_1
	-T_s|p_i0_o1_n0	  (T_s) -> (T_s) -> T_s
	-T_s|p_i0_o1_n0
	-T_v2|p_i0_o1_n1	  (T_v2) -> (T_v2) -> T_s
	-T_v2|p_i0_o1_n1
	-T_v3|p_i0_o1_n2	  (T_v3) -> (T_v3) -> T_s
	-T_v3|p_i0_o1_n2
	-T_v4|p_i0_o1_n3	  (T_v4) -> (T_v4) -> T_s
	-T_v4|p_i0_o1_n3
	-T_m2x2|p_i0_o1_n4	  (T_m2x2) -> (T_m2x2) -> T_s
	-T_m2x2|p_i0_o1_n4
	-T_m2x3|p_i0_o1_n5	  (T_m2x3) -> (T_m2x3) -> T_s
	-T_m2x3|p_i0_o1_n5
	-T_m2x4|p_i0_o1_n6	  (T_m2x4) -> (T_m2x4) -> T_s
	-T_m2x4|p_i0_o1_n6
	-T_m3x2|p_i0_o1_n7	  (T_m3x2) -> (T_m3x2) -> T_s
	-T_m3x2|p_i0_o1_n7
	-T_m3x3|p_i0_o1_n8	  (T_m3x3) -> (T_m3x3) -> T_s
	-T_m3x3|p_i0_o1_n8
	-T_m3x4|p_i0_o1_n9	  (T_m3x4) -> (T_m3x4) -> T_s
	-T_m3x4|p_i0_o1_n9
	-T_m4x2|p_i0_o1_n10	  (T_m4x2) -> (T_m4x2) -> T_s
	-T_m4x2|p_i0_o1_n10
	-T_m4x3|p_i0_o1_n11	  (T_m4x3) -> (T_m4x3) -> T_s
	-T_m4x3|p_i0_o1_n11
	-T_m4x4|p_i0_o1_n12	  (T_m4x4) -> (T_m4x4) -> T_s
	-T_m4x4|p_i0_o1_n12
	-T_t2x2x2|p_i0_o1_n13	  (T_t2x2x2) -> (T_t2x2x2) -> T_s
	-T_t2x2x2|p_i0_o1_n13
	-T_t2x2x3|p_i0_o1_n14	  (T_t2x2x3) -> (T_t2x2x3) -> T_s
	-T_t2x2x3|p_i0_o1_n14
	-T_t2x2x4|p_i0_o1_n15	  (T_t2x2x4) -> (T_t2x2x4) -> T_s
	-T_t2x2x4|p_i0_o1_n15
	-T_t2x3x2|p_i0_o1_n16	  (T_t2x3x2) -> (T_t2x3x2) -> T_s
	-T_t2x3x2|p_i0_o1_n16
	-T_t2x3x3|p_i0_o1_n17	  (T_t2x3x3) -> (T_t2x3x3) -> T_s
	-T_t2x3x3|p_i0_o1_n17
	-T_t2x3x4|p_i0_o1_n18	  (T_t2x3x4) -> (T_t2x3x4) -> T_s
	-T_t2x3x4|p_i0_o1_n18
	-T_t2x4x2|p_i0_o1_n19	  (T_t2x4x2) -> (T_t2x4x2) -> T_s
	-T_t2x4x2|p_i0_o1_n19
	-T_t2x4x3|p_i0_o1_n20	  (T_t2x4x3) -> (T_t2x4x3) -> T_s
	-T_t2x4x3|p_i0_o1_n20
	-T_t2x4x4|p_i0_o1_n21	  (T_t2x4x4) -> (T_t2x4x4) -> T_s
	-T_t2x4x4|p_i0_o1_n21
	-T_t3x2x2|p_i0_o1_n22	  (T_t3x2x2) -> (T_t3x2x2) -> T_s
	-T_t3x2x2|p_i0_o1_n22
	-T_t3x2x3|p_i0_o1_n23	  (T_t3x2x3) -> (T_t3x2x3) -> T_s
	-T_t3x2x3|p_i0_o1_n23
	-T_t3x2x4|p_i0_o1_n24	  (T_t3x2x4) -> (T_t3x2x4) -> T_s
	-T_t3x2x4|p_i0_o1_n24
	-T_t3x3x2|p_i0_o1_n25	  (T_t3x3x2) -> (T_t3x3x2) -> T_s
	-T_t3x3x2|p_i0_o1_n25
	-T_t3x3x3|p_i0_o1_n26	  (T_t3x3x3) -> (T_t3x3x3) -> T_s
	-T_t3x3x3|p_i0_o1_n26
	-T_t3x3x4|p_i0_o1_n27	  (T_t3x3x4) -> (T_t3x3x4) -> T_s
	-T_t3x3x4|p_i0_o1_n27
	-T_t3x4x2|p_i0_o1_n28	  (T_t3x4x2) -> (T_t3x4x2) -> T_s
	-T_t3x4x2|p_i0_o1_n28
	-T_t3x4x3|p_i0_o1_n29	  (T_t3x4x3) -> (T_t3x4x3) -> T_s
	-T_t3x4x3|p_i0_o1_n29
	-T_t3x4x4|p_i0_o1_n30	  (T_t3x4x4) -> (T_t3x4x4) -> T_s
	-T_t3x4x4|p_i0_o1_n30
	-T_t4x2x2|p_i0_o1_n31	  (T_t4x2x2) -> (T_t4x2x2) -> T_s
	-T_t4x2x2|p_i0_o1_n31
	-T_t4x2x3|p_i0_o1_n32	  (T_t4x2x3) -> (T_t4x2x3) -> T_s
	-T_t4x2x3|p_i0_o1_n32
	-T_t4x2x4|p_i0_o1_n33	  (T_t4x2x4) -> (T_t4x2x4) -> T_s
	-T_t4x2x4|p_i0_o1_n33
	-T_t4x3x2|p_i0_o1_n34	  (T_t4x3x2) -> (T_t4x3x2) -> T_s
	-T_t4x3x2|p_i0_o1_n34
	-T_t4x3x3|p_i0_o1_n35	  (T_t4x3x3) -> (T_t4x3x3) -> T_s
	-T_t4x3x3|p_i0_o1_n35
	-T_t4x3x4|p_i0_o1_n36	  (T_t4x3x4) -> (T_t4x3x4) -> T_s
	-T_t4x3x4|p_i0_o1_n36
	-T_t4x4x2|p_i0_o1_n37	  (T_t4x4x2) -> (T_t4x4x2) -> T_s
	-T_t4x4x2|p_i0_o1_n37
	-T_t4x4x3|p_i0_o1_n38	  (T_t4x4x3) -> (T_t4x4x3) -> T_s
	-T_t4x4x3|p_i0_o1_n38
	-T_t4x4x4|p_i0_o1_n39	  (T_t4x4x4) -> (T_t4x4x4) -> T_s
	-T_t4x4x4|p_i0_o1_n39
	-F_s_d1|p_i0_o1_n40	  (F_s_d1) -> (F_s_d1) -> F_s_d1
	-F_s_d1|p_i0_o1_n40
	-F_v2_d1|p_i0_o1_n41	  (F_v2_d1) -> (F_v2_d1) -> F_s_d1
	-F_v2_d1|p_i0_o1_n41
	-F_v3_d1|p_i0_o1_n42	  (F_v3_d1) -> (F_v3_d1) -> F_s_d1
	-F_v3_d1|p_i0_o1_n42
	-F_v4_d1|p_i0_o1_n43	  (F_v4_d1) -> (F_v4_d1) -> F_s_d1
	-F_v4_d1|p_i0_o1_n43
	-F_m2x2_d1|p_i0_o1_n44	  (F_m2x2_d1) -> (F_m2x2_d1) -> F_s_d1
	-F_m2x2_d1|p_i0_o1_n44
	-F_m3x3_d1|p_i0_o1_n45	  (F_m3x3_d1) -> (F_m3x3_d1) -> F_s_d1
	-F_m3x3_d1|p_i0_o1_n45
	-F_s_d2|p_i0_o1_n46	  (F_s_d2) -> (F_s_d2) -> F_s_d2
	-F_s_d2|p_i0_o1_n46
	-F_v2_d2|p_i0_o1_n47	  (F_v2_d2) -> (F_v2_d2) -> F_s_d2
	-F_v2_d2|p_i0_o1_n47
	-F_v3_d2|p_i0_o1_n48	  (F_v3_d2) -> (F_v3_d2) -> F_s_d2
	-F_v3_d2|p_i0_o1_n48
	-F_v4_d2|p_i0_o1_n49	  (F_v4_d2) -> (F_v4_d2) -> F_s_d2
	-F_v4_d2|p_i0_o1_n49
	-F_m2x2_d2|p_i0_o1_n50	  (F_m2x2_d2) -> (F_m2x2_d2) -> F_s_d2
	-F_m2x2_d2|p_i0_o1_n50
	-F_m3x3_d2|p_i0_o1_n51	  (F_m3x3_d2) -> (F_m3x3_d2) -> F_s_d2
	-F_m3x3_d2|p_i0_o1_n51
	-F_s_d3|p_i0_o1_n52	  (F_s_d3) -> (F_s_d3) -> F_s_d3
	-F_s_d3|p_i0_o1_n52
	-F_v2_d3|p_i0_o1_n53	  (F_v2_d3) -> (F_v2_d3) -> F_s_d3
	-F_v2_d3|p_i0_o1_n53
	-F_v3_d3|p_i0_o1_n54	  (F_v3_d3) -> (F_v3_d3) -> F_s_d3
	-F_v3_d3|p_i0_o1_n54
	-F_v4_d3|p_i0_o1_n55	  (F_v4_d3) -> (F_v4_d3) -> F_s_d3
	-F_v4_d3|p_i0_o1_n55
	-F_m2x2_d3|p_i0_o1_n56	  (F_m2x2_d3) -> (F_m2x2_d3) -> F_s_d3
	-F_m2x2_d3|p_i0_o1_n56
	-F_m3x3_d3|p_i0_o1_n57	  (F_m3x3_d3) -> (F_m3x3_d3) -> F_s_d3
	-F_m3x3_d3|p_i0_o1_n57

 normalize_neg |0_2
	-T_v2|p_i0_o2_n1	  (T_v2) -> (T_v2) -> T_v2
	-T_v2|p_i0_o2_n1
	-T_v3|p_i0_o2_n2	  (T_v3) -> (T_v3) -> T_v3
	-T_v3|p_i0_o2_n2
	-T_v4|p_i0_o2_n3	  (T_v4) -> (T_v4) -> T_v4
	-T_v4|p_i0_o2_n3
	-T_m2x2|p_i0_o2_n4	  (T_m2x2) -> (T_m2x2) -> T_m2x2
	-T_m2x2|p_i0_o2_n4
	-T_m2x3|p_i0_o2_n5	  (T_m2x3) -> (T_m2x3) -> T_m2x3
	-T_m2x3|p_i0_o2_n5
	-T_m2x4|p_i0_o2_n6	  (T_m2x4) -> (T_m2x4) -> T_m2x4
	-T_m2x4|p_i0_o2_n6
	-T_m3x2|p_i0_o2_n7	  (T_m3x2) -> (T_m3x2) -> T_m3x2
	-T_m3x2|p_i0_o2_n7
	-T_m3x3|p_i0_o2_n8	  (T_m3x3) -> (T_m3x3) -> T_m3x3
	-T_m3x3|p_i0_o2_n8
	-T_m3x4|p_i0_o2_n9	  (T_m3x4) -> (T_m3x4) -> T_m3x4
	-T_m3x4|p_i0_o2_n9
	-T_m4x2|p_i0_o2_n10	  (T_m4x2) -> (T_m4x2) -> T_m4x2
	-T_m4x2|p_i0_o2_n10
	-T_m4x3|p_i0_o2_n11	  (T_m4x3) -> (T_m4x3) -> T_m4x3
	-T_m4x3|p_i0_o2_n11
	-T_m4x4|p_i0_o2_n12	  (T_m4x4) -> (T_m4x4) -> T_m4x4
	-T_m4x4|p_i0_o2_n12
	-T_t2x2x2|p_i0_o2_n13	  (T_t2x2x2) -> (T_t2x2x2) -> T_t2x2x2
	-T_t2x2x2|p_i0_o2_n13
	-T_t2x2x3|p_i0_o2_n14	  (T_t2x2x3) -> (T_t2x2x3) -> T_t2x2x3
	-T_t2x2x3|p_i0_o2_n14
	-T_t2x2x4|p_i0_o2_n15	  (T_t2x2x4) -> (T_t2x2x4) -> T_t2x2x4
	-T_t2x2x4|p_i0_o2_n15
	-T_t2x3x2|p_i0_o2_n16	  (T_t2x3x2) -> (T_t2x3x2) -> T_t2x3x2
	-T_t2x3x2|p_i0_o2_n16
	-T_t2x3x3|p_i0_o2_n17	  (T_t2x3x3) -> (T_t2x3x3) -> T_t2x3x3
	-T_t2x3x3|p_i0_o2_n17
	-T_t2x3x4|p_i0_o2_n18	  (T_t2x3x4) -> (T_t2x3x4) -> T_t2x3x4
	-T_t2x3x4|p_i0_o2_n18
	-T_t2x4x2|p_i0_o2_n19	  (T_t2x4x2) -> (T_t2x4x2) -> T_t2x4x2
	-T_t2x4x2|p_i0_o2_n19
	-T_t2x4x3|p_i0_o2_n20	  (T_t2x4x3) -> (T_t2x4x3) -> T_t2x4x3
	-T_t2x4x3|p_i0_o2_n20
	-T_t2x4x4|p_i0_o2_n21	  (T_t2x4x4) -> (T_t2x4x4) -> T_t2x4x4
	-T_t2x4x4|p_i0_o2_n21
	-T_t3x2x2|p_i0_o2_n22	  (T_t3x2x2) -> (T_t3x2x2) -> T_t3x2x2
	-T_t3x2x2|p_i0_o2_n22
	-T_t3x2x3|p_i0_o2_n23	  (T_t3x2x3) -> (T_t3x2x3) -> T_t3x2x3
	-T_t3x2x3|p_i0_o2_n23
	-T_t3x2x4|p_i0_o2_n24	  (T_t3x2x4) -> (T_t3x2x4) -> T_t3x2x4
	-T_t3x2x4|p_i0_o2_n24
	-T_t3x3x2|p_i0_o2_n25	  (T_t3x3x2) -> (T_t3x3x2) -> T_t3x3x2
	-T_t3x3x2|p_i0_o2_n25
	-T_t3x3x3|p_i0_o2_n26	  (T_t3x3x3) -> (T_t3x3x3) -> T_t3x3x3
	-T_t3x3x3|p_i0_o2_n26
	-T_t3x3x4|p_i0_o2_n27	  (T_t3x3x4) -> (T_t3x3x4) -> T_t3x3x4
	-T_t3x3x4|p_i0_o2_n27
	-T_t3x4x2|p_i0_o2_n28	  (T_t3x4x2) -> (T_t3x4x2) -> T_t3x4x2
	-T_t3x4x2|p_i0_o2_n28
	-T_t3x4x3|p_i0_o2_n29	  (T_t3x4x3) -> (T_t3x4x3) -> T_t3x4x3
	-T_t3x4x3|p_i0_o2_n29
	-T_t3x4x4|p_i0_o2_n30	  (T_t3x4x4) -> (T_t3x4x4) -> T_t3x4x4
	-T_t3x4x4|p_i0_o2_n30
	-T_t4x2x2|p_i0_o2_n31	  (T_t4x2x2) -> (T_t4x2x2) -> T_t4x2x2
	-T_t4x2x2|p_i0_o2_n31
	-T_t4x2x3|p_i0_o2_n32	  (T_t4x2x3) -> (T_t4x2x3) -> T_t4x2x3
	-T_t4x2x3|p_i0_o2_n32
	-T_t4x2x4|p_i0_o2_n33	  (T_t4x2x4) -> (T_t4x2x4) -> T_t4x2x4
	-T_t4x2x4|p_i0_o2_n33
	-T_t4x3x2|p_i0_o2_n34	  (T_t4x3x2) -> (T_t4x3x2) -> T_t4x3x2
	-T_t4x3x2|p_i0_o2_n34
	-T_t4x3x3|p_i0_o2_n35	  (T_t4x3x3) -> (T_t4x3x3) -> T_t4x3x3
	-T_t4x3x3|p_i0_o2_n35
	-T_t4x3x4|p_i0_o2_n36	  (T_t4x3x4) -> (T_t4x3x4) -> T_t4x3x4
	-T_t4x3x4|p_i0_o2_n36
	-T_t4x4x2|p_i0_o2_n37	  (T_t4x4x2) -> (T_t4x4x2) -> T_t4x4x2
	-T_t4x4x2|p_i0_o2_n37
	-T_t4x4x3|p_i0_o2_n38	  (T_t4x4x3) -> (T_t4x4x3) -> T_t4x4x3
	-T_t4x4x3|p_i0_o2_n38
	-T_t4x4x4|p_i0_o2_n39	  (T_t4x4x4) -> (T_t4x4x4) -> T_t4x4x4
	-T_t4x4x4|p_i0_o2_n39
	-F_v2_d1|p_i0_o2_n41	  (F_v2_d1) -> (F_v2_d1) -> F_v2_d1
	-F_v2_d1|p_i0_o2_n41
	-F_v3_d1|p_i0_o2_n42	  (F_v3_d1) -> (F_v3_d1) -> F_v3_d1
	-F_v3_d1|p_i0_o2_n42
	-F_v4_d1|p_i0_o2_n43	  (F_v4_d1) -> (F_v4_d1) -> F_v4_d1
	-F_v4_d1|p_i0_o2_n43
	-F_m2x2_d1|p_i0_o2_n44	  (F_m2x2_d1) -> (F_m2x2_d1) -> F_m2x2_d1
	-F_m2x2_d1|p_i0_o2_n44
	-F_m3x3_d1|p_i0_o2_n45	  (F_m3x3_d1) -> (F_m3x3_d1) -> F_m3x3_d1
	-F_m3x3_d1|p_i0_o2_n45
	-F_v2_d2|p_i0_o2_n47	  (F_v2_d2) -> (F_v2_d2) -> F_v2_d2
	-F_v2_d2|p_i0_o2_n47
	-F_v3_d2|p_i0_o2_n48	  (F_v3_d2) -> (F_v3_d2) -> F_v3_d2
	-F_v3_d2|p_i0_o2_n48
	-F_v4_d2|p_i0_o2_n49	  (F_v4_d2) -> (F_v4_d2) -> F_v4_d2
	-F_v4_d2|p_i0_o2_n49
	-F_m2x2_d2|p_i0_o2_n50	  (F_m2x2_d2) -> (F_m2x2_d2) -> F_m2x2_d2
	-F_m2x2_d2|p_i0_o2_n50
	-F_m3x3_d2|p_i0_o2_n51	  (F_m3x3_d2) -> (F_m3x3_d2) -> F_m3x3_d2
	-F_m3x3_d2|p_i0_o2_n51
	-F_v2_d3|p_i0_o2_n53	  (F_v2_d3) -> (F_v2_d3) -> F_v2_d3
	-F_v2_d3|p_i0_o2_n53
	-F_v3_d3|p_i0_o2_n54	  (F_v3_d3) -> (F_v3_d3) -> F_v3_d3
	-F_v3_d3|p_i0_o2_n54
	-F_v4_d3|p_i0_o2_n55	  (F_v4_d3) -> (F_v4_d3) -> F_v4_d3
	-F_v4_d3|p_i0_o2_n55
	-F_m2x2_d3|p_i0_o2_n56	  (F_m2x2_d3) -> (F_m2x2_d3) -> F_m2x2_d3
	-F_m2x2_d3|p_i0_o2_n56
	-F_m3x3_d3|p_i0_o2_n57	  (F_m3x3_d3) -> (F_m3x3_d3) -> F_m3x3_d3
	-F_m3x3_d3|p_i0_o2_n57

 trace_neg |0_3
	-T_m2x2|p_i0_o3_n4	  (T_m2x2) -> (T_m2x2) -> T_s
	-T_m2x2|p_i0_o3_n4
	-T_m3x3|p_i0_o3_n8	  (T_m3x3) -> (T_m3x3) -> T_s
	-T_m3x3|p_i0_o3_n8
	-F_m2x2_d1|p_i0_o3_n44	  (F_m2x2_d1) -> (F_m2x2_d1) -> F_s_d1
	-F_m2x2_d1|p_i0_o3_n44
	-F_m3x3_d1|p_i0_o3_n45	  (F_m3x3_d1) -> (F_m3x3_d1) -> F_s_d1
	-F_m3x3_d1|p_i0_o3_n45
	-F_m2x2_d2|p_i0_o3_n50	  (F_m2x2_d2) -> (F_m2x2_d2) -> F_s_d2
	-F_m2x2_d2|p_i0_o3_n50
	-F_m3x3_d2|p_i0_o3_n51	  (F_m3x3_d2) -> (F_m3x3_d2) -> F_s_d2
	-F_m3x3_d2|p_i0_o3_n51
	-F_m2x2_d3|p_i0_o3_n56	  (F_m2x2_d3) -> (F_m2x2_d3) -> F_s_d3
	-F_m2x2_d3|p_i0_o3_n56
	-F_m3x3_d3|p_i0_o3_n57	  (F_m3x3_d3) -> (F_m3x3_d3) -> F_s_d3
	-F_m3x3_d3|p_i0_o3_n57

 transpose_neg |0_4
	-T_m2x2|p_i0_o4_n4	  (T_m2x2) -> (T_m2x2) -> T_m2x2
	-T_m2x2|p_i0_o4_n4
	-T_m3x3|p_i0_o4_n8	  (T_m3x3) -> (T_m3x3) -> T_m3x3
	-T_m3x3|p_i0_o4_n8
	-T_m4x4|p_i0_o4_n12	  (T_m4x4) -> (T_m4x4) -> T_m4x4
	-T_m4x4|p_i0_o4_n12
	-F_m2x2_d1|p_i0_o4_n44	  (F_m2x2_d1) -> (F_m2x2_d1) -> F_m2x2_d1
	-F_m2x2_d1|p_i0_o4_n44
	-F_m3x3_d1|p_i0_o4_n45	  (F_m3x3_d1) -> (F_m3x3_d1) -> F_m3x3_d1
	-F_m3x3_d1|p_i0_o4_n45
	-F_m2x2_d2|p_i0_o4_n50	  (F_m2x2_d2) -> (F_m2x2_d2) -> F_m2x2_d2
	-F_m2x2_d2|p_i0_o4_n50
	-F_m3x3_d2|p_i0_o4_n51	  (F_m3x3_d2) -> (F_m3x3_d2) -> F_m3x3_d2
	-F_m3x3_d2|p_i0_o4_n51
	-F_m2x2_d3|p_i0_o4_n56	  (F_m2x2_d3) -> (F_m2x2_d3) -> F_m2x2_d3
	-F_m2x2_d3|p_i0_o4_n56
	-F_m3x3_d3|p_i0_o4_n57	  (F_m3x3_d3) -> (F_m3x3_d3) -> F_m3x3_d3
	-F_m3x3_d3|p_i0_o4_n57

 det_neg |0_5
	-T_m2x2|p_i0_o5_n4	  (T_m2x2) -> (T_m2x2) -> T_s
	-T_m2x2|p_i0_o5_n4
	-T_m3x3|p_i0_o5_n8	  (T_m3x3) -> (T_m3x3) -> T_s
	-T_m3x3|p_i0_o5_n8
	-F_m2x2_d1|p_i0_o5_n44	  (F_m2x2_d1) -> (F_m2x2_d1) -> F_s_d1
	-F_m2x2_d1|p_i0_o5_n44
	-F_m3x3_d1|p_i0_o5_n45	  (F_m3x3_d1) -> (F_m3x3_d1) -> F_s_d1
	-F_m3x3_d1|p_i0_o5_n45
	-F_m2x2_d2|p_i0_o5_n50	  (F_m2x2_d2) -> (F_m2x2_d2) -> F_s_d2
	-F_m2x2_d2|p_i0_o5_n50
	-F_m3x3_d2|p_i0_o5_n51	  (F_m3x3_d2) -> (F_m3x3_d2) -> F_s_d2
	-F_m3x3_d2|p_i0_o5_n51
	-F_m2x2_d3|p_i0_o5_n56	  (F_m2x2_d3) -> (F_m2x2_d3) -> F_s_d3
	-F_m2x2_d3|p_i0_o5_n56
	-F_m3x3_d3|p_i0_o5_n57	  (F_m3x3_d3) -> (F_m3x3_d3) -> F_s_d3
	-F_m3x3_d3|p_i0_o5_n57

 probe_neg |0_6
	-T_s|p_i0_o6_n0	  (T_s) -> (T_s) -> T_s
	-T_s|p_i0_o6_n0
	-T_v2|p_i0_o6_n1	  (T_v2) -> (T_v2) -> T_v2
	-T_v2|p_i0_o6_n1
	-T_v3|p_i0_o6_n2	  (T_v3) -> (T_v3) -> T_v3
	-T_v3|p_i0_o6_n2
	-T_v4|p_i0_o6_n3	  (T_v4) -> (T_v4) -> T_v4
	-T_v4|p_i0_o6_n3
	-T_m2x2|p_i0_o6_n4	  (T_m2x2) -> (T_m2x2) -> T_m2x2
	-T_m2x2|p_i0_o6_n4
	-T_m2x3|p_i0_o6_n5	  (T_m2x3) -> (T_m2x3) -> T_m2x3
	-T_m2x3|p_i0_o6_n5
	-T_m2x4|p_i0_o6_n6	  (T_m2x4) -> (T_m2x4) -> T_m2x4
	-T_m2x4|p_i0_o6_n6
	-T_m3x2|p_i0_o6_n7	  (T_m3x2) -> (T_m3x2) -> T_m3x2
	-T_m3x2|p_i0_o6_n7
	-T_m3x3|p_i0_o6_n8	  (T_m3x3) -> (T_m3x3) -> T_m3x3
	-T_m3x3|p_i0_o6_n8
	-T_m3x4|p_i0_o6_n9	  (T_m3x4) -> (T_m3x4) -> T_m3x4
	-T_m3x4|p_i0_o6_n9
	-T_m4x2|p_i0_o6_n10	  (T_m4x2) -> (T_m4x2) -> T_m4x2
	-T_m4x2|p_i0_o6_n10
	-T_m4x3|p_i0_o6_n11	  (T_m4x3) -> (T_m4x3) -> T_m4x3
	-T_m4x3|p_i0_o6_n11
	-T_m4x4|p_i0_o6_n12	  (T_m4x4) -> (T_m4x4) -> T_m4x4
	-T_m4x4|p_i0_o6_n12
	-T_t2x2x2|p_i0_o6_n13	  (T_t2x2x2) -> (T_t2x2x2) -> T_t2x2x2
	-T_t2x2x2|p_i0_o6_n13
	-T_t2x2x3|p_i0_o6_n14	  (T_t2x2x3) -> (T_t2x2x3) -> T_t2x2x3
	-T_t2x2x3|p_i0_o6_n14
	-T_t2x2x4|p_i0_o6_n15	  (T_t2x2x4) -> (T_t2x2x4) -> T_t2x2x4
	-T_t2x2x4|p_i0_o6_n15
	-T_t2x3x2|p_i0_o6_n16	  (T_t2x3x2) -> (T_t2x3x2) -> T_t2x3x2
	-T_t2x3x2|p_i0_o6_n16
	-T_t2x3x3|p_i0_o6_n17	  (T_t2x3x3) -> (T_t2x3x3) -> T_t2x3x3
	-T_t2x3x3|p_i0_o6_n17
	-T_t2x3x4|p_i0_o6_n18	  (T_t2x3x4) -> (T_t2x3x4) -> T_t2x3x4
	-T_t2x3x4|p_i0_o6_n18
	-T_t2x4x2|p_i0_o6_n19	  (T_t2x4x2) -> (T_t2x4x2) -> T_t2x4x2
	-T_t2x4x2|p_i0_o6_n19
	-T_t2x4x3|p_i0_o6_n20	  (T_t2x4x3) -> (T_t2x4x3) -> T_t2x4x3
	-T_t2x4x3|p_i0_o6_n20
	-T_t2x4x4|p_i0_o6_n21	  (T_t2x4x4) -> (T_t2x4x4) -> T_t2x4x4
	-T_t2x4x4|p_i0_o6_n21
	-T_t3x2x2|p_i0_o6_n22	  (T_t3x2x2) -> (T_t3x2x2) -> T_t3x2x2
	-T_t3x2x2|p_i0_o6_n22
	-T_t3x2x3|p_i0_o6_n23	  (T_t3x2x3) -> (T_t3x2x3) -> T_t3x2x3
	-T_t3x2x3|p_i0_o6_n23
	-T_t3x2x4|p_i0_o6_n24	  (T_t3x2x4) -> (T_t3x2x4) -> T_t3x2x4
	-T_t3x2x4|p_i0_o6_n24
	-T_t3x3x2|p_i0_o6_n25	  (T_t3x3x2) -> (T_t3x3x2) -> T_t3x3x2
	-T_t3x3x2|p_i0_o6_n25
	-T_t3x3x3|p_i0_o6_n26	  (T_t3x3x3) -> (T_t3x3x3) -> T_t3x3x3
	-T_t3x3x3|p_i0_o6_n26
	-T_t3x3x4|p_i0_o6_n27	  (T_t3x3x4) -> (T_t3x3x4) -> T_t3x3x4
	-T_t3x3x4|p_i0_o6_n27
	-T_t3x4x2|p_i0_o6_n28	  (T_t3x4x2) -> (T_t3x4x2) -> T_t3x4x2
	-T_t3x4x2|p_i0_o6_n28
	-T_t3x4x3|p_i0_o6_n29	  (T_t3x4x3) -> (T_t3x4x3) -> T_t3x4x3
	-T_t3x4x3|p_i0_o6_n29
	-T_t3x4x4|p_i0_o6_n30	  (T_t3x4x4) -> (T_t3x4x4) -> T_t3x4x4
	-T_t3x4x4|p_i0_o6_n30
	-T_t4x2x2|p_i0_o6_n31	  (T_t4x2x2) -> (T_t4x2x2) -> T_t4x2x2
	-T_t4x2x2|p_i0_o6_n31
	-T_t4x2x3|p_i0_o6_n32	  (T_t4x2x3) -> (T_t4x2x3) -> T_t4x2x3
	-T_t4x2x3|p_i0_o6_n32
	-T_t4x2x4|p_i0_o6_n33	  (T_t4x2x4) -> (T_t4x2x4) -> T_t4x2x4
	-T_t4x2x4|p_i0_o6_n33
	-T_t4x3x2|p_i0_o6_n34	  (T_t4x3x2) -> (T_t4x3x2) -> T_t4x3x2
	-T_t4x3x2|p_i0_o6_n34
	-T_t4x3x3|p_i0_o6_n35	  (T_t4x3x3) -> (T_t4x3x3) -> T_t4x3x3
	-T_t4x3x3|p_i0_o6_n35
	-T_t4x3x4|p_i0_o6_n36	  (T_t4x3x4) -> (T_t4x3x4) -> T_t4x3x4
	-T_t4x3x4|p_i0_o6_n36
	-T_t4x4x2|p_i0_o6_n37	  (T_t4x4x2) -> (T_t4x4x2) -> T_t4x4x2
	-T_t4x4x2|p_i0_o6_n37
	-T_t4x4x3|p_i0_o6_n38	  (T_t4x4x3) -> (T_t4x4x3) -> T_t4x4x3
	-T_t4x4x3|p_i0_o6_n38
	-T_t4x4x4|p_i0_o6_n39	  (T_t4x4x4) -> (T_t4x4x4) -> T_t4x4x4
	-T_t4x4x4|p_i0_o6_n39
	-F_s_d1|p_i0_o6_n40	  (F_s_d1) -> (F_s_d1) -> F_s_d1
	-F_s_d1|p_i0_o6_n40
	-F_v2_d1|p_i0_o6_n41	  (F_v2_d1) -> (F_v2_d1) -> F_v2_d1
	-F_v2_d1|p_i0_o6_n41
	-F_v3_d1|p_i0_o6_n42	  (F_v3_d1) -> (F_v3_d1) -> F_v3_d1
	-F_v3_d1|p_i0_o6_n42
	-F_v4_d1|p_i0_o6_n43	  (F_v4_d1) -> (F_v4_d1) -> F_v4_d1
	-F_v4_d1|p_i0_o6_n43
	-F_m2x2_d1|p_i0_o6_n44	  (F_m2x2_d1) -> (F_m2x2_d1) -> F_m2x2_d1
	-F_m2x2_d1|p_i0_o6_n44
	-F_m3x3_d1|p_i0_o6_n45	  (F_m3x3_d1) -> (F_m3x3_d1) -> F_m3x3_d1
	-F_m3x3_d1|p_i0_o6_n45
	-F_s_d2|p_i0_o6_n46	  (F_s_d2) -> (F_s_d2) -> F_s_d2
	-F_s_d2|p_i0_o6_n46
	-F_v2_d2|p_i0_o6_n47	  (F_v2_d2) -> (F_v2_d2) -> F_v2_d2
	-F_v2_d2|p_i0_o6_n47
	-F_v3_d2|p_i0_o6_n48	  (F_v3_d2) -> (F_v3_d2) -> F_v3_d2
	-F_v3_d2|p_i0_o6_n48
	-F_v4_d2|p_i0_o6_n49	  (F_v4_d2) -> (F_v4_d2) -> F_v4_d2
	-F_v4_d2|p_i0_o6_n49
	-F_m2x2_d2|p_i0_o6_n50	  (F_m2x2_d2) -> (F_m2x2_d2) -> F_m2x2_d2
	-F_m2x2_d2|p_i0_o6_n50
	-F_m3x3_d2|p_i0_o6_n51	  (F_m3x3_d2) -> (F_m3x3_d2) -> F_m3x3_d2
	-F_m3x3_d2|p_i0_o6_n51
	-F_s_d3|p_i0_o6_n52	  (F_s_d3) -> (F_s_d3) -> F_s_d3
	-F_s_d3|p_i0_o6_n52
	-F_v2_d3|p_i0_o6_n53	  (F_v2_d3) -> (F_v2_d3) -> F_v2_d3
	-F_v2_d3|p_i0_o6_n53
	-F_v3_d3|p_i0_o6_n54	  (F_v3_d3) -> (F_v3_d3) -> F_v3_d3
	-F_v3_d3|p_i0_o6_n54
	-F_v4_d3|p_i0_o6_n55	  (F_v4_d3) -> (F_v4_d3) -> F_v4_d3
	-F_v4_d3|p_i0_o6_n55
	-F_m2x2_d3|p_i0_o6_n56	  (F_m2x2_d3) -> (F_m2x2_d3) -> F_m2x2_d3
	-F_m2x2_d3|p_i0_o6_n56
	-F_m3x3_d3|p_i0_o6_n57	  (F_m3x3_d3) -> (F_m3x3_d3) -> F_m3x3_d3
	-F_m3x3_d3|p_i0_o6_n57

 grad_neg |0_7
	-F_s_d1|p_i0_o7_n40	  (F_s_d1) -> (F_s_d1) -> F_s_d1
	-F_s_d1|p_i0_o7_n40
	-F_s_d2|p_i0_o7_n46	  (F_s_d2) -> (F_s_d2) -> F_v2_d2
	-F_s_d2|p_i0_o7_n46
	-F_s_d3|p_i0_o7_n52	  (F_s_d3) -> (F_s_d3) -> F_v3_d3
	-F_s_d3|p_i0_o7_n52

 div_neg |0_8
	-F_v2_d2|p_i0_o8_n47	  (F_v2_d2) -> (F_v2_d2) -> F_s_d2
	-F_v2_d2|p_i0_o8_n47
	-F_v3_d3|p_i0_o8_n54	  (F_v3_d3) -> (F_v3_d3) -> F_s_d3
	-F_v3_d3|p_i0_o8_n54

 curl_neg |0_9
	-F_v2_d2|p_i0_o9_n47	  (F_v2_d2) -> (F_v2_d2) -> F_s_d2
	-F_v2_d2|p_i0_o9_n47
	-F_v3_d3|p_i0_o9_n54	  (F_v3_d3) -> (F_v3_d3) -> F_v3_d3
	-F_v3_d3|p_i0_o9_n54

 jacob_neg |0_10
	-F_v2_d2|p_i0_o10_n47	  (F_v2_d2) -> (F_v2_d2) -> F_m2x2_d2
	-F_v2_d2|p_i0_o10_n47
	-F_m2x2_d2|p_i0_o10_n50	  (F_m2x2_d2) -> (F_m2x2_d2) -> F_t2x2x2_d2
	-F_m2x2_d2|p_i0_o10_n50
	-F_v3_d3|p_i0_o10_n54	  (F_v3_d3) -> (F_v3_d3) -> F_m3x3_d3
	-F_v3_d3|p_i0_o10_n54
	-F_m3x3_d3|p_i0_o10_n57	  (F_m3x3_d3) -> (F_m3x3_d3) -> F_t3x3x3_d3
	-F_m3x3_d3|p_i0_o10_n57

 slicem0_neg |0_11
	-T_m2x2|p_i0_o11_n4	  (T_m2x2) -> (T_m2x2) -> T_v2
	-T_m2x2|p_i0_o11_n4
	-T_m2x3|p_i0_o11_n5	  (T_m2x3) -> (T_m2x3) -> T_v3
	-T_m2x3|p_i0_o11_n5
	-T_m3x2|p_i0_o11_n7	  (T_m3x2) -> (T_m3x2) -> T_v2
	-T_m3x2|p_i0_o11_n7
	-T_m3x3|p_i0_o11_n8	  (T_m3x3) -> (T_m3x3) -> T_v3
	-T_m3x3|p_i0_o11_n8
	-T_m4x2|p_i0_o11_n10	  (T_m4x2) -> (T_m4x2) -> T_v2
	-T_m4x2|p_i0_o11_n10
	-T_m4x3|p_i0_o11_n11	  (T_m4x3) -> (T_m4x3) -> T_v3
	-T_m4x3|p_i0_o11_n11
	-F_m2x2_d1|p_i0_o11_n44	  (F_m2x2_d1) -> (F_m2x2_d1) -> F_v2_d1
	-F_m2x2_d1|p_i0_o11_n44
	-F_m3x3_d1|p_i0_o11_n45	  (F_m3x3_d1) -> (F_m3x3_d1) -> F_v3_d1
	-F_m3x3_d1|p_i0_o11_n45
	-F_m2x2_d2|p_i0_o11_n50	  (F_m2x2_d2) -> (F_m2x2_d2) -> F_v2_d2
	-F_m2x2_d2|p_i0_o11_n50
	-F_m3x3_d2|p_i0_o11_n51	  (F_m3x3_d2) -> (F_m3x3_d2) -> F_v3_d2
	-F_m3x3_d2|p_i0_o11_n51

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0