1 files changed, 1867 insertions, 0 deletions
diff --git a/examples/frg2.blif b/examples/frg2.blif
new file mode 100644
index 00000000..830c56ec
--- /dev/null
+++ b/examples/frg2.blif
@@ -0,0 +1,1867 @@
+.model frg2
+.inputs a b c d e f g h i j k l m n o p q r s t u v w x y z a0 b0 c0 d0 e0 f0 \
+g0 h0 i0 j0 k0 l0 m0 n0 o0 p0 q0 s0 t0 u0 v0 w0 x0 y0 z0 a1 b1 c1 d1 e1 f1 \
+g1 h1 i1 j1 k1 l1 m1 n1 o1 p1 q1 r1 s1 t1 u1 v1 w1 x1 y1 z1 a2 b2 c2 d2 e2 f2 \
+g2 h2 i2 j2 k2 l2 m2 n2 o2 p2 q2 r2 s2 t2 u2 v2 w2 x2 y2 z2 a3 b3 c3 d3 e3 f3 \
+g3 h3 i3 j3 k3 l3 m3 n3 o3 p3 q3 r3 s3 t3 u3 v3 w3 x3 y3 z3 a4 b4 c4 d4 e4 f4 \
+g4 h4 i4 j4 k4 l4 m4 n4
+.outputs o4 p4 q4 r4 s4 t4 u4 v4 w4 x4 y4 z4 a5 b5 c5 d5 e5 f5 g5 h5 i5 j5 k5 \
+l5 m5 n5 o5 p5 q5 r5 s5 t5 u5 v5 w5 x5 y5 z5 a6 b6 c6 d6 e6 f6 g6 h6 i6 j6 k6 \
+l6 m6 n6 o6 p6 q6 r6 s6 t6 u6 v6 w6 x6 y6 z6 a7 b7 c7 d7 e7 f7 g7 h7 i7 j7 k7 \
+l7 m7 n7 o7 p7 q7 r7 s7 t7 u7 v7 w7 x7 y7 z7 a8 b8 c8 d8 e8 f8 g8 h8 i8 j8 k8 \
+l8 m8 n8 o8 p8 q8 r8 s8 t8 u8 v8 w8 x8 y8 z8 a9 b9 c9 d9 e9 f9 g9 h9 i9 j9 k9 \
+l9 m9 n9 o9 p9 q9 r9 s9 t9 u9 v9 w9
+.names g1 o4
+0 1
+.names k0 m0 h33 i33 j33 p4
+-0--0 1
+0-0-0 1
+1--00 1
+--000 1
+.names k0 m0 k33 l33 m33 q4
+-0--0 1
+0-0-0 1
+1--00 1
+--000 1
+.names k0 m0 n33 o33 p33 r4
+-0--0 1
+0-0-0 1
+1--00 1
+--000 1
+.names k0 m0 q33 r33 s33 s4
+-0--0 1
+0-0-0 1
+1--00 1
+--000 1
+.names k0 l0 m3 t33 v4
+--10 1
+11-0 1
+00-0 1
+.names k0 l0 n3 u33 w4
+--10 1
+11-0 1
+00-0 1
+.names k0 l0 o3 v33 x4
+--10 1
+11-0 1
+00-0 1
+.names k0 l0 p3 w33 y4
+--10 1
+11-0 1
+00-0 1
+.names k0 l0 q3 x33 z4
+--10 1
+11-0 1
+00-0 1
+.names k0 l0 r3 y33 a5
+--10 1
+11-0 1
+00-0 1
+.names k0 l0 s3 z33 b5
+--10 1
+11-0 1
+00-0 1
+.names k0 l0 t3 a34 c5
+--10 1
+11-0 1
+00-0 1
+.names m3 m0 d5
+11 1
+.names n3 m0 e5
+11 1
+.names o3 m0 f5
+11 1
+.names p3 m0 g5
+11 1
+.names q3 m0 h5
+11 1
+.names r3 m0 i5
+11 1
+.names s3 m0 j5
+11 1
+.names t3 m0 k5
+11 1
+.names j4 g1 l5
+01 1
+.names b34 n5
+0 1
+.names c34 o5
+0 1
+.names d34 p5
+0 1
+.names e34 q5
+0 1
+.names f34 r5
+0 1
+.names g30 g34 h34 n1 i34 s5
+0--1- 1
+-0-1- 1
+--01- 1
+0---0 1
+-0--0 1
+--0-0 1
+.names g30 g34 h34 n1 i34 t5
+0--1- 1
+-0-1- 1
+--01- 1
+0---0 1
+-0--0 1
+--0-0 1
+.names g30 g34 h34 n1 i34 u5
+0--1- 1
+-0-1- 1
+--01- 1
+0---0 1
+-0--0 1
+--0-0 1
+.names g30 g34 h34 n1 i34 v5
+0--1- 1
+-0-1- 1
+--01- 1
+0---0 1
+-0--0 1
+--0-0 1
+.names g30 g34 h34 n1 i34 w5
+0--1- 1
+-0-1- 1
+--01- 1
+0---0 1
+-0--0 1
+--0-0 1
+.names k34 x5
+0 1
+.names l34 y5
+0 1
+.names m34 z5
+0 1
+.names n34 a6
+0 1
+.names o34 b6
+0 1
+.names p34 c6
+0 1
+.names q34 d6
+0 1
+.names r34 e6
+0 1
+.names s34 f6
+0 1
+.names t34 g6
+0 1
+.names h1 h6
+0 1
+.names i1 i6
+0 1
+.names j1 j6
+0 1
+.names k1 k6
+0 1
+.names l1 l6
+0 1
+.names f1 i4 n6
+11 1
+00 1
+.names c4 b4 v34 o6
+000 1
+.names g15 q0 o0 p6
+001 1
+.names n0 j15 k15 o0 l15 m15 q6
+000--- 1
+---100 1
+.names t15 n0 w15 g1 x15 y15 r6
+0--0-0 1
+-1-0-0 1
+--00-0 1
+0---00 1
+-1--00 1
+--0-00 1
+.names t15 n0 b16 g1 x15 c16 s6
+0--0-0 1
+-1-0-0 1
+--00-0 1
+0---00 1
+-1--00 1
+--0-00 1
+.names t15 n0 f16 g1 x15 g16 t6
+0--0-0 1
+-1-0-0 1
+--00-0 1
+0---00 1
+-1--00 1
+--0-00 1
+.names g1 j16 l1 l16 u6
+-0-0 1
+0-10 1
+.names n0 m1 p0 p16 v6
+-1-0 1
+0-10 1
+.names a17 r16 s16 n1 n0 u16 v16 w6
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 b17 s16 o1 n0 u16 d17 x6
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 g17 s16 p1 n0 u16 i17 y6
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 l17 s16 q1 n0 u16 n17 z6
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 q17 s16 r1 n0 u16 s17 a7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 v17 s16 s1 n0 u16 x17 b7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 a18 s16 t1 n0 u16 c18 c7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 f18 s16 u1 n0 u16 h18 d7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 k18 s16 v1 n0 u16 m18 e7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 p18 s16 w1 n0 u16 r18 f7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 u18 s16 x1 n0 u16 w18 g7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 z18 s16 y1 n0 u16 b19 h7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 e19 s16 z1 n0 u16 g19 i7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 j19 s16 a2 n0 u16 l19 j7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 o19 s16 b2 n0 u16 q19 k7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 t19 s16 c2 n0 u16 v19 l7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 y19 s16 d2 n0 u16 a20 m7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 d20 s16 e2 n0 u16 f20 n7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 i20 s16 f2 n0 u16 k20 o7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 n20 s16 g2 n0 u16 p20 p7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 s20 s16 h2 n0 u16 u20 q7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 x20 s16 i2 n0 u16 z20 r7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names a17 c21 s16 j2 n0 u16 e21 s7
+1--1--0 1
+-0-1--0 1
+--01--0 1
+1---0-0 1
+-0--0-0 1
+--0-0-0 1
+1----00 1
+-0---00 1
+--0--00 1
+.names q0 o0 h21 t7
+010 1
+.names q0 o0 q21 u7
+010 1
+.names q0 o0 x21 v7
+010 1
+.names q0 o0 e22 w7
+010 1
+.names q0 o0 l22 x7
+010 1
+.names q0 o0 s22 y7
+010 1
+.names q0 o0 z22 z7
+010 1
+.names q0 o0 g23 a8
+010 1
+.names q0 o0 n23 b8
+010 1
+.names q0 o0 y23 c8
+010 1
+.names q0 o0 c24 d8
+010 1
+.names q0 o0 g24 e8
+010 1
+.names q0 o0 k24 f8
+010 1
+.names q0 o0 o24 g8
+010 1
+.names q0 o0 s24 h8
+010 1
+.names w24 x24 s23 o0 y24 z24 i8
+000--- 1
+---100 1
+.names a25 b25 c25 o0 d25 e25 j8
+000--- 1
+---100 1
+.names a25 w25 c25 o0 x25 e25 k8
+000--- 1
+---100 1
+.names a25 z25 c25 o0 a26 e25 l8
+000--- 1
+---100 1
+.names a25 c26 c25 o0 d26 e25 m8
+000--- 1
+---100 1
+.names a25 f26 c25 o0 g26 e25 n8
+000--- 1
+---100 1
+.names a25 i26 c25 o0 j26 e25 o8
+000--- 1
+---100 1
+.names a25 l26 c25 o0 m26 e25 p8
+000--- 1
+---100 1
+.names a25 o26 c25 o0 p26 e25 q8
+000--- 1
+---100 1
+.names a25 r26 c25 o0 s26 e25 r8
+000--- 1
+---100 1
+.names a25 u26 c25 o0 v26 e25 s8
+000--- 1
+---100 1
+.names a25 x26 c25 o0 y26 e25 t8
+000--- 1
+---100 1
+.names a25 a27 c25 o0 b27 e25 u8
+000--- 1
+---100 1
+.names a25 d27 c25 o0 e27 e25 v8
+000--- 1
+---100 1
+.names a25 g27 c25 o0 h27 e25 w8
+000--- 1
+---100 1
+.names a25 j27 c25 o0 k27 e25 x8
+000--- 1
+---100 1
+.names a25 m27 c25 o0 n27 e25 y8
+000--- 1
+---100 1
+.names a25 p27 c25 o0 q27 e25 z8
+000--- 1
+---100 1
+.names a25 s27 c25 o0 t27 e25 a9
+000--- 1
+---100 1
+.names a25 v27 c25 o0 w27 e25 b9
+000--- 1
+---100 1
+.names a25 y27 c25 o0 z27 e25 c9
+000--- 1
+---100 1
+.names a25 b28 c25 o0 c28 e25 d9
+000--- 1
+---100 1
+.names a25 e28 c25 o0 f28 e25 e9
+000--- 1
+---100 1
+.names h28 i28 j28 o0 k28 l28 f9
+000--- 1
+---100 1
+.names l4 a17 x3 a29 g9
+--10 1
+10-0 1
+.names y3 d29 o0 e29 h9
+--0- 1
+---0 1
+10-- 1
+.names z3 i29 o0 j29 i9
+--0- 1
+---0 1
+10-- 1
+.names q0 o0 n29 j9
+010 1
+.names x29 y29 z29 o0 a30 b30 c30 k9
+------0 1
+000---- 1
+---100- 1
+.names j30 y29 z29 o0 k30 l30 m30 l9
+------0 1
+000---- 1
+---100- 1
+.names n0 o0 t30 u30 v30 m9
+-100- 1
+01--0 1
+.names e4 b31 o0 c31 n9
+--0- 1
+---0 1
+10-- 1
+.names f4 h31 o0 i31 o9
+--0- 1
+---0 1
+10-- 1
+.names n31 o31 z29 o0 p31 q31 r31 p9
+------0 1
+000---- 1
+---100- 1
+.names y31 a25 z29 o0 z31 a32 c30 q9
+------0 1
+000---- 1
+---100- 1
+.names i4 n1 l4 i32 r9
+1-10 1
+-110 1
+.names k32 l32 j28 o0 m32 n32 s9
+000--- 1
+---100 1
+.names c4 b4 a33 t9
+000 1
+.names m1 c33 u9
+10 1
+.names g15 d33 e33 v9
+0-0 1
+-00 1
+.names k4 a25 w9
+10 1
+.names x0 y0 h1 i1 g35 h35 g15
+-----0 1
+0-1-0- 1
+-0-10- 1
+.names c1 q0 o0 j15
+1-- 1
+-1- 1
+--0 1
+.names t15 e1 d1 k15
+0-- 1
+-1- 1
+--1 1
+.names h1 g1 q0 l15
+0-- 1
+-1- 1
+--1 1
+.names t15 n0 o15 m15
+100 1
+.names d1 e1 c1 o15
+11- 1
+-11 1
+.names l1 k1 p35 t15
+000 1
+.names c1 d1 e1 w15
+00- 1
+0-0 1
+-10 1
+.names t15 e1 n0 x15
+0-- 1
+-1- 1
+--1 1
+.names q0 o0 z15 y15
+1-- 1
+-0- 1
+--0 1
+.names n0 e1 t15 i1 z15
+---1 1
+001- 1
+.names c1 d1 e1 b16
+00- 1
+1-0 1
+-00 1
+.names q0 o0 d16 c16
+1-- 1
+-0- 1
+--0 1
+.names n0 e1 t15 j1 d16
+---1 1
+001- 1
+.names c1 d1 e1 f16
+00- 1
+0-0 1
+-00 1
+.names q0 o0 h16 g16
+1-- 1
+-0- 1
+--0 1
+.names n0 e1 t15 k1 h16
+---1 1
+001- 1
+.names c1 n0 m16 j16
+1-- 1
+-1- 1
+--0 1
+.names n0 e1 t15 q0 o0 l16
+---1- 1
+----0 1
+001-- 1
+.names t15 d1 m16
+10 1
+.names g15 m1 q0 o0 p16
+--1- 1
+---0 1
+01-- 1
+.names l4 o1 r16
+10 1
+.names t15 n0 s16
+0- 1
+-1 1
+.names l4 a17 u16
+0- 1
+-1 1
+.names n1 t15 w16 x16 v16
+---0 1
+000- 1
+.names l4 a17 w16
+10 1
+.names j0 n0 t15 o0 q0 x16
+1--10 1
+-1-10 1
+--010 1
+.names c4 b4 q35 a17
+000 1
+.names l4 p1 b17
+10 1
+.names o1 t15 w16 e17 d17
+---0 1
+000- 1
+.names i0 n0 t15 o0 q0 e17
+1--10 1
+-1-10 1
+--010 1
+.names l4 q1 g17
+10 1
+.names p1 t15 w16 j17 i17
+---0 1
+000- 1
+.names h0 n0 t15 o0 q0 j17
+1--10 1
+-1-10 1
+--010 1
+.names l4 r1 l17
+10 1
+.names q1 t15 w16 o17 n17
+---0 1
+000- 1
+.names g0 n0 t15 o0 q0 o17
+1--10 1
+-1-10 1
+--010 1
+.names l4 s1 q17
+10 1
+.names r1 t15 w16 t17 s17
+---0 1
+000- 1
+.names f0 n0 t15 o0 q0 t17
+1--10 1
+-1-10 1
+--010 1
+.names l4 t1 v17
+10 1
+.names s1 t15 w16 y17 x17
+---0 1
+000- 1
+.names e0 n0 t15 o0 q0 y17
+1--10 1
+-1-10 1
+--010 1
+.names l4 u1 a18
+10 1
+.names t1 t15 w16 d18 c18
+---0 1
+000- 1
+.names d0 n0 t15 o0 q0 d18
+1--10 1
+-1-10 1
+--010 1
+.names l4 v1 f18
+10 1
+.names u1 t15 w16 i18 h18
+---0 1
+000- 1
+.names m0 n0 t15 o0 q0 i18
+1--10 1
+-1-10 1
+--010 1
+.names l4 w1 k18
+10 1
+.names v1 t15 w16 n18 m18
+---0 1
+000- 1
+.names k0 n0 t15 o0 q0 n18
+1--10 1
+-1-10 1
+--010 1
+.names l4 x1 p18
+10 1
+.names w1 t15 w16 s18 r18
+---0 1
+000- 1
+.names l0 n0 t15 o0 q0 s18
+1--10 1
+-1-10 1
+--010 1
+.names l4 y1 u18
+10 1
+.names x1 t15 w16 x18 w18
+---0 1
+000- 1
+.names q n0 t15 o0 q0 x18
+1--10 1
+-1-10 1
+--010 1
+.names l4 z1 z18
+10 1
+.names y1 t15 w16 c19 b19
+---0 1
+000- 1
+.names r n0 t15 o0 q0 c19
+1--10 1
+-1-10 1
+--010 1
+.names l4 a2 e19
+10 1
+.names z1 t15 w16 h19 g19
+---0 1
+000- 1
+.names s n0 t15 o0 q0 h19
+1--10 1
+-1-10 1
+--010 1
+.names l4 b2 j19
+10 1
+.names a2 t15 w16 m19 l19
+---0 1
+000- 1
+.names t n0 t15 o0 q0 m19
+1--10 1
+-1-10 1
+--010 1
+.names l4 c2 o19
+10 1
+.names b2 t15 w16 r19 q19
+---0 1
+000- 1
+.names u n0 t15 o0 q0 r19
+1--10 1
+-1-10 1
+--010 1
+.names l4 d2 t19
+10 1
+.names c2 t15 w16 w19 v19
+---0 1
+000- 1
+.names v n0 t15 o0 q0 w19
+1--10 1
+-1-10 1
+--010 1
+.names l4 e2 y19
+10 1
+.names d2 t15 w16 b20 a20
+---0 1
+000- 1
+.names w n0 t15 o0 q0 b20
+1--10 1
+-1-10 1
+--010 1
+.names l4 f2 d20
+10 1
+.names e2 t15 w16 g20 f20
+---0 1
+000- 1
+.names x n0 t15 o0 q0 g20
+1--10 1
+-1-10 1
+--010 1
+.names l4 g2 i20
+10 1
+.names f2 t15 w16 l20 k20
+---0 1
+000- 1
+.names y n0 t15 o0 q0 l20
+1--10 1
+-1-10 1
+--010 1
+.names l4 h2 n20
+10 1
+.names g2 t15 w16 q20 p20
+---0 1
+000- 1
+.names z n0 t15 o0 q0 q20
+1--10 1
+-1-10 1
+--010 1
+.names l4 i2 s20
+10 1
+.names h2 t15 w16 v20 u20
+---0 1
+000- 1
+.names a0 n0 t15 o0 q0 v20
+1--10 1
+-1-10 1
+--010 1
+.names l4 j2 x20
+10 1
+.names i2 t15 w16 a21 z20
+---0 1
+000- 1
+.names b0 n0 t15 o0 q0 a21
+1--10 1
+-1-10 1
+--010 1
+.names l4 k2 c21
+10 1
+.names j2 t15 w16 f21 e21
+---0 1
+000- 1
+.names c0 n0 t15 o0 q0 f21
+1--10 1
+-1-10 1
+--010 1
+.names m0 s16 i21 a17 j21 k21 l21 h21
+------0 1
+000---- 1
+---000- 1
+.names k0 l0 i a i21
+0--1 1
+-1-1 1
+101- 1
+.names l4 l2 j21
+0- 1
+-1 1
+.names t15 n0 m0 k21
+100 1
+.names m0 n0 t15 a17 l4 k2 l21
+-----1 1
+---01- 1
+001--- 1
+.names m0 s16 r21 a17 s21 k21 t21 q21
+------0 1
+000---- 1
+---000- 1
+.names k0 l0 j b r21
+0--1 1
+-1-1 1
+101- 1
+.names l4 m2 s21
+0- 1
+-1 1
+.names m0 n0 t15 a17 l4 l2 t21
+-----1 1
+---01- 1
+001--- 1
+.names m0 s16 y21 a17 z21 k21 a22 x21
+------0 1
+000---- 1
+---000- 1
+.names k0 l0 k c y21
+0--1 1
+-1-1 1
+101- 1
+.names l4 n2 z21
+0- 1
+-1 1
+.names m0 n0 t15 a17 l4 m2 a22
+-----1 1
+---01- 1
+001--- 1
+.names m0 s16 f22 a17 g22 k21 h22 e22
+------0 1
+000---- 1
+---000- 1
+.names k0 l0 l d f22
+0--1 1
+-1-1 1
+101- 1
+.names l4 o2 g22
+0- 1
+-1 1
+.names m0 n0 t15 a17 l4 n2 h22
+-----1 1
+---01- 1
+001--- 1
+.names m0 s16 m22 a17 n22 k21 o22 l22
+------0 1
+000---- 1
+---000- 1
+.names k0 l0 m e m22
+0--1 1
+-1-1 1
+101- 1
+.names l4 p2 n22
+0- 1
+-1 1
+.names m0 n0 t15 a17 l4 o2 o22
+-----1 1
+---01- 1
+001--- 1
+.names m0 s16 t22 a17 u22 k21 v22 s22
+------0 1
+000---- 1
+---000- 1
+.names k0 l0 n f t22
+0--1 1
+-1-1 1
+101- 1
+.names l4 q2 u22
+0- 1
+-1 1
+.names m0 n0 t15 a17 l4 p2 v22
+-----1 1
+---01- 1
+001--- 1
+.names m0 s16 a23 a17 b23 k21 c23 z22
+------0 1
+000---- 1
+---000- 1
+.names k0 l0 o g a23
+0--1 1
+-1-1 1
+101- 1
+.names l4 r2 b23
+0- 1
+-1 1
+.names m0 n0 t15 a17 l4 q2 c23
+-----1 1
+---01- 1
+001--- 1
+.names m0 s16 h23 a17 i23 k21 j23 g23
+------0 1
+000---- 1
+---000- 1
+.names k0 l0 p h h23
+0--1 1
+-1-1 1
+101- 1
+.names l4 s2 i23
+0- 1
+-1 1
+.names m0 n0 t15 a17 l4 r2 j23
+-----1 1
+---01- 1
+001--- 1
+.names s2 a17 o23 p23 q23 n23
+---00 1
+01--0 1
+0-0-0 1
+-00-0 1
+.names l4 t2 o23
+11 1
+.names n0 m0 w23 p23
+1-- 1
+-1- 1
+--0 1
+.names i r23 s23 l4 s2 t23 q23
+100--- 1
+---010 1
+.names t15 n0 m0 r23
+0-- 1
+-1- 1
+--1 1
+.names k0 l0 s23
+01 1
+10 1
+.names n0 m0 u23 t23
+000 1
+.names k0 l0 t15 u23
+--0 1
+01- 1
+10- 1
+.names k0 l0 t15 w23
+111 1
+001 1
+.names t2 a17 p23 z23 a24 y23
+--0-0 1
+01--0 1
+0--00 1
+-0-00 1
+.names l4 u2 z23
+11 1
+.names j r23 s23 l4 t2 t23 a24
+100--- 1
+---010 1
+.names u2 a17 p23 d24 e24 c24
+--0-0 1
+01--0 1
+0--00 1
+-0-00 1
+.names l4 v2 d24
+11 1
+.names k r23 s23 l4 u2 t23 e24
+100--- 1
+---010 1
+.names v2 a17 p23 h24 i24 g24
+--0-0 1
+01--0 1
+0--00 1
+-0-00 1
+.names l4 w2 h24
+11 1
+.names l r23 s23 l4 v2 t23 i24
+100--- 1
+---010 1
+.names w2 a17 p23 l24 m24 k24
+--0-0 1
+01--0 1
+0--00 1
+-0-00 1
+.names l4 x2 l24
+11 1
+.names m r23 s23 l4 w2 t23 m24
+100--- 1
+---010 1
+.names x2 a17 p23 p24 q24 o24
+--0-0 1
+01--0 1
+0--00 1
+-0-00 1
+.names l4 y2 p24
+11 1
+.names n r23 s23 l4 x2 t23 q24
+100--- 1
+---010 1
+.names y2 a17 p23 t24 u24 s24
+--0-0 1
+01--0 1
+0--00 1
+-0-00 1
+.names l4 z2 t24
+11 1
+.names o r23 s23 l4 y2 t23 u24
+100--- 1
+---010 1
+.names n0 m0 p w24
+1-- 1
+-1- 1
+--0 1
+.names t15 q0 o0 x24
+0-- 1
+-1- 1
+--0 1
+.names z2 q0 y24
+0- 1
+-1 1
+.names m0 s16 s23 l4 a17 z24
+---10 1
+000-- 1
+.names l25 q0 o0 a25
+0-- 1
+-1- 1
+--0 1
+.names k4 b3 j25 b25
+0-- 1
+-0- 1
+--1 1
+.names h1 p25 i1 q25 r25 c25
+----0 1
+10--- 1
+--10- 1
+.names a3 q0 d25
+0- 1
+-1 1
+.names h1 f25 i1 g25 h25 e25
+0-0-0 1
+-00-0 1
+0--00 1
+-0-00 1
+.names j1 i1 o25 f25
+1-- 1
+-1- 1
+--0 1
+.names l1 k1 j1 g25
+1-- 1
+-1- 1
+--1 1
+.names l1 k1 k4 i25 h25
+--0- 1
+---0 1
+11-- 1
+.names l1 j1 j25 k25 i25
+0-00 1
+-000 1
+.names h4 r35 j25
+00 1
+.names k1 j1 l25 m25 k25
+--0- 1
+---0 1
+11-- 1
+.names h1 x0 i1 y0 x34 l25
+----0 1
+10--- 1
+--10- 1
+.names l1 k1 n25 m25
+1-- 1
+-1- 1
+--0 1
+.names j1 i1 h1 n25
+000 1
+.names l1 k1 o25
+00 1
+.names j1 i1 t25 p25
+000 1
+.names l1 k1 j1 q25
+000 1
+.names i1 h1 q25 s25 r25
+1--0 1
+-1-0 1
+--00 1
+.names j1 k1 l1 s25
+11- 1
+1-1 1
+-11 1
+.names l1 k1 t25
+1- 1
+-1 1
+.names k4 c3 j25 w25
+0-- 1
+-0- 1
+--1 1
+.names b3 q0 x25
+0- 1
+-1 1
+.names k4 d3 j25 z25
+0-- 1
+-0- 1
+--1 1
+.names c3 q0 a26
+0- 1
+-1 1
+.names k4 e3 j25 c26
+0-- 1
+-0- 1
+--1 1
+.names d3 q0 d26
+0- 1
+-1 1
+.names k4 f3 j25 f26
+0-- 1
+-0- 1
+--1 1
+.names e3 q0 g26
+0- 1
+-1 1
+.names k4 g3 j25 i26
+0-- 1
+-0- 1
+--1 1
+.names f3 q0 j26
+0- 1
+-1 1
+.names k4 h3 j25 l26
+0-- 1
+-0- 1
+--1 1
+.names g3 q0 m26
+0- 1
+-1 1
+.names k4 i3 j25 o26
+0-- 1
+-0- 1
+--1 1
+.names h3 q0 p26
+0- 1
+-1 1
+.names k4 j3 j25 r26
+0-- 1
+-0- 1
+--1 1
+.names i3 q0 s26
+0- 1
+-1 1
+.names k4 k3 j25 u26
+0-- 1
+-0- 1
+--1 1
+.names j3 q0 v26
+0- 1
+-1 1
+.names k4 l3 j25 x26
+0-- 1
+-0- 1
+--1 1
+.names k3 q0 y26
+0- 1
+-1 1
+.names k4 m3 j25 a27
+0-- 1
+-0- 1
+--1 1
+.names l3 q0 b27
+0- 1
+-1 1
+.names k4 n3 j25 d27
+0-- 1
+-0- 1
+--1 1
+.names m3 q0 e27
+0- 1
+-1 1
+.names k4 o3 j25 g27
+0-- 1
+-0- 1
+--1 1
+.names n3 q0 h27
+0- 1
+-1 1
+.names k4 p3 j25 j27
+0-- 1
+-0- 1
+--1 1
+.names o3 q0 k27
+0- 1
+-1 1
+.names k4 q3 j25 m27
+0-- 1
+-0- 1
+--1 1
+.names p3 q0 n27
+0- 1
+-1 1
+.names k4 r3 j25 p27
+0-- 1
+-0- 1
+--1 1
+.names q3 q0 q27
+0- 1
+-1 1
+.names k4 s3 j25 s27
+0-- 1
+-0- 1
+--1 1
+.names r3 q0 t27
+0- 1
+-1 1
+.names k4 t3 j25 v27
+0-- 1
+-0- 1
+--1 1
+.names s3 q0 w27
+0- 1
+-1 1
+.names k4 u3 j25 y27
+0-- 1
+-0- 1
+--1 1
+.names t3 q0 z27
+0- 1
+-1 1
+.names k4 v3 j25 b28
+0-- 1
+-0- 1
+--1 1
+.names u3 q0 c28
+0- 1
+-1 1
+.names k4 w3 j25 e28
+0-- 1
+-0- 1
+--1 1
+.names v3 q0 f28
+0- 1
+-1 1
+.names q0 o0 h28
+1- 1
+-0 1
+.names k4 j25 l25 i28
+0-- 1
+-1- 1
+--0 1
+.names s0 r28 q25 h1 s28 j28
+0--1- 1
+-0-1- 1
+--01- 1
+0---0 1
+-0--0 1
+--0-0 1
+.names w3 q0 k28
+0- 1
+-1 1
+.names h1 f25 i1 g25 m28 l28
+0-0-0 1
+-00-0 1
+0--00 1
+-0-00 1
+.names k4 j25 n28 m28
+0-- 1
+-1- 1
+--0 1
+.names l1 k1 l25 p28 n28
+0-10 1
+-010 1
+.names i1 h1 g25 q28 p28
+---0 1
+000- 1
+.names k1 l1 j1 q28
+--0 1
+00- 1
+.names i1 h1 r28
+01 1
+.names i1 g25 t0 u28 s28
+0--0 1
+101- 1
+.names u0 w0 j1 o25 v28 w28 u28
+00---0 1
+0-1--0 1
+-00--0 1
+-0-0-0 1
+--10-0 1
+0---00 1
+--0-00 1
+---000 1
+.names l1 k1 v28
+10 1
+.names l1 x28 w28
+00 1
+.names k1 j1 v0 x28
+0-- 1
+-1- 1
+--0 1
+.names l4 x3 a17 b29 a29
+---0 1
+110- 1
+.names n0 t15 o0 q0 b29
+1-10 1
+-010 1
+.names l4 x3 a17 d29
+100 1
+.names t15 n0 q0 f29 e29
+0-00 1
+-100 1
+.names l4 g29 f29
+10 1
+.names y3 x3 a17 g29
+1-- 1
+-1- 1
+--1 1
+.names x3 a17 m29 i29
+000 1
+.names t15 n0 q0 k29 j29
+0-00 1
+-100 1
+.names l4 z3 l29 k29
+100 1
+.names y3 x3 a17 l29
+0-- 1
+-1- 1
+--1 1
+.names l4 y3 m29
+0- 1
+-0 1
+.names o29 p29 s16 a4 n0 q29 r29 n29
+0--0--0 1
+-0-0--0 1
+--00--0 1
+0---0-0 1
+-0--0-0 1
+--0-0-0 1
+0----00 1
+-0---00 1
+--0--00 1
+.names y3 x3 a17 o29
+100 1
+.names l4 a4 z3 p29
+101 1
+.names x3 a17 w29 q29
+1-- 1
+-1- 1
+--0 1
+.names m0 a4 t15 s23 t29 r29
+11--0 1
+1-1-0 1
+-10-0 1
+-1-00 1
+--100 1
+.names t15 n0 u29 v29 t29
+11-- 1
+0-00 1
+.names x3 a17 u29
+1- 1
+-1 1
+.names l4 z3 y3 v29
+0-- 1
+-0- 1
+--0 1
+.names l4 z3 y3 w29
+111 1
+.names o0 g30 h30 x29
+0-- 1
+-0- 1
+--0 1
+.names x3 a17 q0 y29
+1-- 1
+-1- 1
+--1 1
+.names t15 n0 z29
+10 1
+.names b4 q0 a30
+0- 1
+-1 1
+.names a17 e30 f30 t15 n0 b30
+---10 1
+000-- 1
+.names t15 q0 d30 c30
+0-- 1
+-1- 1
+--0 1
+.names o0 n0 m0 d30
+101 1
+.names y3 x3 e30
+0- 1
+-1 1
+.names l4 a4 z3 f30
+0-- 1
+-1- 1
+--0 1
+.names z3 y3 g30
+11 1
+.names l4 b4 a4 h30
+100 1
+.names o0 q30 r30 j30
+0-- 1
+-0- 1
+--0 1
+.names c4 q0 k30
+0- 1
+-1 1
+.names a17 o30 p30 t15 n0 l30
+---10 1
+000-- 1
+.names t15 q0 n30 m30
+0-- 1
+-1- 1
+--0 1
+.names o0 n0 m0 n30
+100 1
+.names z3 y3 x3 o30
+0-- 1
+-0- 1
+--1 1
+.names l4 b4 a4 p30
+0-- 1
+-1- 1
+--1 1
+.names a4 z3 y3 q30
+011 1
+.names l4 c4 b4 r30
+100 1
+.names g1 q0 t30
+1- 1
+-1 1
+.names j25 l25 w30 d4 x30 u30
+---00 1
+010-- 1
+.names t15 q0 v30
+0- 1
+-1 1
+.names k4 d4 w30
+0- 1
+-0 1
+.names k4 j25 l25 x30
+101 1
+.names j25 l25 f31 b31
+010 1
+.names q0 g1 d31 c31
+000 1
+.names j25 l25 e31 t15 n0 d31
+---10 1
+010-- 1
+.names k4 e4 d4 e31
+0-- 1
+-1- 1
+--1 1
+.names k4 d4 f31
+0- 1
+-1 1
+.names j25 l25 m31 h31
+010 1
+.names q0 g1 j31 i31
+000 1
+.names l25 k31 l31 t15 n0 j31
+---10 1
+100-- 1
+.names d4 j25 k31
+1- 1
+-1 1
+.names k4 f4 e4 l31
+0-- 1
+-1- 1
+--0 1
+.names k4 e4 d4 m31
+0-- 1
+-0- 1
+--1 1
+.names o0 v31 w31 n31
+0-- 1
+-0- 1
+--0 1
+.names j25 l25 q0 o31
+1-- 1
+-0- 1
+--1 1
+.names g4 g1 q0 p31
+0-- 1
+-1- 1
+--1 1
+.names l25 k31 u31 t15 n0 q31
+---10 1
+100-- 1
+.names t15 q0 s31 r31
+0-- 1
+-1- 1
+--0 1
+.names o0 t31 s31
+10 1
+.names k0 l0 m0 n0 t31
+---1 1
+011- 1
+101- 1
+.names k4 f4 e4 u31
+0-- 1
+-0- 1
+--0 1
+.names e4 d4 g1 v31
+100 1
+.names k4 g4 f4 w31
+101 1
+.names d32 e32 f32 y31
+0-- 1
+-0- 1
+--0 1
+.names h4 g1 q0 z31
+0-- 1
+-1- 1
+--1 1
+.names l25 b32 c32 t15 n0 a32
+---10 1
+100-- 1
+.names e4 d4 j25 b32
+0-- 1
+-1- 1
+--1 1
+.names k4 g4 f4 c32
+0-- 1
+-1- 1
+--0 1
+.names g1 j25 d32
+00 1
+.names f4 e4 d4 e32
+110 1
+.names k4 h4 g4 f32
+100 1
+.names i4 n1 j32 i32
+--0 1
+11- 1
+.names a17 q0 o0 j32
+001 1
+.names q0 o0 y32 k32
+1-- 1
+-0- 1
+--0 1
+.names g1 j25 l25 l32
+1-- 1
+-1- 1
+--0 1
+.names j4 g1 q0 m32
+0-- 1
+-1- 1
+--1 1
+.names h1 o32 p32 q32 r32 n32
+00--0 1
+0-0-0 1
+1--00 1
+-0-00 1
+--000 1
+.names j1 i1 o32
+00 1
+.names v0 w0 k1 l1 p32
+-00- 1
+0--0 1
+--00 1
+.names i1 s0 q25 q32
+1-- 1
+-0- 1
+--0 1
+.names h1 u0 s32 i1 t32 u32 r32
+-----0 1
+---10- 1
+000--- 1
+.names l1 k1 i1 s32
+1-- 1
+-1- 1
+--1 1
+.names j1 t0 t25 t32
+010 1
+.names n4 k4 w32 u32
+110 1
+.names l1 k1 l25 x32 w32
+--0- 1
+---0 1
+11-- 1
+.names j1 k1 l1 j25 x32
+0--0 1
+-000 1
+.names n4 k4 j4 y32
+110 1
+.names o0 b33 q30 a33
+0-- 1
+-0- 1
+--0 1
+.names m1 q0 b33
+10 1
+.names a17 q0 o0 c33
+1-- 1
+-1- 1
+--0 1
+.names h1 x0 n4 b35 d33
+--0- 1
+---0 1
+10-- 1
+.names l25 d33 q0 o0 e33
+--1- 1
+---0 1
+01-- 1
+.names l0 d3 l3 h33
+00- 1
+1-0 1
+-00 1
+.names l0 d3 l3 i33
+10- 1
+0-0 1
+-00 1
+.names t3 m0 j33
+00 1
+.names l0 c3 k3 k33
+00- 1
+1-0 1
+-00 1
+.names l0 c3 k3 l33
+10- 1
+0-0 1
+-00 1
+.names s3 m0 m33
+00 1
+.names l0 b3 j3 n33
+00- 1
+1-0 1
+-00 1
+.names l0 b3 j3 o33
+10- 1
+0-0 1
+-00 1
+.names r3 m0 p33
+00 1
+.names l0 a3 i3 q33
+00- 1
+1-0 1
+-00 1
+.names l0 a3 i3 r33
+10- 1
+0-0 1
+-00 1
+.names q3 m0 s33
+00 1
+.names k0 l0 m0 e3 t33
+--0- 1
+11-0 1
+00-0 1
+.names k0 l0 m0 f3 u33
+--0- 1
+11-0 1
+00-0 1
+.names k0 l0 m0 g3 v33
+--0- 1
+11-0 1
+00-0 1
+.names k0 l0 m0 h3 w33
+--0- 1
+11-0 1
+00-0 1
+.names k0 l0 m0 i3 x33
+--0- 1
+11-0 1
+00-0 1
+.names k0 l0 m0 j3 y33
+--0- 1
+11-0 1
+00-0 1
+.names k0 l0 m0 k3 z33
+--0- 1
+11-0 1
+00-0 1
+.names k0 l0 m0 l3 a34
+--0- 1
+11-0 1
+00-0 1
+.names k4 h1 n0 b34
+010 1
+.names k4 i1 n0 c34
+010 1
+.names k4 j1 n0 d34
+010 1
+.names k4 k1 n0 e34
+010 1
+.names k4 l1 n0 f34
+010 1
+.names c4 b4 a4 g34
+000 1
+.names f1 i4 h34
+01 1
+10 1
+.names z3 y3 g34 i34
+0-- 1
+-0- 1
+--0 1
+.names k4 m1 h1 k34
+011 1
+.names k4 m1 i1 l34
+011 1
+.names k4 m1 j1 m34
+011 1
+.names k4 m1 k1 n34
+011 1
+.names k4 m1 l1 o34
+011 1
+.names l4 h1 p34
+11 1
+.names l4 i1 q34
+11 1
+.names l4 j1 r34
+11 1
+.names l4 k1 s34
+11 1
+.names l4 l1 t34
+11 1
+.names y3 x3 w34 v34
+0-- 1
+-0- 1
+--0 1
+.names a4 z3 w34
+01 1
+.names z0 j1 a1 k1 b1 l1 x34
+1-1-1- 1
+-01-1- 1
+1--01- 1
+-0-01- 1
+1-1--0 1
+-01--0 1
+1--0-0 1
+-0-0-0 1
+.names i1 y0 j1 z0 d35 b35
+0-0-0 1
+-10-0 1
+0--10 1
+-1-10 1
+.names k1 a1 l1 b1 e35 d35
+----0 1
+10--- 1
+--10- 1
+.names h4 f35 e35
+1- 1
+-0 1
+.names g4 f4 e4 f35
+011 1
+.names f4 e4 o35 g35
+110 1
+.names j1 k1 z0 a1 i35 j35 h35
+----00 1
+00---0 1
+-01--0 1
+0--1-0 1
+--11-0 1
+.names f4 e4 n35 i35
+0-- 1
+-0- 1
+--0 1
+.names b1 n4 l1 i35 k35 j35
+-0--0 1
+---00 1
+0-1-0 1
+.names h4 g4 l35 k35
+000 1
+.names d4 g1 m35 l35
+0-- 1
+-1- 1
+--0 1
+.names f4 e4 m35
+11 1
+.names h4 g4 n35
+00 1
+.names h4 g4 o35
+1- 1
+-1 1
+.names j1 i1 h1 p35
+1-- 1
+-1- 1
+--1 1
+.names y3 x3 w34 q35
+0-- 1
+-1- 1
+--0 1
+.names g4 f4 e4 r35
+1-- 1
+-0- 1
+--0 1
+.names u3 t4
+1 1
+.names v3 u4
+1 1
+.names m4 m5
+1 1
+.names k4 m6
+1 1
+.end