============================== Prover9 =============================== Prover9 (32) version June-2006C, June 2006. Process 13072 was started by mccune on cleo.thornwood, Mon Jun 19 16:41:08 2006 The command was "/home/mccune/bin/prover9 -f xcb-reflex.in". ============================== end of head =========================== ============================== INPUT ================================= % Reading from file xcb-reflex.in set(breadth_first). % set(breadth_first) -> assign(age_part, 1). % set(breadth_first) -> assign(true_part, 0). % set(breadth_first) -> assign(false_part, 0). assign(max_weight,48). clauses(usable). - P(e(x,y)) | - P(x) | P(y) # label(condensed_detachment). end_of_list. clauses(sos). P(e(x,e(e(e(x,y),e(z,y)),z))) # label(XCB). end_of_list. clauses(goals). P(e(x,x)) # answer(Reflex). end_of_list. ============================== end of input ========================== ============================== PROCESS GOALS ========================= % Each goal clause was negated; the result (to be placed in sos): clauses(negated_goals). - P(e(c1,c1)) # answer(Reflex). end_of_list. ============================== end of process goals ================== ============================== PROCESS INITIAL CLAUSES =============== % Clauses before input processing: clauses(usable). 1 - P(e(x,y)) | - P(x) | P(y) # label(condensed_detachment). [input]. end_of_list. clauses(sos). 2 P(e(x,e(e(e(x,y),e(z,y)),z))) # label(XCB). [input]. 3 - P(e(c1,c1)) # answer(Reflex). [clausify]. end_of_list. clauses(demodulators). end_of_list. Auto_denials: no changes. Term ordering decisions: Relation symbol precedence: lex([ P ]). Function symbol precedence: lex([ c1, e ]). After inverse_order: Function symbol precedence: lex([ c1, e ]). Unfolding symbols: (none). Auto_inference settings: % set(hyper_resolution). % (HNE depth_diff=1) Auto_process settings: no changes. ============================== end of process initial clauses ======== ============================== CLAUSES FOR SEARCH ==================== % Clauses after input processing: clauses(usable). 1 - P(e(x,y)) | - P(x) | P(y) # label(condensed_detachment). [input]. end_of_list. clauses(sos). 4 P(e(x,e(e(e(x,y),e(z,y)),z))) # label(XCB). [input]. 5 - P(e(c1,c1)) # answer(Reflex). [clausify]. end_of_list. clauses(demodulators). end_of_list. clauses(denials). end_of_list. ============================== end of clauses for search ============= ============================== SEARCH ================================ % Starting search at 0.00 seconds. NOTE: Starting on level 1, last clause of level 0 is 5. given #1 (I,wt=12): 4 P(e(x,e(e(e(x,y),e(z,y)),z))) # label(XCB). [input]. given #2 (I,wt=4): 5 - P(e(c1,c1)) # answer(Reflex). [clausify]. NOTE: Starting on level 2, last clause of level 1 is 6. given #3 (A,wt=20): 6 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v)). [hyper(1,a,4,a,b,4,a)]. NOTE: Starting on level 3, last clause of level 2 is 8. given #4 (A,wt=28): 7 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6)). [hyper(1,a,4,a,b,6,a)]. given #5 (A,wt=20): 8 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v))). [hyper(1,a,6,a,b,4,a)]. NOTE: Starting on level 4, last clause of level 3 is 15. given #6 (A,wt=36): 9 P(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),v7),e(v8,v7)),v8)). [hyper(1,a,4,a,b,7,a)]. given #7 (A,wt=28): 10 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6))). [hyper(1,a,7,a,b,4,a)]. given #8 (A,wt=24): 11 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x))). [hyper(1,a,8,a,b,8,a)]. given #9 (A,wt=28): 12 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6)). [hyper(1,a,4,a,b,8,a)]. given #10 (A,wt=32): 13 P(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7)),x)). [hyper(1,a,8,a,b,7,a)]. given #11 (A,wt=24): 14 P(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x)). [hyper(1,a,8,a,b,6,a)]. given #12 (A,wt=24): 15 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w))). [hyper(1,a,8,a,b,4,a)]. NOTE: Starting on level 5, last clause of level 4 is 66. given #13 (A,wt=40): 16 P(e(e(x,e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)),x)). [hyper(1,a,8,a,b,9,a)]. given #14 (A,wt=44): 17 P(e(e(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10)). [hyper(1,a,4,a,b,9,a)]. given #15 (A,wt=36): 18 P(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),v7),v8),e(v7,v8))). [hyper(1,a,9,a,b,4,a)]. given #16 (A,wt=32): 19 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),x))). [hyper(1,a,8,a,b,10,a)]. given #17 (A,wt=36): 20 P(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),v7),e(v8,v7)),v8)). [hyper(1,a,4,a,b,10,a)]. given #18 (A,wt=24): 21 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),x))). [hyper(1,a,10,a,b,8,a)]. given #19 (A,wt=24): 22 P(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w))),x)). [hyper(1,a,10,a,b,6,a)]. given #20 (A,wt=32): 23 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x),v6),e(v7,v6)),v7))). [hyper(1,a,10,a,b,4,a)]. given #21 (A,wt=44): 24 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(w,e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10),w)))). [hyper(1,a,11,a,b,11,a)]. given #22 (A,wt=44): 25 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10),x)))). [hyper(1,a,10,a,b,11,a)]. given #23 (A,wt=36): 26 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),x)))). [hyper(1,a,8,a,b,11,a)]. given #24 (A,wt=32): 27 P(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),v6),e(v7,v6)),v7)). [hyper(1,a,4,a,b,11,a)]. given #25 (A,wt=48): 28 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),v11),e(v10,v11)))). [hyper(1,a,11,a,b,10,a)]. given #26 (A,wt=40): 29 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)))). [hyper(1,a,11,a,b,8,a)]. given #27 (A,wt=48): 30 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11))). [hyper(1,a,11,a,b,7,a)]. given #28 (A,wt=40): 31 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9))). [hyper(1,a,11,a,b,6,a)]. given #29 (A,wt=32): 32 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(w,e(e(e(w,v6),e(v7,v6)),v7)))). [hyper(1,a,11,a,b,4,a)]. given #30 (A,wt=48): 33 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v10),e(v11,v10)),v11))). [hyper(1,a,11,a,b,12,a)]. given #31 (A,wt=32): 34 P(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7)),x)). [hyper(1,a,8,a,b,12,a)]. given #32 (A,wt=36): 35 P(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8)). [hyper(1,a,4,a,b,12,a)]. given #33 (A,wt=28): 36 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),v6),e(w,v6))). [hyper(1,a,12,a,b,4,a)]. given #34 (A,wt=40): 37 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),e(v9,v8))),v9)). [hyper(1,a,12,a,b,13,a)]. given #35 (A,wt=48): 38 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11))). [hyper(1,a,10,a,b,13,a)]. given #36 (A,wt=40): 39 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),e(v7,e(e(e(v7,v8),e(v9,v8)),v9)))). [hyper(1,a,8,a,b,13,a)]. given #37 (A,wt=44): 40 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10),u))). [hyper(1,a,7,a,b,13,a)]. given #38 (A,wt=40): 41 P(e(e(e(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7)),x),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,13,a)]. given #39 (A,wt=48): 42 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),e(v11,v10))),v11)). [hyper(1,a,13,a,b,10,a)]. given #40 (A,wt=32): 43 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6))),v7)). [hyper(1,a,12,a,b,14,a)]. given #41 (A,wt=44): 44 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(w,e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10)),w))). [hyper(1,a,11,a,b,14,a)]. given #42 (A,wt=44): 45 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10),w))). [hyper(1,a,9,a,b,14,a)]. given #43 (A,wt=36): 46 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),u))). [hyper(1,a,7,a,b,14,a)]. given #44 (A,wt=32): 47 P(e(e(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),v6),e(v7,v6)),v7)). [hyper(1,a,4,a,b,14,a)]. given #45 (A,wt=44): 48 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10),w))). [hyper(1,a,14,a,b,12,a)]. given #46 (A,wt=40): 49 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8))),v9)). [hyper(1,a,14,a,b,10,a)]. given #47 (A,wt=44): 50 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),u),v7),e(v8,v7)),v8))),v9),e(v10,v9)),v10)). [hyper(1,a,15,a,b,15,a)]. given #48 (A,wt=40): 51 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8)),v9),e(v8,v9))). [hyper(1,a,12,a,b,15,a)]. given #49 (A,wt=44): 52 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(w,e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),w),v9),e(v10,v9)),v10)))). [hyper(1,a,11,a,b,15,a)]. given #50 (A,wt=44): 53 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),x)),v9),e(v10,v9)),v10))). [hyper(1,a,10,a,b,15,a)]. given #51 (A,wt=48): 54 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),v10)),v11),e(v10,v11))). [hyper(1,a,9,a,b,15,a)]. given #52 (A,wt=36): 55 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(v,e(e(e(v,w),e(v6,w)),v6)),x)),v7),e(v8,v7)),v8))). [hyper(1,a,8,a,b,15,a)]. given #53 (A,wt=40): 56 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8)),v9),e(v8,v9))). [hyper(1,a,7,a,b,15,a)]. given #54 (A,wt=32): 57 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(u,v),e(w,v)),w)),v6)),v7),e(v6,v7))). [hyper(1,a,6,a,b,15,a)]. given #55 (A,wt=32): 58 P(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),v6),e(v7,v6)),v7)). [hyper(1,a,4,a,b,15,a)]. given #56 (A,wt=44): 59 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8)),u)),v9),e(v10,v9)),v10)). [hyper(1,a,15,a,b,14,a)]. given #57 (A,wt=48): 60 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11)). [hyper(1,a,15,a,b,12,a)]. given #58 (A,wt=44): 61 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),u))),v9),e(v10,v9)),v10)). [hyper(1,a,15,a,b,11,a)]. given #59 (A,wt=48): 62 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),v9),e(v8,v9))),v10),e(v11,v10)),v11)). [hyper(1,a,15,a,b,10,a)]. given #60 (A,wt=40): 63 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7))),v8),e(v9,v8)),v9)). [hyper(1,a,15,a,b,8,a)]. given #61 (A,wt=48): 64 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11)). [hyper(1,a,15,a,b,7,a)]. given #62 (A,wt=40): 65 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9)). [hyper(1,a,15,a,b,6,a)]. given #63 (A,wt=32): 66 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(u,v),e(w,v)),w))),v6),e(v7,v6)),v7)). [hyper(1,a,15,a,b,4,a)]. NOTE: Starting on level 6, last clause of level 5 is 298. given #64 (A,wt=48): 67 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),v10),e(v11,v10))),v11)). [hyper(1,a,12,a,b,16,a)]. given #65 (A,wt=48): 68 P(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),v7),e(v8,v7)),v8),e(v9,e(e(e(v9,v10),e(v11,v10)),v11)))). [hyper(1,a,8,a,b,16,a)]. given #66 (A,wt=48): 69 P(e(e(e(e(e(x,e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)),x),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,16,a)]. given #67 (A,wt=48): 70 P(e(e(x,e(e(e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11)),x)). [hyper(1,a,8,a,b,17,a)]. given #68 (A,wt=44): 71 P(e(e(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),v7),e(v8,v7)),v8),v9),v10),e(v9,v10))). [hyper(1,a,17,a,b,4,a)]. given #69 (A,wt=48): 72 P(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10))),v11)). [hyper(1,a,14,a,b,18,a)]. given #70 (A,wt=40): 73 P(e(x,e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),x))). [hyper(1,a,8,a,b,18,a)]. given #71 (A,wt=44): 74 P(e(e(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),v7),v8),e(v7,v8)),v9),e(v10,v9)),v10)). [hyper(1,a,4,a,b,18,a)]. given #72 (A,wt=32): 75 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7)),x))). [hyper(1,a,18,a,b,8,a)]. given #73 (A,wt=32): 76 P(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7))),x)). [hyper(1,a,18,a,b,6,a)]. given #74 (A,wt=40): 77 P(e(x,e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),x),v8),e(v9,v8)),v9))). [hyper(1,a,18,a,b,4,a)]. given #75 (A,wt=44): 78 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),e(e(v8,e(e(e(v8,v9),e(v10,v9)),v10)),x)))). [hyper(1,a,8,a,b,19,a)]. given #76 (A,wt=40): 79 P(e(e(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),x)),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,19,a)]. given #77 (A,wt=48): 80 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)))). [hyper(1,a,19,a,b,8,a)]. given #78 (A,wt=40): 81 P(e(e(x,e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7)),v8),e(v9,v8)),v9)),x)). [hyper(1,a,8,a,b,20,a)]. given #79 (A,wt=44): 82 P(e(e(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10)). [hyper(1,a,4,a,b,20,a)]. given #80 (A,wt=48): 83 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),v9),e(v8,v9)),v10)),v11),e(v10,v11))). [hyper(1,a,20,a,b,15,a)]. given #81 (A,wt=36): 84 P(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),v7),v8),e(v7,v8))). [hyper(1,a,20,a,b,4,a)]. given #82 (A,wt=44): 85 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(w,e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)),w)))). [hyper(1,a,21,a,b,21,a)]. given #83 (A,wt=44): 86 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),u))),v9),e(v10,v9)),v10)). [hyper(1,a,15,a,b,21,a)]. given #84 (A,wt=44): 87 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(w,e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)),w)))). [hyper(1,a,11,a,b,21,a)]. given #85 (A,wt=44): 88 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10),x)))). [hyper(1,a,10,a,b,21,a)]. given #86 (A,wt=36): 89 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),x)))). [hyper(1,a,8,a,b,21,a)]. given #87 (A,wt=32): 90 P(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),x)),v6),e(v7,v6)),v7)). [hyper(1,a,4,a,b,21,a)]. given #88 (A,wt=44): 91 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(w,e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),w),v9),e(v10,v9)),v10)))). [hyper(1,a,21,a,b,15,a)]. given #89 (A,wt=44): 92 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(w,e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10)),w))). [hyper(1,a,21,a,b,14,a)]. given #90 (A,wt=48): 93 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v10),e(v11,v10)),v11))). [hyper(1,a,21,a,b,12,a)]. given #91 (A,wt=44): 94 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(w,e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10),w)))). [hyper(1,a,21,a,b,11,a)]. given #92 (A,wt=48): 95 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),v11),e(v10,v11)))). [hyper(1,a,21,a,b,10,a)]. given #93 (A,wt=40): 96 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)))). [hyper(1,a,21,a,b,8,a)]. given #94 (A,wt=48): 97 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11))). [hyper(1,a,21,a,b,7,a)]. given #95 (A,wt=40): 98 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9))). [hyper(1,a,21,a,b,6,a)]. given #96 (A,wt=32): 99 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(w,e(e(e(w,v6),e(v7,v6)),v7)))). [hyper(1,a,21,a,b,4,a)]. given #97 (A,wt=44): 100 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(w,e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10))),w))). [hyper(1,a,21,a,b,22,a)]. given #98 (A,wt=40): 101 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9)),e(v8,v9))). [hyper(1,a,20,a,b,22,a)]. given #99 (A,wt=44): 102 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8))),u)),v9),e(v10,v9)),v10)). [hyper(1,a,15,a,b,22,a)]. given #100 (A,wt=32): 103 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7)),e(v6,v7))). [hyper(1,a,12,a,b,22,a)]. given #101 (A,wt=44): 104 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(w,e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10))),w))). [hyper(1,a,11,a,b,22,a)]. given #102 (A,wt=44): 105 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)),w))). [hyper(1,a,9,a,b,22,a)]. given #103 (A,wt=36): 106 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),u))). [hyper(1,a,7,a,b,22,a)]. given #104 (A,wt=32): 107 P(e(e(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w))),x),v6),e(v7,v6)),v7)). [hyper(1,a,4,a,b,22,a)]. given #105 (A,wt=48): 108 P(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11)),e(v10,v11))). [hyper(1,a,22,a,b,18,a)]. given #106 (A,wt=44): 109 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)),w))). [hyper(1,a,22,a,b,12,a)]. given #107 (A,wt=48): 110 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v10)),v11),e(v10,v11))). [hyper(1,a,12,a,b,23,a)]. given #108 (A,wt=44): 111 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),x)),v9),e(v10,v9)),v10))). [hyper(1,a,8,a,b,23,a)]. given #109 (A,wt=48): 112 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10)),v11),e(v10,v11))). [hyper(1,a,7,a,b,23,a)]. given #110 (A,wt=40): 113 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8)),v9),e(v8,v9))). [hyper(1,a,6,a,b,23,a)]. given #111 (A,wt=40): 114 P(e(e(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x),v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,23,a)]. given #112 (A,wt=48): 115 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9))),v10),e(v11,v10)),v11)). [hyper(1,a,23,a,b,8,a)]. given #113 (A,wt=48): 116 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11)). [hyper(1,a,23,a,b,6,a)]. given #114 (A,wt=40): 117 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(w,e(e(e(w,v6),e(v7,v6)),v7))),v8),e(v9,v8)),v9)). [hyper(1,a,23,a,b,4,a)]. given #115 (A,wt=48): 118 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),e(e(v9,e(e(e(v9,v10),e(v11,v10)),v11)),x))))). [hyper(1,a,8,a,b,26,a)]. given #116 (A,wt=44): 119 P(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),x))),v9),e(v10,v9)),v10)). [hyper(1,a,4,a,b,26,a)]. given #117 (A,wt=44): 120 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),e(v8,e(e(e(v8,v9),e(v10,v9)),v10))))). [hyper(1,a,26,a,b,4,a)]. given #118 (A,wt=48): 121 P(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6))). [hyper(1,a,22,a,b,27,a)]. given #119 (A,wt=48): 122 P(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6))). [hyper(1,a,14,a,b,27,a)]. given #120 (A,wt=36): 123 P(e(e(x,e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),v7),e(v8,v7)),v8)),x)). [hyper(1,a,8,a,b,27,a)]. given #121 (A,wt=40): 124 P(e(e(e(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,27,a)]. given #122 (A,wt=44): 125 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),u)),v9)),v10),e(v9,v10))). [hyper(1,a,27,a,b,15,a)]. given #123 (A,wt=32): 126 P(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),v6),v7),e(v6,v7))). [hyper(1,a,27,a,b,4,a)]. given #124 (A,wt=48): 127 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v10),e(v11,v10))),v11)). [hyper(1,a,20,a,b,34,a)]. given #125 (A,wt=40): 128 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8),e(v9,v8))),v9)). [hyper(1,a,12,a,b,34,a)]. given #126 (A,wt=48): 129 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11))). [hyper(1,a,10,a,b,34,a)]. given #127 (A,wt=40): 130 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),e(v7,e(e(e(v7,v8),e(v9,v8)),v9)))). [hyper(1,a,8,a,b,34,a)]. given #128 (A,wt=44): 131 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),v9),e(v10,v9)),v10),u))). [hyper(1,a,7,a,b,34,a)]. given #129 (A,wt=40): 132 P(e(e(e(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7)),x),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,34,a)]. given #130 (A,wt=48): 133 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)))). [hyper(1,a,34,a,b,22,a)]. given #131 (A,wt=40): 134 P(e(e(x,e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)),x)). [hyper(1,a,8,a,b,35,a)]. given #132 (A,wt=44): 135 P(e(e(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10)). [hyper(1,a,4,a,b,35,a)]. given #133 (A,wt=48): 136 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8),e(v9,v8)),v9),v10)),v11),e(v10,v11))). [hyper(1,a,35,a,b,15,a)]. given #134 (A,wt=36): 137 P(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),v7),v8),e(v7,v8))). [hyper(1,a,35,a,b,4,a)]. given #135 (A,wt=28): 138 P(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),x))). [hyper(1,a,36,a,b,36,a)]. given #136 (A,wt=48): 139 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v10),e(v11,v10))),v11)). [hyper(1,a,34,a,b,36,a)]. given #137 (A,wt=40): 140 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9)),e(v8,v9))). [hyper(1,a,22,a,b,36,a)]. given #138 (A,wt=48): 141 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v10),v11),e(v10,v11)))). [hyper(1,a,21,a,b,36,a)]. given #139 (A,wt=48): 142 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8),v9),e(v8,v9))),v10),e(v11,v10)),v11)). [hyper(1,a,15,a,b,36,a)]. given #140 (A,wt=40): 143 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8))),v9)). [hyper(1,a,14,a,b,36,a)]. given #141 (A,wt=48): 144 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),e(v11,v10))),v11)). [hyper(1,a,13,a,b,36,a)]. given #142 (A,wt=48): 145 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v10),v11),e(v10,v11)))). [hyper(1,a,11,a,b,36,a)]. given #143 (A,wt=32): 146 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7),x))). [hyper(1,a,8,a,b,36,a)]. given #144 (A,wt=36): 147 P(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),v6),e(w,v6)),v7),e(v8,v7)),v8)). [hyper(1,a,4,a,b,36,a)]. given #145 (A,wt=36): 148 P(e(e(x,e(e(y,e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),v7),e(v8,v7)),v8)),y)),x)). [hyper(1,a,36,a,b,35,a)]. given #146 (A,wt=40): 149 P(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),y)))),x)). [hyper(1,a,36,a,b,27,a)]. given #147 (A,wt=44): 150 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)),x)))). [hyper(1,a,36,a,b,21,a)]. given #148 (A,wt=36): 151 P(e(e(x,e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),y))),x)). [hyper(1,a,36,a,b,20,a)]. given #149 (A,wt=36): 152 P(e(x,e(e(e(y,e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8)),y),x))). [hyper(1,a,36,a,b,18,a)]. given #150 (A,wt=44): 153 P(e(e(x,e(e(y,e(e(e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10)),y)),x)). [hyper(1,a,36,a,b,17,a)]. given #151 (A,wt=44): 154 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),x)),v9),e(v10,v9)),v10))). [hyper(1,a,36,a,b,15,a)]. given #152 (A,wt=28): 155 P(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y))),x)). [hyper(1,a,36,a,b,12,a)]. given #153 (A,wt=44): 156 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)),x)))). [hyper(1,a,36,a,b,11,a)]. given #154 (A,wt=28): 157 P(e(x,e(e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y),x))). [hyper(1,a,36,a,b,10,a)]. given #155 (A,wt=36): 158 P(e(e(x,e(e(y,e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8)),y)),x)). [hyper(1,a,36,a,b,9,a)]. given #156 (A,wt=28): 159 P(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6)),x))). [hyper(1,a,36,a,b,8,a)]. given #157 (A,wt=28): 160 P(e(e(x,e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y)),x)). [hyper(1,a,36,a,b,7,a)]. given #158 (A,wt=28): 161 P(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6))),x)). [hyper(1,a,36,a,b,6,a)]. given #159 (A,wt=32): 162 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),x),v6),e(v7,v6)),v7))). [hyper(1,a,36,a,b,4,a)]. given #160 (A,wt=48): 163 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),e(v9,v8))),v9),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,37,a)]. given #161 (A,wt=48): 164 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10)),v11),e(v10,v11))). [hyper(1,a,37,a,b,36,a)]. given #162 (A,wt=48): 165 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11))). [hyper(1,a,8,a,b,38,a)]. given #163 (A,wt=44): 166 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),v9),v10),e(v9,v10)),u))). [hyper(1,a,6,a,b,38,a)]. given #164 (A,wt=40): 167 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),e(v7,e(e(e(v7,v8),e(v9,v8)),v9)))). [hyper(1,a,8,a,b,39,a)]. given #165 (A,wt=48): 168 P(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),e(v7,e(e(e(v7,v8),e(v9,v8)),v9))),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,39,a)]. given #166 (A,wt=44): 169 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10)),u))). [hyper(1,a,22,a,b,40,a)]. given #167 (A,wt=44): 170 P(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))),x)). [hyper(1,a,36,a,b,41,a)]. given #168 (A,wt=48): 171 P(e(e(x,e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11),v))),x)). [hyper(1,a,18,a,b,41,a)]. given #169 (A,wt=44): 172 P(e(e(x,e(e(e(e(e(y,e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8)),y),v9),e(v10,v9)),v10)),x)). [hyper(1,a,8,a,b,41,a)]. given #170 (A,wt=48): 173 P(e(e(e(e(e(e(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7)),x),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,41,a)]. given #171 (A,wt=40): 174 P(e(e(e(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7)),x),v8),v9),e(v8,v9))). [hyper(1,a,41,a,b,4,a)]. given #172 (A,wt=40): 175 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v),v8),e(v9,v8)),v9)),u))). [hyper(1,a,42,a,b,36,a)]. given #173 (A,wt=40): 176 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(v,e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9)),v),u))). [hyper(1,a,42,a,b,21,a)]. given #174 (A,wt=48): 177 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6)))). [hyper(1,a,22,a,b,43,a)]. given #175 (A,wt=48): 178 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6)))). [hyper(1,a,14,a,b,43,a)]. given #176 (A,wt=40): 179 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6))),v7),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,43,a)]. given #177 (A,wt=40): 180 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8)),v9),e(v8,v9))). [hyper(1,a,43,a,b,36,a)]. given #178 (A,wt=48): 181 P(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10)),v11),e(v10,v11))). [hyper(1,a,43,a,b,18,a)]. given #179 (A,wt=48): 182 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(w,e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v6),v10),e(v11,v10)),v11))),w))). [hyper(1,a,45,a,b,36,a)]. given #180 (A,wt=36): 183 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8)),u))). [hyper(1,a,22,a,b,46,a)]. given #181 (A,wt=44): 184 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),u)),v9),e(v10,v9)),v10)). [hyper(1,a,4,a,b,46,a)]. given #182 (A,wt=36): 185 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(v6,e(e(e(v6,v7),e(v8,v7)),v8)))),x)). [hyper(1,a,36,a,b,47,a)]. given #183 (A,wt=48): 186 P(e(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6))). [hyper(1,a,22,a,b,47,a)]. given #184 (A,wt=40): 187 P(e(e(x,e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v))),x)). [hyper(1,a,18,a,b,47,a)]. given #185 (A,wt=48): 188 P(e(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6))). [hyper(1,a,14,a,b,47,a)]. given #186 (A,wt=16): 189 P(e(e(x,e(y,e(e(e(y,z),e(u,z)),u))),x)). [hyper(1,a,10,a,b,47,a)]. given #187 (A,wt=36): 190 P(e(e(x,e(e(e(e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y),v7),e(v8,v7)),v8)),x)). [hyper(1,a,8,a,b,47,a)]. given #188 (A,wt=40): 191 P(e(e(e(e(e(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,47,a)]. given #189 (A,wt=32): 192 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7))). [hyper(1,a,47,a,b,44,a)]. given #190 (A,wt=36): 193 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),w))). [hyper(1,a,47,a,b,33,a)]. given #191 (A,wt=28): 194 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(v,e(e(e(v,w),e(v6,w)),v6)),u))). [hyper(1,a,47,a,b,31,a)]. given #192 (A,wt=36): 195 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),w))). [hyper(1,a,47,a,b,30,a)]. given #193 (A,wt=24): 196 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(u,v),e(w,v)),w))). [hyper(1,a,47,a,b,29,a)]. given #194 (A,wt=32): 197 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(e(e(w,v6),e(v7,v6)),v7))). [hyper(1,a,47,a,b,28,a)]. given #195 (A,wt=44): 198 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8)),u),v9)),v10),e(v9,v10))). [hyper(1,a,47,a,b,15,a)]. given #196 (A,wt=32): 199 P(e(e(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),v6),v7),e(v6,v7))). [hyper(1,a,47,a,b,4,a)]. given #197 (A,wt=48): 200 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(w,e(e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v6),v10),e(v11,v10)),v11)),w)))). [hyper(1,a,48,a,b,36,a)]. given #198 (A,wt=48): 201 P(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8))),v9),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,49,a)]. given #199 (A,wt=40): 202 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),v9)),e(v8,v9))). [hyper(1,a,49,a,b,40,a)]. given #200 (A,wt=48): 203 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v6),v10),e(v11,v10)),v11)))),x)). [hyper(1,a,36,a,b,50,a)]. given #201 (A,wt=48): 204 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v),v8),e(v9,v8)),v9))),v10),e(v11,v10)),v11)),x)). [hyper(1,a,8,a,b,50,a)]. given #202 (A,wt=44): 205 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),u),v7),e(v8,v7)),v8))),v9),v10),e(v9,v10))). [hyper(1,a,50,a,b,4,a)]. given #203 (A,wt=44): 206 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8))),v9),e(v10,v9)),v10),x))). [hyper(1,a,36,a,b,51,a)]. given #204 (A,wt=28): 207 P(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),y)),x))). [hyper(1,a,18,a,b,51,a)]. given #205 (A,wt=48): 208 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8)),v9),e(v8,v9)),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,51,a)]. given #206 (A,wt=48): 209 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),e(e(v6,e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11)),v6))). [hyper(1,a,51,a,b,44,a)]. given #207 (A,wt=36): 210 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),x)),e(v6,e(e(e(v6,v7),e(v8,v7)),v8)))). [hyper(1,a,51,a,b,39,a)]. given #208 (A,wt=44): 211 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),x)),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10))). [hyper(1,a,51,a,b,38,a)]. given #209 (A,wt=36): 212 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),e(v6,e(e(e(v6,v7),e(v8,v7)),v8)))). [hyper(1,a,51,a,b,34,a)]. given #210 (A,wt=36): 213 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),e(v6,e(e(e(v6,v7),e(v8,v7)),v8)))). [hyper(1,a,51,a,b,32,a)]. given #211 (A,wt=44): 214 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10))). [hyper(1,a,51,a,b,31,a)]. given #212 (A,wt=44): 215 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)))). [hyper(1,a,51,a,b,29,a)]. given #213 (A,wt=48): 216 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6)))). [hyper(1,a,51,a,b,24,a)]. given #214 (A,wt=48): 217 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v6),v10),e(v11,v10)),v11)))). [hyper(1,a,51,a,b,52,a)]. given #215 (A,wt=44): 218 P(e(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7)),x),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,54,a,b,32,a)]. given #216 (A,wt=48): 219 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(v,e(e(e(v,w),e(v6,w)),v6)),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),x))),v10),e(v11,v10)),v11))). [hyper(1,a,8,a,b,55,a)]. given #217 (A,wt=44): 220 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(u,v),e(w,v)),w)),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9))),v10),e(v9,v10))). [hyper(1,a,6,a,b,55,a)]. given #218 (A,wt=44): 221 P(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(v,e(e(e(v,w),e(v6,w)),v6)),x)),v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10)). [hyper(1,a,4,a,b,55,a)]. given #219 (A,wt=44): 222 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(u,v),e(w,v)),w)),e(v6,e(e(e(v6,v7),e(v8,v7)),v8)))),v9),e(v10,v9)),v10)). [hyper(1,a,55,a,b,4,a)]. given #220 (A,wt=44): 223 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10),x))). [hyper(1,a,36,a,b,56,a)]. given #221 (A,wt=28): 224 P(e(x,e(e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6))),y),x))). [hyper(1,a,18,a,b,56,a)]. given #222 (A,wt=48): 225 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8)),v9),e(v8,v9)),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,56,a)]. given #223 (A,wt=48): 226 P(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v6),v10),e(v11,v10)),v11)))). [hyper(1,a,56,a,b,52,a)]. given #224 (A,wt=48): 227 P(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),e(e(v6,e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11)),v6))). [hyper(1,a,56,a,b,44,a)]. given #225 (A,wt=36): 228 P(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w))),x),e(v6,e(e(e(v6,v7),e(v8,v7)),v8)))). [hyper(1,a,56,a,b,39,a)]. given #226 (A,wt=44): 229 P(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w))),x),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10))). [hyper(1,a,56,a,b,38,a)]. given #227 (A,wt=36): 230 P(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),e(v6,e(e(e(v6,v7),e(v8,v7)),v8)))). [hyper(1,a,56,a,b,32,a)]. given #228 (A,wt=44): 231 P(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10))). [hyper(1,a,56,a,b,31,a)]. given #229 (A,wt=44): 232 P(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)))). [hyper(1,a,56,a,b,29,a)]. given #230 (A,wt=48): 233 P(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6)))). [hyper(1,a,56,a,b,24,a)]. given #231 (A,wt=36): 234 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(v,e(e(e(v,w),e(v6,w)),v6))),v7),e(v8,v7)),v8),x))). [hyper(1,a,36,a,b,57,a)]. given #232 (A,wt=44): 235 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(u,v),e(w,v)),w)),e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10))),e(v9,v10))). [hyper(1,a,22,a,b,57,a)]. given #233 (A,wt=36): 236 P(e(x,e(e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y),v7),e(v8,v7)),v8)),x))). [hyper(1,a,18,a,b,57,a)]. given #234 (A,wt=44): 237 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(u,v),e(w,v)),w)),e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)))),v10)). [hyper(1,a,14,a,b,57,a)]. given #235 (A,wt=40): 238 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(u,v),e(w,v)),w)),v6)),v7),e(v6,v7)),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,57,a)]. given #236 (A,wt=48): 239 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v6),v10),e(v11,v10)),v11)))). [hyper(1,a,57,a,b,52,a)]. given #237 (A,wt=44): 240 P(e(e(e(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),v6),e(v7,v6)),v7),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,57,a,b,47,a)]. given #238 (A,wt=48): 241 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),e(e(v6,e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11)),v6))). [hyper(1,a,57,a,b,44,a)]. given #239 (A,wt=44): 242 P(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x),v6),e(v7,v6)),v7)),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,57,a,b,39,a)]. given #240 (A,wt=44): 243 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7),e(e(v8,e(e(e(v8,v9),e(v10,v9)),v10)),x)))). [hyper(1,a,57,a,b,36,a)]. given #241 (A,wt=48): 244 P(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),e(v9,e(e(e(v9,v10),e(v11,v10)),v11)))). [hyper(1,a,57,a,b,35,a)]. given #242 (A,wt=40): 245 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),v6),e(w,v6)),e(v7,e(e(e(v7,v8),e(v9,v8)),v9)))). [hyper(1,a,57,a,b,34,a)]. given #243 (A,wt=44): 246 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10))). [hyper(1,a,57,a,b,31,a)]. given #244 (A,wt=44): 247 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)))). [hyper(1,a,57,a,b,29,a)]. given #245 (A,wt=44): 248 P(e(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),v6),e(v7,v6)),v7),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,57,a,b,27,a)]. given #246 (A,wt=48): 249 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6)))). [hyper(1,a,57,a,b,24,a)]. given #247 (A,wt=48): 250 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),e(e(v9,e(e(e(v9,v10),e(v11,v10)),v11)),x))))). [hyper(1,a,57,a,b,21,a)]. given #248 (A,wt=48): 251 P(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),v7),e(v8,v7)),v8),e(v9,e(e(e(v9,v10),e(v11,v10)),v11)))). [hyper(1,a,57,a,b,20,a)]. given #249 (A,wt=48): 252 P(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),v7),v8),e(v7,v8)),e(v9,e(e(e(v9,v10),e(v11,v10)),v11)))). [hyper(1,a,57,a,b,16,a)]. given #250 (A,wt=44): 253 P(e(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),v6),e(v7,v6)),v7),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,57,a,b,58,a)]. given #251 (A,wt=40): 254 P(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),y)),v8),e(v9,v8)),v9))),x)). [hyper(1,a,36,a,b,58,a)]. given #252 (A,wt=48): 255 P(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6))). [hyper(1,a,22,a,b,58,a)]. given #253 (A,wt=44): 256 P(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),v9)),v10),e(v9,v10))),x)). [hyper(1,a,18,a,b,58,a)]. given #254 (A,wt=48): 257 P(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6))). [hyper(1,a,14,a,b,58,a)]. given #255 (A,wt=36): 258 P(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7)),v8),e(v7,v8))),x)). [hyper(1,a,10,a,b,58,a)]. given #256 (A,wt=36): 259 P(e(e(x,e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6)),v7),e(v8,v7)),v8)),x)). [hyper(1,a,8,a,b,58,a)]. given #257 (A,wt=40): 260 P(e(e(e(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,58,a)]. given #258 (A,wt=32): 261 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(u,v),e(w,v)),w))),v6),v7),e(v6,v7))). [hyper(1,a,58,a,b,57,a)]. given #259 (A,wt=48): 262 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10)),v11),e(v10,v11)),u))). [hyper(1,a,58,a,b,31,a)]. given #260 (A,wt=44): 263 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9)),v10)),e(v9,v10))). [hyper(1,a,58,a,b,29,a)]. given #261 (A,wt=44): 264 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),u),v7),e(v8,v7)),v8)),v9)),v10),e(v9,v10))). [hyper(1,a,58,a,b,15,a)]. given #262 (A,wt=32): 265 P(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),v6),v7),e(v6,v7))). [hyper(1,a,58,a,b,4,a)]. given #263 (A,wt=48): 266 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(v6,e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11)),v6))),x)). [hyper(1,a,36,a,b,59,a)]. given #264 (A,wt=44): 267 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10))),x)). [hyper(1,a,10,a,b,59,a)]. given #265 (A,wt=48): 268 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(v,e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9)),v)),v10),e(v11,v10)),v11)),x)). [hyper(1,a,8,a,b,59,a)]. given #266 (A,wt=44): 269 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8)),u)),v9),v10),e(v9,v10))). [hyper(1,a,59,a,b,4,a)]. given #267 (A,wt=48): 270 P(e(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6))),x)). [hyper(1,a,10,a,b,60,a)]. given #268 (A,wt=48): 271 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8),e(v9,v8)),v9)),v10),v11),e(v10,v11))). [hyper(1,a,60,a,b,4,a)]. given #269 (A,wt=48): 272 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6)))),x)). [hyper(1,a,36,a,b,61,a)]. given #270 (A,wt=48): 273 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v))),v10),e(v11,v10)),v11)),x)). [hyper(1,a,8,a,b,61,a)]. given #271 (A,wt=44): 274 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),u))),v9),v10),e(v9,v10))). [hyper(1,a,61,a,b,4,a)]. given #272 (A,wt=44): 275 P(e(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9))),v10)),x)). [hyper(1,a,10,a,b,62,a)]. given #273 (A,wt=36): 276 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),u),e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8))). [hyper(1,a,62,a,b,52,a)]. given #274 (A,wt=40): 277 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),v9),v9),u))). [hyper(1,a,62,a,b,39,a)]. given #275 (A,wt=32): 278 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v7),u))). [hyper(1,a,62,a,b,32,a)]. given #276 (A,wt=48): 279 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),v9),e(v8,v9))),v10),v11),e(v10,v11))). [hyper(1,a,62,a,b,4,a)]. given #277 (A,wt=44): 280 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)))),x)). [hyper(1,a,36,a,b,63,a)]. given #278 (A,wt=44): 281 P(e(e(x,e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),v9),e(v10,v9))),v10)),x)). [hyper(1,a,18,a,b,63,a)]. given #279 (A,wt=36): 282 P(e(e(x,e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7))),v8)),x)). [hyper(1,a,10,a,b,63,a)]. given #280 (A,wt=44): 283 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8))),v9),e(v10,v9)),v10)),x)). [hyper(1,a,8,a,b,63,a)]. given #281 (A,wt=48): 284 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7))),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,63,a)]. given #282 (A,wt=48): 285 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10))),v11),u))). [hyper(1,a,63,a,b,31,a)]. given #283 (A,wt=40): 286 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7))),v8),v9),e(v8,v9))). [hyper(1,a,63,a,b,4,a)]. given #284 (A,wt=48): 287 P(e(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6))),x)). [hyper(1,a,10,a,b,64,a)]. given #285 (A,wt=48): 288 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)),v10),v11),e(v10,v11))). [hyper(1,a,64,a,b,4,a)]. given #286 (A,wt=44): 289 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10)),x)). [hyper(1,a,8,a,b,65,a)]. given #287 (A,wt=48): 290 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,65,a)]. given #288 (A,wt=48): 291 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(u,v),e(w,v)),w)),v6)),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6))). [hyper(1,a,65,a,b,29,a)]. given #289 (A,wt=40): 292 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7)),v8),v9),e(v8,v9))). [hyper(1,a,65,a,b,4,a)]. given #290 (A,wt=44): 293 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(u,v),e(w,v)),w))),v6),e(v7,v6)),v7),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,57,a,b,66,a)]. given #291 (A,wt=48): 294 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(u,v),e(w,v)),w))),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6))). [hyper(1,a,22,a,b,66,a)]. given #292 (A,wt=48): 295 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(u,v),e(w,v)),w))),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6))). [hyper(1,a,14,a,b,66,a)]. given #293 (A,wt=36): 296 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(v,e(e(e(v,w),e(v6,w)),v6))),v7),e(v8,v7)),v8)),x)). [hyper(1,a,8,a,b,66,a)]. given #294 (A,wt=40): 297 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(u,v),e(w,v)),w))),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,66,a)]. given #295 (A,wt=44): 298 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),e(v6,e(e(e(v6,v7),e(v8,v7)),v8))),v9)),v10),e(v9,v10))). [hyper(1,a,66,a,b,15,a)]. NOTE: Starting on level 7, last clause of level 6 is 1165. given #296 (A,wt=48): 299 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10),v11),v11),u))). [hyper(1,a,62,a,b,68,a)]. given #297 (A,wt=44): 300 P(e(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7))),x),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,56,a,b,68,a)]. given #298 (A,wt=44): 301 P(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7)),x)),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,51,a,b,68,a)]. given #299 (A,wt=48): 302 P(e(e(e(e(e(x,e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)),x),v10),v11),e(v10,v11))). [hyper(1,a,69,a,b,4,a)]. given #300 (A,wt=44): 303 P(e(x,e(e(e(y,e(e(e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10)),y),x))). [hyper(1,a,36,a,b,71,a)]. given #301 (A,wt=48): 304 P(e(x,e(e(e(e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11),x))). [hyper(1,a,8,a,b,71,a)]. given #302 (A,wt=44): 305 P(e(x,e(e(y,e(e(e(e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),y),v9),e(v10,v9)),v10)),x))). [hyper(1,a,71,a,b,57,a)]. given #303 (A,wt=36): 306 P(e(x,e(e(e(y,e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),v8),e(v7,v8))),y),x))). [hyper(1,a,71,a,b,56,a)]. given #304 (A,wt=36): 307 P(e(x,e(e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),v8),e(v7,v8)),y)),x))). [hyper(1,a,71,a,b,51,a)]. given #305 (A,wt=40): 308 P(e(x,e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),v8),v9),e(v8,v9)),x))). [hyper(1,a,71,a,b,8,a)]. given #306 (A,wt=40): 309 P(e(e(x,e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),v8),v9),e(v8,v9))),x)). [hyper(1,a,71,a,b,6,a)]. given #307 (A,wt=48): 310 P(e(x,e(e(e(e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),x),v10),e(v11,v10)),v11))). [hyper(1,a,71,a,b,4,a)]. given #308 (A,wt=48): 311 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),v11)),e(v10,v11))). [hyper(1,a,72,a,b,40,a)]. given #309 (A,wt=48): 312 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v6),v10),e(v11,v10)),v11)),w))). [hyper(1,a,72,a,b,21,a)]. given #310 (A,wt=48): 313 P(e(e(e(e(x,e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),x)),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,73,a)]. given #311 (A,wt=44): 314 P(e(e(x,e(y,e(e(e(e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10),y))),x)). [hyper(1,a,36,a,b,74,a)]. given #312 (A,wt=48): 315 P(e(e(x,e(e(e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),v8),v9),e(v8,v9)),v10),e(v11,v10)),v11)),x)). [hyper(1,a,8,a,b,74,a)]. given #313 (A,wt=44): 316 P(e(e(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6),v7),v8),e(v7,v8)),v9),v10),e(v9,v10))). [hyper(1,a,74,a,b,4,a)]. given #314 (A,wt=48): 317 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(v,e(e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v),v10),e(v11,v10)),v11)),u))). [hyper(1,a,49,a,b,75,a)]. given #315 (A,wt=40): 318 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(v,e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9))),v),u))). [hyper(1,a,42,a,b,75,a)]. given #316 (A,wt=44): 319 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7)),e(e(v8,e(e(e(v8,v9),e(v10,v9)),v10)),x)))). [hyper(1,a,8,a,b,75,a)]. given #317 (A,wt=40): 320 P(e(e(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7)),x)),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,75,a)]. given #318 (A,wt=48): 321 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)))). [hyper(1,a,75,a,b,8,a)]. given #319 (A,wt=40): 322 P(e(e(e(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7))),x),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,76,a)]. given #320 (A,wt=36): 323 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8))),u))). [hyper(1,a,76,a,b,46,a)]. given #321 (A,wt=48): 324 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),v11)),e(v10,v11))). [hyper(1,a,76,a,b,36,a)]. given #322 (A,wt=48): 325 P(e(e(e(e(x,e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),x),v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,77,a)]. given #323 (A,wt=48): 326 P(e(e(x,e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),e(e(v9,e(e(e(v9,v10),e(v11,v10)),v11)),y)))),x)). [hyper(1,a,36,a,b,79,a)]. given #324 (A,wt=44): 327 P(e(e(x,e(e(e(e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),y)),v9),e(v10,v9)),v10)),x)). [hyper(1,a,8,a,b,79,a)]. given #325 (A,wt=48): 328 P(e(e(e(e(e(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),x)),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,79,a)]. given #326 (A,wt=40): 329 P(e(e(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),x)),v8),v9),e(v8,v9))). [hyper(1,a,79,a,b,4,a)]. given #327 (A,wt=44): 330 P(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w))),x),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)))). [hyper(1,a,56,a,b,80,a)]. given #328 (A,wt=44): 331 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),x)),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)))). [hyper(1,a,51,a,b,80,a)]. given #329 (A,wt=48): 332 P(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),v7),v8),e(v7,v8)),e(v9,e(e(e(v9,v10),e(v11,v10)),v11)))). [hyper(1,a,57,a,b,81,a)]. given #330 (A,wt=48): 333 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),v9),e(v8,v9)),v10),e(v11,v10))),v11)). [hyper(1,a,12,a,b,81,a)]. given #331 (A,wt=48): 334 P(e(e(e(e(e(x,e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7)),v8),e(v9,v8)),v9)),x),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,81,a)]. given #332 (A,wt=44): 335 P(e(e(x,e(e(y,e(e(e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),v8),e(v7,v8)),v9),e(v10,v9)),v10)),y)),x)). [hyper(1,a,36,a,b,82,a)]. given #333 (A,wt=48): 336 P(e(e(x,e(e(e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7)),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11)),x)). [hyper(1,a,8,a,b,82,a)]. given #334 (A,wt=40): 337 P(e(x,e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7)),x),v8),e(v9,v8)),v9))). [hyper(1,a,82,a,b,57,a)]. given #335 (A,wt=36): 338 P(e(e(x,e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y),v7),e(v8,v7)),v8))),x)). [hyper(1,a,82,a,b,56,a)]. given #336 (A,wt=28): 339 P(e(e(x,e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6))),y)),x)). [hyper(1,a,82,a,b,54,a)]. given #337 (A,wt=44): 340 P(e(e(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),v7),e(v8,v7)),v8),v9),v10),e(v9,v10))). [hyper(1,a,82,a,b,4,a)]. given #338 (A,wt=36): 341 P(e(x,e(e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),y)),x))). [hyper(1,a,10,a,b,83,a)]. given #339 (A,wt=44): 342 P(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),x)),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,83,a,b,32,a)]. given #340 (A,wt=48): 343 P(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10)),v11),e(v10,v11))). [hyper(1,a,43,a,b,84,a)]. given #341 (A,wt=48): 344 P(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11)),e(v10,v11))). [hyper(1,a,22,a,b,84,a)]. given #342 (A,wt=48): 345 P(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10))),v11)). [hyper(1,a,14,a,b,84,a)]. given #343 (A,wt=40): 346 P(e(x,e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7)),v8),e(v9,v8)),v9),x))). [hyper(1,a,8,a,b,84,a)]. given #344 (A,wt=44): 347 P(e(e(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6)),v7),v8),e(v7,v8)),v9),e(v10,v9)),v10)). [hyper(1,a,4,a,b,84,a)]. given #345 (A,wt=48): 348 P(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),y)),v10),e(v11,v10)),v11))),x)). [hyper(1,a,84,a,b,58,a)]. given #346 (A,wt=44): 349 P(e(x,e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(v6,e(e(e(v6,v7),e(v8,v7)),v8))),v9),e(v10,v9)),v10),x))). [hyper(1,a,84,a,b,57,a)]. given #347 (A,wt=48): 350 P(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),y)))),x)). [hyper(1,a,84,a,b,27,a)]. given #348 (A,wt=28): 351 P(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),y))),x)). [hyper(1,a,84,a,b,12,a)]. given #349 (A,wt=48): 352 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6)))). [hyper(1,a,36,a,b,85,a)]. given #350 (A,wt=48): 353 P(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6)))). [hyper(1,a,10,a,b,85,a)]. given #351 (A,wt=48): 354 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6)))). [hyper(1,a,8,a,b,85,a)]. given #352 (A,wt=48): 355 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6)))),x)). [hyper(1,a,36,a,b,86,a)]. given #353 (A,wt=48): 356 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v))),v10),e(v11,v10)),v11)),x)). [hyper(1,a,8,a,b,86,a)]. given #354 (A,wt=44): 357 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),u))),v9),v10),e(v9,v10))). [hyper(1,a,86,a,b,4,a)]. given #355 (A,wt=44): 358 P(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),x))),v9),e(v10,v9)),v10)). [hyper(1,a,4,a,b,89,a)]. given #356 (A,wt=44): 359 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),e(v8,e(e(e(v8,v9),e(v10,v9)),v10))))). [hyper(1,a,89,a,b,4,a)]. given #357 (A,wt=48): 360 P(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),y)))),x)). [hyper(1,a,84,a,b,90,a)]. given #358 (A,wt=44): 361 P(e(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),x)),v6),e(v7,v6)),v7),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,57,a,b,90,a)]. given #359 (A,wt=40): 362 P(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),y)))),x)). [hyper(1,a,36,a,b,90,a)]. given #360 (A,wt=48): 363 P(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),x)),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6))). [hyper(1,a,22,a,b,90,a)]. given #361 (A,wt=48): 364 P(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),x)),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6))). [hyper(1,a,14,a,b,90,a)]. given #362 (A,wt=36): 365 P(e(e(x,e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),y)),v7),e(v8,v7)),v8)),x)). [hyper(1,a,8,a,b,90,a)]. given #363 (A,wt=40): 366 P(e(e(e(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),x)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,90,a)]. given #364 (A,wt=44): 367 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),u)),v9)),v10),e(v9,v10))). [hyper(1,a,90,a,b,15,a)]. given #365 (A,wt=32): 368 P(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),x)),v6),v7),e(v6,v7))). [hyper(1,a,90,a,b,4,a)]. given #366 (A,wt=48): 369 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6)),w))). [hyper(1,a,12,a,b,93,a)]. given #367 (A,wt=48): 370 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(e(e(v6,e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11)),v6),w))). [hyper(1,a,7,a,b,93,a)]. given #368 (A,wt=48): 371 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v6),v10),e(v11,v10)),v11)),w))). [hyper(1,a,6,a,b,93,a)]. given #369 (A,wt=44): 372 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(w,e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10))),w)). [hyper(1,a,7,a,b,95,a)]. given #370 (A,wt=44): 373 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),w),v9),e(v10,v9)),v10))). [hyper(1,a,6,a,b,95,a)]. given #371 (A,wt=48): 374 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),e(e(v9,e(e(e(v9,v10),e(v11,v10)),v11)),u)))). [hyper(1,a,90,a,b,96,a)]. given #372 (A,wt=44): 375 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7)),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,66,a,b,96,a)]. given #373 (A,wt=48): 376 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),u)),v10),e(v11,v10)),v11))). [hyper(1,a,58,a,b,96,a)]. given #374 (A,wt=44): 377 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),v9),e(v10,v9)),v10))),u)). [hyper(1,a,35,a,b,96,a)]. given #375 (A,wt=48): 378 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),e(e(v9,e(e(e(v9,v10),e(v11,v10)),v11)),u)))). [hyper(1,a,27,a,b,96,a)]. given #376 (A,wt=44): 379 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10))),u)). [hyper(1,a,9,a,b,96,a)]. given #377 (A,wt=36): 380 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8))),u)). [hyper(1,a,7,a,b,96,a)]. given #378 (A,wt=36): 381 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),u),v7),e(v8,v7)),v8))). [hyper(1,a,6,a,b,96,a)]. given #379 (A,wt=48): 382 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9))),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,96,a)]. given #380 (A,wt=48): 383 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6)),w))). [hyper(1,a,12,a,b,97,a)]. given #381 (A,wt=48): 384 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(e(e(v6,e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11)),v6),w))). [hyper(1,a,7,a,b,97,a)]. given #382 (A,wt=48): 385 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),e(v9,e(e(e(v9,v10),e(v11,v10)),v11))),u))). [hyper(1,a,66,a,b,98,a)]. given #383 (A,wt=48): 386 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(v,e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v10),e(v11,v10)),v11)),v),u))). [hyper(1,a,35,a,b,98,a)]. given #384 (A,wt=48): 387 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(v,e(e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11),v)),u))). [hyper(1,a,20,a,b,98,a)]. given #385 (A,wt=40): 388 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v)),u))). [hyper(1,a,12,a,b,98,a)]. given #386 (A,wt=48): 389 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(v,e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11)),v),u))). [hyper(1,a,9,a,b,98,a)]. given #387 (A,wt=48): 390 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,98,a)]. given #388 (A,wt=40): 391 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(w,e(e(e(w,v6),e(v7,v6)),v7))),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,99,a)]. given #389 (A,wt=48): 392 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),e(e(v6,e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11))),v6))). [hyper(1,a,36,a,b,100,a)]. given #390 (A,wt=48): 393 P(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),e(e(v6,e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11))),v6))). [hyper(1,a,10,a,b,100,a)]. given #391 (A,wt=48): 394 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),e(e(v6,e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11))),v6))). [hyper(1,a,8,a,b,100,a)]. given #392 (A,wt=48): 395 P(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9)),e(v8,v9)),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,101,a)]. given #393 (A,wt=48): 396 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(v6,e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11))),v6))),x)). [hyper(1,a,36,a,b,102,a)]. given #394 (A,wt=48): 397 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(v,e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9))),v)),v10),e(v11,v10)),v11)),x)). [hyper(1,a,8,a,b,102,a)]. given #395 (A,wt=44): 398 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8))),u)),v9),v10),e(v9,v10))). [hyper(1,a,102,a,b,4,a)]. given #396 (A,wt=44): 399 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10)),e(v9,v10)))). [hyper(1,a,22,a,b,103,a)]. given #397 (A,wt=44): 400 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9))),v10))). [hyper(1,a,14,a,b,103,a)]. given #398 (A,wt=40): 401 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7)),e(v6,v7)),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,103,a)]. given #399 (A,wt=48): 402 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(v,e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9))),v)),v10),e(v11,v10)),v11),x))). [hyper(1,a,103,a,b,102,a)]. given #400 (A,wt=36): 403 P(e(x,e(e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),y)),v7),e(v8,v7)),v8),x))). [hyper(1,a,103,a,b,90,a)]. given #401 (A,wt=48): 404 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),e(v9,e(e(e(v9,v10),e(v11,v10)),v11))))). [hyper(1,a,103,a,b,89,a)]. given #402 (A,wt=48): 405 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v))),v10),e(v11,v10)),v11),x))). [hyper(1,a,103,a,b,86,a)]. given #403 (A,wt=48): 406 P(e(x,e(e(e(e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),v7),e(v6,v7)),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11),x))). [hyper(1,a,103,a,b,82,a)]. given #404 (A,wt=44): 407 P(e(x,e(e(e(e(e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),y)),v9),e(v10,v9)),v10),x))). [hyper(1,a,103,a,b,79,a)]. given #405 (A,wt=48): 408 P(e(x,e(e(e(e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(v7,v6)),v7),v8),v9),e(v8,v9)),v10),e(v11,v10)),v11),x))). [hyper(1,a,103,a,b,74,a)]. given #406 (A,wt=48): 409 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v))),v10),e(v11,v10)),v11),x))). [hyper(1,a,103,a,b,61,a)]. given #407 (A,wt=48): 410 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(v,e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9)),v)),v10),e(v11,v10)),v11),x))). [hyper(1,a,103,a,b,59,a)]. given #408 (A,wt=36): 411 P(e(x,e(e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6)),v7),e(v8,v7)),v8),x))). [hyper(1,a,103,a,b,58,a)]. given #409 (A,wt=48): 412 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(v,e(e(e(v,w),e(v6,w)),v6)),e(v7,e(e(e(v7,v8),e(v9,v8)),v9)))),v10),e(v11,v10)),v11)),x)). [hyper(1,a,103,a,b,55,a)]. given #410 (A,wt=48): 413 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v),v8),e(v9,v8)),v9))),v10),e(v11,v10)),v11),x))). [hyper(1,a,103,a,b,50,a)]. given #411 (A,wt=36): 414 P(e(x,e(e(e(e(e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y),v7),e(v8,v7)),v8),x))). [hyper(1,a,103,a,b,47,a)]. given #412 (A,wt=44): 415 P(e(x,e(e(e(e(e(e(y,e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8)),y),v9),e(v10,v9)),v10),x))). [hyper(1,a,103,a,b,41,a)]. given #413 (A,wt=44): 416 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),x)),v9),e(v10,v9)),v10))). [hyper(1,a,103,a,b,36,a)]. given #414 (A,wt=40): 417 P(e(x,e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),x))). [hyper(1,a,103,a,b,35,a)]. given #415 (A,wt=36): 418 P(e(x,e(e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),v7),e(v8,v7)),v8),x))). [hyper(1,a,103,a,b,27,a)]. given #416 (A,wt=44): 419 P(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(v6,e(e(e(v6,v7),e(v8,v7)),v8))),v9),e(v10,v9)),v10)),x)). [hyper(1,a,103,a,b,23,a)]. given #417 (A,wt=32): 420 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)))). [hyper(1,a,66,a,b,104,a)]. given #418 (A,wt=48): 421 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(w,e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v6),v10),e(v11,v10)),v11))),w))). [hyper(1,a,105,a,b,36,a)]. given #419 (A,wt=44): 422 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),u),v9),e(v10,v9)),v10)))). [hyper(1,a,81,a,b,106,a)]. given #420 (A,wt=36): 423 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),u)))). [hyper(1,a,76,a,b,106,a)]. given #421 (A,wt=48): 424 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),v10),v11),e(v10,v11)))). [hyper(1,a,70,a,b,106,a)]. given #422 (A,wt=36): 425 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),u),v7),e(v8,v7)),v8)))). [hyper(1,a,34,a,b,106,a)]. given #423 (A,wt=36): 426 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),u)))). [hyper(1,a,22,a,b,106,a)]. given #424 (A,wt=40): 427 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),v9),e(v8,v9)))). [hyper(1,a,16,a,b,106,a)]. given #425 (A,wt=44): 428 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),u)),v9),e(v10,v9)),v10)). [hyper(1,a,4,a,b,106,a)]. given #426 (A,wt=36): 429 P(e(x,e(e(e(e(e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6))),y),v7),e(v8,v7)),v8),x))). [hyper(1,a,103,a,b,107,a)]. given #427 (A,wt=44): 430 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10))),x)). [hyper(1,a,84,a,b,107,a)]. given #428 (A,wt=48): 431 P(e(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6))),x)). [hyper(1,a,71,a,b,107,a)]. given #429 (A,wt=44): 432 P(e(e(e(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w))),x),v6),e(v7,v6)),v7),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,57,a,b,107,a)]. given #430 (A,wt=36): 433 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),e(v6,e(e(e(v6,v7),e(v8,v7)),v8)))),x)). [hyper(1,a,36,a,b,107,a)]. given #431 (A,wt=48): 434 P(e(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w))),x),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6))). [hyper(1,a,22,a,b,107,a)]. given #432 (A,wt=40): 435 P(e(e(x,e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v))),x)). [hyper(1,a,18,a,b,107,a)]. given #433 (A,wt=48): 436 P(e(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w))),x),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6))). [hyper(1,a,14,a,b,107,a)]. given #434 (A,wt=36): 437 P(e(e(x,e(e(e(e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6))),y),v7),e(v8,v7)),v8)),x)). [hyper(1,a,8,a,b,107,a)]. given #435 (A,wt=40): 438 P(e(e(e(e(e(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w))),x),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,107,a)]. given #436 (A,wt=24): 439 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(u,v),e(w,v)),w)))). [hyper(1,a,107,a,b,99,a)]. given #437 (A,wt=48): 440 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),e(v9,e(e(e(v9,v10),e(v11,v10)),v11))),u))). [hyper(1,a,107,a,b,98,a)]. given #438 (A,wt=44): 441 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7))),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,107,a,b,96,a)]. given #439 (A,wt=48): 442 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(u,v),e(w,v)),w)),v6)),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),v6))). [hyper(1,a,107,a,b,80,a)]. given #440 (A,wt=44): 443 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8))),u),v9)),v10),e(v9,v10))). [hyper(1,a,107,a,b,15,a)]. given #441 (A,wt=32): 444 P(e(e(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w))),x),v6),v7),e(v6,v7))). [hyper(1,a,107,a,b,4,a)]. given #442 (A,wt=48): 445 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(w,e(e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v6),v10),e(v11,v10)),v11)),w)))). [hyper(1,a,109,a,b,36,a)]. given #443 (A,wt=36): 446 P(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8)),e(v7,v8)),x))). [hyper(1,a,84,a,b,110,a)]. given #444 (A,wt=36): 447 P(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7))),v8),x))). [hyper(1,a,36,a,b,110,a)]. given #445 (A,wt=44): 448 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6))),v7),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,110,a,b,99,a)]. given #446 (A,wt=48): 449 P(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6)),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),x)))). [hyper(1,a,110,a,b,57,a)]. given #447 (A,wt=48): 450 P(e(x,e(e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),x)))). [hyper(1,a,110,a,b,56,a)]. given #448 (A,wt=48): 451 P(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),x)))). [hyper(1,a,110,a,b,51,a)]. given #449 (A,wt=40): 452 P(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v)),x))). [hyper(1,a,84,a,b,112,a)]. given #450 (A,wt=40): 453 P(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v)),x))). [hyper(1,a,36,a,b,112,a)]. given #451 (A,wt=48): 454 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),u)),e(v9,e(e(e(v9,v10),e(v11,v10)),v11)))). [hyper(1,a,112,a,b,99,a)]. given #452 (A,wt=48): 455 P(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6)),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),x)))). [hyper(1,a,112,a,b,57,a)]. given #453 (A,wt=48): 456 P(e(x,e(e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),x)))). [hyper(1,a,112,a,b,56,a)]. given #454 (A,wt=48): 457 P(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),x)))). [hyper(1,a,112,a,b,51,a)]. given #455 (A,wt=16): 458 P(e(x,e(e(y,e(e(e(y,z),e(u,z)),u)),x))). [hyper(1,a,36,a,b,113,a)]. given #456 (A,wt=48): 459 P(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8)),v9),e(v8,v9)),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,113,a)]. given #457 (A,wt=40): 460 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9))). [hyper(1,a,113,a,b,97,a)]. given #458 (A,wt=40): 461 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8),e(v9,v8)),v9))). [hyper(1,a,113,a,b,93,a)]. given #459 (A,wt=48): 462 P(e(x,e(e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),y)),e(e(v9,e(e(e(v9,v10),e(v11,v10)),v11)),x)))). [hyper(1,a,113,a,b,83,a)]. given #460 (A,wt=44): 463 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(u,v),e(w,v)),w)),v6)),v7),e(v6,v7)),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,113,a,b,58,a)]. given #461 (A,wt=40): 464 P(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6)),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),x)))). [hyper(1,a,113,a,b,57,a)]. given #462 (A,wt=40): 465 P(e(x,e(e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),x)))). [hyper(1,a,113,a,b,56,a)]. given #463 (A,wt=48): 466 P(e(x,e(e(e(y,e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8)),y),e(e(v9,e(e(e(v9,v10),e(v11,v10)),v11)),x)))). [hyper(1,a,113,a,b,54,a)]. given #464 (A,wt=40): 467 P(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),x)))). [hyper(1,a,113,a,b,51,a)]. given #465 (A,wt=48): 468 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),v6),e(w,v6)),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11))). [hyper(1,a,113,a,b,34,a)]. given #466 (A,wt=44): 469 P(e(x,e(e(e(e(e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y),v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10),x))). [hyper(1,a,103,a,b,114,a)]. given #467 (A,wt=48): 470 P(e(e(x,e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),y)),v10),e(v11,v10)),v11))),x)). [hyper(1,a,36,a,b,114,a)]. given #468 (A,wt=44): 471 P(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9)),v10),e(v9,v10))),x)). [hyper(1,a,10,a,b,114,a)]. given #469 (A,wt=44): 472 P(e(e(x,e(e(e(e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y),v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10)),x)). [hyper(1,a,8,a,b,114,a)]. given #470 (A,wt=48): 473 P(e(e(e(e(e(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x),v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,114,a)]. given #471 (A,wt=48): 474 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9)),v10),v11),e(v10,v11))). [hyper(1,a,114,a,b,113,a)]. given #472 (A,wt=40): 475 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(w,e(e(e(w,v6),e(v7,v6)),v7))),v8),v9),e(v8,v9))). [hyper(1,a,114,a,b,57,a)]. given #473 (A,wt=40): 476 P(e(e(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x),v6),e(v7,v6)),v7)),v8),v9),e(v8,v9))). [hyper(1,a,114,a,b,4,a)]. given #474 (A,wt=44): 477 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7)),e(v6,v7)),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,113,a,b,115,a)]. given #475 (A,wt=44): 478 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10)))),x)). [hyper(1,a,36,a,b,115,a)]. given #476 (A,wt=36): 479 P(e(e(x,e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8)),e(v7,v8))),x)). [hyper(1,a,10,a,b,115,a)]. given #477 (A,wt=48): 480 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11)),e(v10,v11)),u))). [hyper(1,a,115,a,b,31,a)]. given #478 (A,wt=48): 481 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9))),v10),v11),e(v10,v11))). [hyper(1,a,115,a,b,4,a)]. given #479 (A,wt=48): 482 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),u)),e(v9,e(e(e(v9,v10),e(v11,v10)),v11)))). [hyper(1,a,113,a,b,116,a)]. given #480 (A,wt=48): 483 P(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(w,e(e(e(w,v6),e(v7,v6)),v7))),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,117,a)]. given #481 (A,wt=48): 484 P(e(x,e(e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),y))),v10),e(v11,v10)),v11),x))). [hyper(1,a,103,a,b,119,a)]. given #482 (A,wt=48): 485 P(e(e(x,e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),y))),v10),e(v11,v10)),v11)),x)). [hyper(1,a,8,a,b,119,a)]. given #483 (A,wt=44): 486 P(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),x))),v9),v10),e(v9,v10))). [hyper(1,a,119,a,b,4,a)]. given #484 (A,wt=48): 487 P(e(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w)),x),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),e(v9,e(e(e(v9,v10),e(v11,v10)),v11))))). [hyper(1,a,56,a,b,120,a)]. given #485 (A,wt=48): 488 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),e(v9,e(e(e(v9,v10),e(v11,v10)),v11))))). [hyper(1,a,51,a,b,120,a)]. given #486 (A,wt=44): 489 P(e(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),v6),v7),e(v6,v7)),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,57,a,b,123,a)]. given #487 (A,wt=44): 490 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(w,e(e(e(w,v6),e(v7,v6)),v7))),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,51,a,b,123,a)]. given #488 (A,wt=44): 491 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),u)),v9),e(v10,v9))),v10)). [hyper(1,a,12,a,b,123,a)]. given #489 (A,wt=48): 492 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v)),v10),e(v11,v10)),v11),u))). [hyper(1,a,7,a,b,123,a)]. given #490 (A,wt=44): 493 P(e(e(e(e(e(x,e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),v7),e(v8,v7)),v8)),x),v9),e(v10,v9)),v10)). [hyper(1,a,4,a,b,123,a)]. given #491 (A,wt=44): 494 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),e(v8,e(e(e(v8,v9),e(v10,v9)),v10))))). [hyper(1,a,123,a,b,106,a)]. given #492 (A,wt=44): 495 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10),x))). [hyper(1,a,103,a,b,124,a)]. given #493 (A,wt=40): 496 P(e(e(x,e(e(y,e(e(e(e(z,e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),z)),v8),e(v9,v8)),v9)),y)),x)). [hyper(1,a,36,a,b,124,a)]. given #494 (A,wt=44): 497 P(e(e(x,e(e(e(e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10)),x)). [hyper(1,a,8,a,b,124,a)]. given #495 (A,wt=48): 498 P(e(e(e(e(e(e(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,124,a)]. given #496 (A,wt=48): 499 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(e(e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v)),v10),e(v11,v10)),v11))),u)). [hyper(1,a,124,a,b,96,a)]. given #497 (A,wt=44): 500 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10)),x))). [hyper(1,a,124,a,b,83,a)]. given #498 (A,wt=36): 501 P(e(x,e(e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),x),v7),e(v8,v7)),v8))). [hyper(1,a,124,a,b,57,a)]. given #499 (A,wt=36): 502 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(v6,e(e(e(v6,v7),e(v8,v7)),v8))),x))). [hyper(1,a,124,a,b,51,a)]. NOTE: Back_subsumption disabled, ratio of kept to back_subsumed is 2147483647 (0.00 of 2.16 sec). given #500 (A,wt=40): 503 P(e(e(e(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),v6),e(v7,v6)),v7),v8),v9),e(v8,v9))). [hyper(1,a,124,a,b,4,a)]. given #501 (A,wt=48): 504 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6)),x)))). [hyper(1,a,124,a,b,125,a)]. given #502 (A,wt=48): 505 P(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),y))),x))). [hyper(1,a,18,a,b,125,a)]. given #503 (A,wt=40): 506 P(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),y))),x))). [hyper(1,a,10,a,b,125,a)]. given #504 (A,wt=48): 507 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),e(e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6)),x)))). [hyper(1,a,125,a,b,110,a)]. given #505 (A,wt=48): 508 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),x))),e(v9,e(e(e(v9,v10),e(v11,v10)),v11)))). [hyper(1,a,125,a,b,32,a)]. given #506 (A,wt=48): 509 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v)),x)),v10),e(v11,v10)),v11))). [hyper(1,a,125,a,b,4,a)]. given #507 (A,wt=48): 510 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6))),x))). [hyper(1,a,126,a,b,126,a)]. given #508 (A,wt=48): 511 P(e(x,e(e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),x)),v10),e(v11,v10)),v11))). [hyper(1,a,103,a,b,126,a)]. given #509 (A,wt=48): 512 P(e(x,e(e(e(e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),v7),e(v8,v7)),v8),e(e(v9,e(e(e(v9,v10),e(v11,v10)),v11)),x)))). [hyper(1,a,57,a,b,126,a)]. given #510 (A,wt=44): 513 P(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9)),v10),e(v9,v10))). [hyper(1,a,43,a,b,126,a)]. given #511 (A,wt=44): 514 P(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10)),e(v9,v10))). [hyper(1,a,22,a,b,126,a)]. given #512 (A,wt=44): 515 P(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9))),v10)). [hyper(1,a,14,a,b,126,a)]. given #513 (A,wt=40): 516 P(e(e(e(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x)),v6),v7),e(v6,v7)),v8),e(v9,v8)),v9)). [hyper(1,a,4,a,b,126,a)]. given #514 (A,wt=48): 517 P(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),e(v9,e(e(e(v9,v10),e(v11,v10)),v11))))),x)). [hyper(1,a,126,a,b,66,a)]. given #515 (A,wt=44): 518 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),v10),e(v9,v10))),x))). [hyper(1,a,126,a,b,36,a)]. given #516 (A,wt=44): 519 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),e(v8,v7)),v8),u),v9),e(v10,v9)),v10))). [hyper(1,a,127,a,b,84,a)]. given #517 (A,wt=40): 520 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v)),u))). [hyper(1,a,127,a,b,75,a)]. given #518 (A,wt=48): 521 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),v10),v11)),e(v10,v11))). [hyper(1,a,127,a,b,71,a)]. given #519 (A,wt=48): 522 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8),e(v9,v8))),v9),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,128,a)]. given #520 (A,wt=48): 523 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v10)),v11),e(v10,v11))). [hyper(1,a,128,a,b,36,a)]. given #521 (A,wt=48): 524 P(e(e(x,e(e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y),x)),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11))). [hyper(1,a,83,a,b,129,a)]. given #522 (A,wt=48): 525 P(e(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6))),x),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11))). [hyper(1,a,56,a,b,129,a)]. given #523 (A,wt=48): 526 P(e(e(e(x,e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y)),x),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11))). [hyper(1,a,54,a,b,129,a)]. given #524 (A,wt=48): 527 P(e(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6)),x)),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11))). [hyper(1,a,51,a,b,129,a)]. given #525 (A,wt=44): 528 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),v9),v10),e(v9,v10)),u))). [hyper(1,a,6,a,b,129,a)]. given #526 (A,wt=40): 529 P(e(e(x,e(e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y),x)),e(v7,e(e(e(v7,v8),e(v9,v8)),v9)))). [hyper(1,a,83,a,b,130,a)]. given #527 (A,wt=40): 530 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),v9),v9),u))). [hyper(1,a,62,a,b,130,a)]. given #528 (A,wt=44): 531 P(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),x),v6),e(v7,v6)),v7)),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,57,a,b,130,a)]. given #529 (A,wt=40): 532 P(e(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6))),x),e(v7,e(e(e(v7,v8),e(v9,v8)),v9)))). [hyper(1,a,56,a,b,130,a)]. given #530 (A,wt=40): 533 P(e(e(e(x,e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y)),x),e(v7,e(e(e(v7,v8),e(v9,v8)),v9)))). [hyper(1,a,54,a,b,130,a)]. given #531 (A,wt=40): 534 P(e(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6)),x)),e(v7,e(e(e(v7,v8),e(v9,v8)),v9)))). [hyper(1,a,51,a,b,130,a)]. given #532 (A,wt=48): 535 P(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),e(v7,e(e(e(v7,v8),e(v9,v8)),v9))),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,130,a)]. given #533 (A,wt=48): 536 P(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),v6),e(w,v6)),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)))). [hyper(1,a,101,a,b,131,a)]. given #534 (A,wt=48): 537 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v10),v11)),e(v10,v11))). [hyper(1,a,72,a,b,131,a)]. given #535 (A,wt=40): 538 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8),v9)),e(v8,v9))). [hyper(1,a,49,a,b,131,a)]. given #536 (A,wt=44): 539 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(u,e(e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),v9),e(v10,v9)),v10)),u))). [hyper(1,a,22,a,b,131,a)]. given #537 (A,wt=44): 540 P(e(x,e(e(e(e(e(e(y,e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),v7),e(v8,v7)),v8)),y),v9),e(v10,v9)),v10),x))). [hyper(1,a,103,a,b,132,a)]. given #538 (A,wt=44): 541 P(e(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))),x)). [hyper(1,a,36,a,b,132,a)]. given #539 (A,wt=48): 542 P(e(e(x,e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(e(e(e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)),v10),e(v11,v10)),v11),v))),x)). [hyper(1,a,18,a,b,132,a)]. given #540 (A,wt=44): 543 P(e(e(x,e(e(e(e(e(y,e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),v7),e(v8,v7)),v8)),y),v9),e(v10,v9)),v10)),x)). [hyper(1,a,8,a,b,132,a)]. given #541 (A,wt=48): 544 P(e(e(e(e(e(e(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7)),x),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,132,a)]. given #542 (A,wt=40): 545 P(e(e(e(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7)),x),v8),v9),e(v8,v9))). [hyper(1,a,132,a,b,4,a)]. given #543 (A,wt=48): 546 P(e(e(x,e(e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y),x)),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)))). [hyper(1,a,83,a,b,133,a)]. given #544 (A,wt=48): 547 P(e(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6))),x),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)))). [hyper(1,a,56,a,b,133,a)]. given #545 (A,wt=48): 548 P(e(e(e(x,e(e(y,e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6)),y)),x),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)))). [hyper(1,a,54,a,b,133,a)]. given #546 (A,wt=48): 549 P(e(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),y),w),e(v6,w)),v6)),x)),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)))). [hyper(1,a,51,a,b,133,a)]. given #547 (A,wt=48): 550 P(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),v7),v8),e(v7,v8)),e(v9,e(e(e(v9,v10),e(v11,v10)),v11)))). [hyper(1,a,57,a,b,134,a)]. given #548 (A,wt=48): 551 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8),e(v9,v8)),v9),v10),e(v11,v10))),v11)). [hyper(1,a,12,a,b,134,a)]. given #549 (A,wt=48): 552 P(e(e(e(e(e(x,e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9)),x),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,134,a)]. given #550 (A,wt=40): 553 P(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8),v9),e(v8,v9)))). [hyper(1,a,134,a,b,106,a)]. given #551 (A,wt=48): 554 P(e(x,e(e(e(e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11),x))). [hyper(1,a,103,a,b,135,a)]. given #552 (A,wt=44): 555 P(e(e(x,e(e(y,e(e(e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),v7),e(v8,v7)),v8),v9),e(v10,v9)),v10)),y)),x)). [hyper(1,a,36,a,b,135,a)]. given #553 (A,wt=48): 556 P(e(e(x,e(e(e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7),v8),e(v9,v8)),v9),v10),e(v11,v10)),v11)),x)). [hyper(1,a,8,a,b,135,a)]. given #554 (A,wt=40): 557 P(e(x,e(e(e(e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7),x),v8),e(v9,v8)),v9))). [hyper(1,a,135,a,b,57,a)]. given #555 (A,wt=32): 558 P(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),v7),e(v6,v7))),x)). [hyper(1,a,135,a,b,56,a)]. given #556 (A,wt=32): 559 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),v7),e(v6,v7)),x))). [hyper(1,a,135,a,b,51,a)]. given #557 (A,wt=44): 560 P(e(e(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),v7),e(v8,v7)),v8),v9),v10),e(v9,v10))). [hyper(1,a,135,a,b,4,a)]. given #558 (A,wt=48): 561 P(e(x,e(e(e(y,e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),v7),e(v8,v7)),v8)),y),e(e(v9,e(e(e(v9,v10),e(v11,v10)),v11)),x)))). [hyper(1,a,113,a,b,136,a)]. given #559 (A,wt=36): 562 P(e(x,e(e(e(y,e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),v7),e(v8,v7)),v8)),y),x))). [hyper(1,a,10,a,b,136,a)]. given #560 (A,wt=48): 563 P(e(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y))),x),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)))). [hyper(1,a,136,a,b,133,a)]. given #561 (A,wt=40): 564 P(e(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y))),x),e(v7,e(e(e(v7,v8),e(v9,v8)),v9)))). [hyper(1,a,136,a,b,130,a)]. given #562 (A,wt=48): 565 P(e(e(e(x,e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y))),x),e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11))). [hyper(1,a,136,a,b,129,a)]. given #563 (A,wt=44): 566 P(e(e(e(x,e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),e(v7,v6)),v7)),x),e(v8,e(e(e(v8,v9),e(v10,v9)),v10)))). [hyper(1,a,136,a,b,32,a)]. given #564 (A,wt=48): 567 P(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10)),v11),e(v10,v11))). [hyper(1,a,43,a,b,137,a)]. given #565 (A,wt=48): 568 P(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11)),e(v10,v11))). [hyper(1,a,22,a,b,137,a)]. given #566 (A,wt=48): 569 P(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10))),v11)). [hyper(1,a,14,a,b,137,a)]. given #567 (A,wt=44): 570 P(e(e(e(e(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6),v7),v8),e(v7,v8)),v9),e(v10,v9)),v10)). [hyper(1,a,4,a,b,137,a)]. given #568 (A,wt=32): 571 P(e(x,e(e(e(y,e(z,e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7),z))),y),x))). [hyper(1,a,137,a,b,136,a)]. given #569 (A,wt=44): 572 P(e(e(x,e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),v9),e(v10,v9))),v10)),x)). [hyper(1,a,137,a,b,132,a)]. given #570 (A,wt=48): 573 P(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),v11),e(v10,v11)),y))),x))). [hyper(1,a,137,a,b,125,a)]. given #571 (A,wt=32): 574 P(e(x,e(e(y,e(e(e(z,e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7)),z),y)),x))). [hyper(1,a,137,a,b,83,a)]. given #572 (A,wt=44): 575 P(e(e(x,e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),e(e(e(e(e(v,e(e(e(v,w),e(v6,w)),v6)),v7),v8),e(v7,v8)),v9)),v10),e(v9,v10))),x)). [hyper(1,a,137,a,b,58,a)]. given #573 (A,wt=36): 576 P(e(x,e(e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),v6),e(w,v6)),y),v7),e(v8,v7)),v8)),x))). [hyper(1,a,137,a,b,57,a)]. given #574 (A,wt=32): 577 P(e(x,e(e(e(y,e(z,e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),z),v6),e(v7,v6)),v7))),y),x))). [hyper(1,a,137,a,b,56,a)]. given #575 (A,wt=32): 578 P(e(x,e(e(e(y,e(e(z,e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),e(v7,v6)),v7)),z)),y),x))). [hyper(1,a,137,a,b,54,a)]. given #576 (A,wt=32): 579 P(e(x,e(e(y,e(e(z,e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),z),v6),e(v7,v6)),v7)),y)),x))). [hyper(1,a,137,a,b,51,a)]. given #577 (A,wt=48): 580 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(w,e(e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6)),w)))). [hyper(1,a,21,a,b,138,a)]. given #578 (A,wt=48): 581 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(u,e(e(v,e(e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),e(v9,v8)),v9),v)),u))),v10),e(v11,v10)),v11)). [hyper(1,a,15,a,b,138,a)]. given #579 (A,wt=48): 582 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(w,e(e(v6,e(e(e(e(e(v7,e(e(e(v7,v8),e(v9,v8)),v9)),v10),e(v11,v10)),v11),v6)),w)))). [hyper(1,a,11,a,b,138,a)]. given #580 (A,wt=36): 583 P(e(e(e(e(x,e(e(y,e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y)),x)),v7),e(v8,v7)),v8)). [hyper(1,a,4,a,b,138,a)]. given #581 (A,wt=48): 584 P(e(e(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9)),e(v8,v9)),v10),e(v11,v10)),v11)). [hyper(1,a,4,a,b,140,a)]. given #582 (A,wt=44): 585 P(e(x,e(e(e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),v6),v7),e(v6,v7)),e(e(v8,e(e(e(v8,v9),e(v10,v9)),v10)),x)))). [hyper(1,a,140,a,b,137,a)]. given #583 (A,wt=48): 586 P(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),e(v6,e(e(e(v6,v7),e(v8,v7)),v8))),e(e(v9,e(e(e(v9,v10),e(v11,v10)),v11)),x)))). [hyper(1,a,140,a,b,126,a)]. given #584 (A,wt=48): 587 P(e(x,e(e(y,e(e(e(e(e(e(e(e(z,e(e(e(z,u),e(v,u)),v)),w),e(v6,w)),v6),y),v7),e(v8,v7)),v8)),e(e(v9,e(e(e(v9,v10),e(v11,v10)),v11)),x)))). [hyper(1,a,140,a,b,84,a)]. given #585 (A,wt=44): 588 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),e(w,e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9)),v10))),w)). [hyper(1,a,7,a,b,141,a)]. given #586 (A,wt=44): 589 P(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(e(e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),w),v9),e(v10,v9)),v10))). [hyper(1,a,6,a,b,141,a)]. given #587 (A,wt=44): 590 P(e(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9))),v10)),x)). [hyper(1,a,10,a,b,142,a)]. ============================== PROOF ================================= % Proof 1 at 2.98 (+ 0.04) seconds: Reflex. % Length of proof is 18. % Level of proof is 8. % Maximum clause weight is 48. % Given clauses 587. 1 - P(e(x,y)) | - P(x) | P(y) # label(condensed_detachment). [input]. 4 P(e(x,e(e(e(x,y),e(z,y)),z))) # label(XCB). [input]. 5 - P(e(c1,c1)) # answer(Reflex). [clausify]. 6 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v)). [hyper(1,a,4,a,b,4,a)]. 7 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),e(v6,w)),v6)). [hyper(1,a,4,a,b,6,a)]. 8 P(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v))). [hyper(1,a,6,a,b,4,a)]. 10 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),w),v6),e(w,v6))). [hyper(1,a,7,a,b,4,a)]. 11 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),e(w,v)),w),x))). [hyper(1,a,8,a,b,8,a)]. 12 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),e(v6,w)),v6)). [hyper(1,a,4,a,b,8,a)]. 15 P(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w))). [hyper(1,a,8,a,b,4,a)]. 29 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),e(v,u)),v),e(e(e(e(w,e(e(e(w,v6),e(v7,v6)),v7)),v8),v9),e(v8,v9)))). [hyper(1,a,11,a,b,8,a)]. 36 P(e(e(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),u),v),e(u,v)),w),v6),e(w,v6))). [hyper(1,a,12,a,b,4,a)]. 58 P(e(e(e(e(x,e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),x),v),e(w,v)),w)),v6),e(v7,v6)),v7)). [hyper(1,a,4,a,b,15,a)]. 142 P(e(e(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(e(e(e(e(u,e(e(e(u,v),e(w,v)),w)),v6),v7),e(v6,v7)),v8),v9),e(v8,v9))),v10),e(v11,v10)),v11)). [hyper(1,a,15,a,b,36,a)]. 263 P(e(e(e(x,e(e(e(x,y),e(z,y)),z)),e(e(e(u,e(e(e(u,v),e(w,v)),w)),e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9)),v10)),e(v9,v10))). [hyper(1,a,58,a,b,29,a)]. 590 P(e(e(x,e(e(e(e(e(e(y,e(e(e(y,z),e(u,z)),u)),v),w),e(v,w)),e(e(e(v6,e(e(e(v6,v7),e(v8,v7)),v8)),v9),e(v10,v9))),v10)),x)). [hyper(1,a,10,a,b,142,a)]. 1755 P(e(x,x)). [hyper(1,a,263,a,b,590,a)]. 1756 $F # answer(Reflex). [resolve(1755,a,5,a)]. ============================== end of proof ========================== ============================== STATISTICS ============================ Given=587. Generated=169003. Kept=1752. proofs=1. Usable=588. Sos=1162. Demods=0. Denials=0. Limbo=2, Disabled=2. Hints=0. Weight_deleted=148208. Literals_deleted=0. Forward_subsumed=19043. Back_subsumed=0. Sos_limit_deleted=0. Sos_displaced=0. Sos_removed=0. New_demodulators=0 (0 lex), Back_demodulated=0. Back_unit_deleted=0. Demod_attempts=0. Demod_rewrites=0. Res_instance_prunes=0. Para_instance_prunes=0. Basic_paramod_prunes=0. Nonunit_fsub_feature_tests=0. Nonunit_bsub_feature_tests=0. Megabytes=2.01. User_CPU=2.98, System_CPU=0.04, Wall_clock=3. ============================== end of statistics ===================== ============================== end of search ========================= THEOREM PROVED Exiting with 1 proof. Process 13072 exit (max_proofs) Mon Jun 19 16:41:11 2006