COMPACT FULL CERTIFICATE Reserve M26_D27.
Each q-symbol denotes its exact rational number; each p-symbol denotes the
  polynomial name below.
Every row lists all successive lower/upper slopes,  all linked heights,  the
  strict total upper numerator N with denominator 10^10,  and the full ordered
  cell trace.
A trace q/p uses its previous right endpoint as the left endpoint (initially 0).
  It selects polynomial p until right endpoint q. No cell is omitted.
Integrate each selected polynomial by the binomial antiderivative formula and sum;
  that exact rational total is strictly below N/10^10.
Rational dictionary:
q1=131/900
q2=1/2
q3=1
q4=2
q5=4
q6=8
q7=16
q8=41/208
q9=85/432
q10=12
q11=3/4
q12=3/2
q13=5/4
q14=3
q15=5/2
q16=5/8
q17=7/8
q18=7/4
q19=7/2
q20=6
q21=5
q22=131/1000
q23=41/200
q24=276737/1300000
q25=22499/100000
q26=23499/100000
q27=24499/100000
q28=26499/100000
q29=28499/100000
q30=36499/100000
q31=22099/100000
q32=22999/100000
q33=21849/100000
q34=24349/100000
q35=1553/6250
q36=23599/100000
q37=26599/100000
q38=23999/100000
q39=25499/100000
q40=13799/50000
q41=27099/100000
q42=31099/100000
q43=17549/50000
q44=21549/50000
q45=41099/100000
q46=49099/100000
q47=28549/50000
q48=69099/100000
q49=85099/100000
q50=125099/100000
q51=157099/100000
q52=63/100
q53=21/25
q54=441/500
q55=9/10
q56=2976841/3250000
q57=189/200
q58=1275789/1300000
q59=26/25
q60=27/25
q61=29/25
q62=23/25
q63=3381789/3250000
q64=7593789/7150000
q65=28/25
q66=1127263/975000
q67=16017789/14950000
q68=361609/325000
q69=32865789/30550000
q70=5339263/4875000
q71=16017789/14300000
q72=49713789/46150000
q73=10955263/10075000
q74=32865789/29900000
q75=10955263/9750000
q76=31501/50000
q77=94503/100000
q78=319/500
q79=2233/2500
q80=161/170
q81=115/118
q82=69/70
q83=175503/175000
q84=24/25
q85=85501/84000
q86=256503/250000
q87=172503/175000
q88=1169/1200
q89=99/100
q90=167/168
q91=501/500
q92=253503/250000
q93=57501/50000
q94=787507/775000
q95=337503/325000
q96=85501/75000
q97=253/250
q98=418503/400000
q99=112501/100000
q100=111501/109000
q101=25731/25000
q102=28167/25000
q103=1837/1800
q104=415503/400000
q105=111501/100000
q106=193501/200000
q107=52773/50000
q108=139501/125000
q109=577503/550000
q110=138501/125000
q111=742503/700000
q112=27643/25000
q113=904503/850000
q114=247501/225000
q115=742503/650000
q116=409501/400000
q117=1228503/1150000
q118=301501/275000
q119=904503/800000
q120=2524503/2350000
q121=409501/375000
q122=1228503/1100000
q123=3820503/3550000
q124=841501/775000
q125=109761/100000
q126=841501/750000
q127=29501/50000
q128=88503/100000
q129=167/150
q130=83501/84000
q131=250503/250000
q132=962507/950000
q133=813/800
q134=2981/2900
q135=412503/400000
q136=83501/75000
q137=271/268
q138=1340507/1300000
q139=574503/550000
q140=137501/125000
q141=102039/100000
q142=45/44
q143=33/32
q144=568503/550000
q145=27167/25000
q146=375/368
q147=1222503/1150000
q148=191501/175000
q149=574503/500000
q150=2518503/2350000
q151=407501/375000
q152=1222503/1100000
q153=3814503/3550000
q154=839501/775000
q155=2518503/2300000
q156=839501/750000
q157=25501/50000
q158=76503/100000
q159=25501/25000
q160=9/8
q161=238503/250000
q162=5537/5400
q163=79501/75000
q164=187501/184000
q165=562503/550000
q166=15/14
q167=187501/175000
q168=791/768
q169=2373/2300
q170=1243/1200
q171=1210503/1150000
q172=403501/375000
q173=562503/500000
q174=2506503/2350000
q175=835501/775000
q176=1210503/1100000
q177=57643/50000
q178=3802503/3550000
q179=1267501/1175000
q180=2506503/2300000
q181=835501/750000
q182=17501/50000
q183=52503/100000
q184=17501/25000
q185=52503/50000
q186=411723/368750
q187=113/100
q188=18/25
q189=214503/250000
q190=71501/75000
q191=214503/200000
q192=538503/550000
q193=1623/1600
q194=25643/25000
q195=538503/500000
q196=395501/384000
q197=1186503/1150000
q198=791/750
q199=395501/375000
q200=1186503/1100000
q201=1623/1568
q202=4869/4700
q203=17853/17200
q204=2482503/2350000
q205=9102511/8600000
q206=827501/775000
q207=2482503/2300000
q208=395501/350000
q209=1259501/1175000
q210=3778503/3500000
q211=827501/750000
q212=63/68
q213=95703/100000
q214=257703/250000
q215=581703/550000
q216=85901/75000
q217=1229703/1150000
q218=193901/175000
q219=2525703/2350000
q220=409901/375000
q221=1229703/1100000
q222=3821703/3550000
q223=841901/775000
q224=2525703/2300000
q225=841901/750000
q226=272/375
q227=112/125
q228=957/1000
q229=863/1250
q230=85501/100000
q231=6041/6750
q232=623/675
q233=319/340
q234=267/275
q235=979/975
q236=255003/250000
q237=19/25
q238=22/25
q239=23121/25000
q240=2589/2750
q241=168453/175000
q242=250953/250000
q243=56651/50000
q244=4/5
q245=575057/600000
q246=4864855769088/5043858023875
q247=9493/9750
q248=246453/250000
q249=15591/15625
q250=7019/6250
q251=769/1000
q252=5383/6000
q253=562807/600000
q254=80401/84000
q255=241203/250000
q256=244203/250000
q257=27401/25000
q258=336003/325000
q259=85001/75000
q260=331953/325000
q261=83651/75000
q262=417003/400000
q263=112001/100000
q264=412953/400000
q265=110651/100000
q266=987/1025
q267=141/143
q268=423/425
q269=3596498239488/3634571879875
q270=333003/325000
q271=84001/75000
q272=903661/900000
q273=41307/40625
q274=10394/9375
q275=6429/6250
q276=13769/12500
q277=3066606649344/3226572083375
q278=884411/900000
q279=406203/400000
q280=81401/75000
q281=499503/475000
q282=166501/150000
q283=496503/475000
q284=61557/59375
q285=17144/15625
q286=55167/50000
q287=568203/550000
q288=135401/125000
q289=246501/250000
q290=739503/700000
q291=192501/175000
q292=577503/500000
q293=730203/700000
q294=189401/175000
q295=568203/500000
q296=901503/850000
q297=27389/25000
q298=739503/650000
q299=892203/850000
q300=243401/225000
q301=730203/650000
q302=1066503/1000000
q303=1054203/1000000
q304=297401/275000
q305=892203/800000
q306=355501/325000
q307=1066503/950000
q308=1216203/1150000
q309=351401/325000
q310=1054203/950000
q311=1552503/1450000
q312=1876503/1750000
q313=517501/475000
q314=1552503/1400000
q315=517501/450000
q316=625501/575000
q317=1876503/1700000
q318=625501/550000
q319=1533/1550
q320=219/218
q321=657/650
q322=331503/325000
q323=137501/134000
q324=110501/100000
q325=409503/400000
q326=82501/75000
q327=132401/134000
q328=397203/400000
q329=1456411/1450000
q330=201603/200000
q331=67201/62500
q332=282603/275000
q333=80401/75000
q334=94201/87500
q335=201603/175000
q336=736503/700000
q337=898503/850000
q338=245501/225000
q339=736503/650000
q340=892503/850000
q341=189501/175000
q342=568503/500000
q343=299501/275000
q344=898503/800000
q345=1870503/1750000
q346=623501/575000
q347=1870503/1700000
q348=623501/550000
q349=16/25
q350=71501/100000
q351=22901/50000
q352=68703/100000
q353=1669/2000
q354=22901/25000
q355=24901/50000
q356=17/25
q357=174307/250000
q358=74703/100000
q359=273911/350000
q360=230703/250000
q361=24901/25000
q362=76901/75000
q363=554703/550000
q364=184901/175000
q365=230703/200000
q366=1202703/1150000
q367=400901/375000
q368=554703/500000
q369=2498703/2350000
q370=832901/775000
q371=1202703/1100000
q372=400901/350000
q373=3794703/3550000
q374=1264901/1175000
q375=2498703/2300000
q376=832901/750000
q377=76901/100000
q378=538307/600000
q379=769/840
q380=845911/900000
q381=254941272735744/256825070084375
q382=11683/13000
q383=180901/184000
q384=542703/550000
q385=1294307/1300000
q386=1989911/2000000
q387=9451/25000
q388=28353/50000
q389=9451/12500
q390=36451/50000
q391=109353/125000
q392=8459/9000
q393=36451/37500
q394=28353/25000
q395=388901/400000
q396=271353/275000
q397=4277911/4200000
q398=90451/87500
q399=109353/100000
q400=388901/384000
q401=1166703/1150000
q402=595353/575000
q403=198451/187500
q404=271353/250000
q405=414451/387500
q406=54123/50000
q407=198451/175000
q408=630451/587500
q409=1243353/1150000
q410=414451/375000
q411=5451/25000
q412=16353/50000
q413=2/5
q414=5451/12500
q415=16353/25000
q416=32451/50000
q417=97353/125000
q418=10817/12500
q419=97353/100000
q420=2307/2500
q421=259353/275000
q422=86451/87500
q423=259353/250000
q424=64817/64000
q425=583353/575000
q426=8853911/8600000
q427=64817/62500
q428=583353/550000
q429=28817/25000
q430=804901/784000
q431=2414703/2350000
q432=410451/387500
q433=1231353/1150000
q434=194451/175000
q435=1166703/1100000
q436=626451/587500
q437=268479/250000
q438=136817/125000
q439=4901/50000
q440=14703/100000
q441=4/25
q442=4901/25000
q443=14703/50000
q444=10901/50000
q445=7/25
q446=76307/250000
q447=8/25
q448=32703/100000
q449=119911/350000
q450=32703/50000
q451=176703/200000
q452=500703/500000
q453=382901/375000
q454=1148703/1100000
q455=166901/150000
q456=814901/775000
q457=2444703/2300000
q458=382901/350000
q459=1246901/1175000
q460=3740703/3500000
q461=814901/750000
q462=58901/100000
q463=176703/250000
q464=58901/75000
q465=62901/100000
q466=146769/200000
q467=20967/28000
q468=188703/250000
q469=76879/100000
q470=188703/200000
q471=23843/25000
q472=166901/200000
q473=166901/184000
q474=500703/550000
q475=1669/1750
q476=1168307/1300000
q477=1669/1840
q478=374901/400000
q479=3469/4000
q480=24283/27000
q481=2680307/2700000
q482=1148703/1150000
q483=4211911/4200000
q484=1124703/1100000
q485=25451/50000
q486=76353/125000
q487=25451/37500
q488=76353/100000
q489=25451/25000
q490=79451/100000
q491=238353/275000
q492=79451/87500
q493=238353/250000
q494=79451/75000
q495=187451/200000
q496=562353/575000
q497=187451/187500
q498=51123/50000
q499=187451/175000
q500=790901/775000
q501=103161/100000
q502=403451/387500
q503=1210353/1150000
q504=403451/375000
q505=265479/250000
q506=619451/575000
q507=17099/50000
q508=3469/3000
q509=11/25
q510=130901/150000
q511=346901/350000
q512=2336703/2300000
q513=778901/750000
q514=1210901/1150000
q515=22901/100000
q516=68703/250000
q517=22901/75000
q518=68703/200000
q519=34901/100000
q520=244307/600000
q521=34901/84000
q522=104703/250000
q523=383911/900000
q524=104703/200000
q525=34901/50000
q526=392703/500000
q527=130901/200000
q528=392703/550000
q529=972307/1300000
q530=130901/175000
q531=138901/200000
q532=138901/184000
q533=416703/550000
q534=1527911/2000000
q535=416703/500000
q536=138901/150000
q537=10407/11000
q538=1040703/1100000
q539=346901/400000
q540=346901/384000
q541=1040703/1150000
q542=346901/375000
q543=2428307/2700000
q544=3469/3840
q545=3815911/4200000
q546=3469/3500
q547=7069/8000
q548=49483/55000
q549=762901/750000
q550=7069/7000
q551=82901/100000
q552=58901/200000
q553=176703/550000
q554=58901/175000
q555=176703/500000
q556=58901/150000
q557=82901/200000
q558=44639/100000
q559=82901/184000
q560=248703/550000
q561=911911/2000000
q562=248703/500000
q563=82901/150000
q564=274901/350000
q565=96967/100000
q566=274901/400000
q567=824703/1150000
q568=290901/400000
q569=274901/375000
q570=74973/100000
q571=678769/900000
q572=96967/128000
q573=872703/1150000
q574=1066637/1400000
q575=872703/1100000
q576=290901/350000
q577=7069/7500
q578=706901/750000
q579=706901/800000
q580=706901/784000
q581=2120703/2350000
q582=7069/7750
q583=706901/775000
q584=2120703/2300000
q585=4948307/5500000
q586=7069/7840
q587=7775911/8600000
q588=1138901/1150000
Polynomial dictionary:
p1=B1
p2=1:Mspan
p3=1:N3lo
p4=1:N3hi
p5=2:Dlo
p6=1:H3lip
p7=1:H3
p8=2:Dhi
p9=1:Mref
p10=0:N5lo
p11=0:N5hi
p12=B11/25
p13=0:C
p14=0:E1
FAMILY Reserve M26_D27. Every strict upper numerator has denominator 10^10.
Endpoint=29/25; target=63/64.
Specifications: index | kind | base height | anchor | upper slope cutoff
0 | G | 131/1000 | 9/10 | 16
1 | M | 41/200 | 26/25 | 8
2 | D | 17/80 | 27/25 | 12
Heights: h_i=max(base_i,  h_j+(anchor_i-anchor_j)*lower_slope_j-1/100000 for every
  j<i).
Before an anchor use its upper rectangle slope; afterwards use its lower slope.
Grid0=q1, q2, q3, q4, q5, q6, q7.
Grid1=q8, q2, q3, q4, q5, q6.
Grid2=q9, q2, q3, q4, q5, q6, q10.
Splits: tag / coordinate / rational midpoint.
1.2.2/1/q11
1.2.20/2/q11
1.2.21/2/q11
1.2.3/2/q12
1.2.30/1/q11
1.2.300/2/q13
1.2.301/2/q13
1.2.31/1/q11
1.2.4/2/q14
1.2.40/2/q15
1.3.3/1/q12
1.3.30/2/q12
2.2.2/0/q11
2.2.20/1/q11
2.2.200/2/q11
2.2.2001/0/q16
2.2.20010/1/q16
2.2.201/2/q11
2.2.2011/0/q16
2.2.3/2/q12
2.2.30/0/q11
2.2.300/1/q11
2.2.3000/2/q13
2.2.30000/0/q16
2.2.300000/1/q16
2.2.30001/0/q16
2.2.300010/1/q16
2.2.3001/2/q13
2.2.30010/0/q16
2.2.300100/1/q17
2.2.30011/0/q16
2.2.31/0/q11
2.2.310/1/q11
2.2.3100/2/q18
2.2.3101/2/q18
2.2.31010/0/q16
2.2.4/2/q14
2.2.40/2/q15
2.2.400/0/q11
2.2.4000/1/q11
2.2.401/0/q11
2.2.4010/1/q11
2.2.41/2/q19
2.2.410/0/q11
2.2.411/0/q11
2.2.5/2/q20
2.2.50/2/q21
2.3.3/1/q12
2.3.30/2/q12
2.3.300/0/q11
2.3.3000/1/q13
2.3.30000/2/q13
2.3.301/0/q11
2.3.4/2/q14
2.3.40/1/q12
2.3.400/2/q15
2.3.5/2/q20
Final rows: tag | parameter q-symbols | total N | ordered complete trace
1.1.1 | q1, q2, q8, q2, q9, q2, q22, q23, q24 | 8364570610 | q52/p1, q53/p2,
  q54/p3, q55/p4, q56/p5, q57/p6, q58/p7, q59/p8, q60/p8, q61/p8
1.1.2 | q1, q2, q8, q2, q2, q3, q22, q23, q24 | 9189135884 | q52/p1, q53/p2,
  q54/p3, q55/p4, q62/p4, q57/p6, q3/p7, q59/p9, q63/p9, q60/p8, q61/p8
1.1.3 | q1, q2, q8, q2, q3, q4, q22, q23, q24 | 9284475310 | q52/p1, q53/p2,
  q54/p3, q55/p4, q62/p4, q57/p6, q3/p7, q59/p9, q64/p9, q60/p8, q65/p8, q66/p5,
  q61/p5
1.1.4 | q1, q2, q8, q2, q4, q5, q22, q23, q24 | 8853327915 | q52/p1, q53/p2,
  q54/p3, q55/p4, q62/p4, q57/p6, q3/p7, q59/p9, q67/p9, q60/p8, q68/p8, q61/p5
1.1.5 | q1, q2, q8, q2, q5, q6, q22, q23, q24 | 8428846803 | q52/p1, q53/p2,
  q54/p3, q55/p4, q62/p4, q57/p6, q3/p7, q59/p9, q69/p9, q60/p8, q70/p8, q71/p5,
  q61/p5
1.1.6 | q1, q2, q8, q2, q6, q10, q22, q23, q24 | 8240635891 | q52/p1, q53/p2,
  q54/p3, q55/p4, q62/p4, q57/p6, q3/p7, q59/p9, q72/p9, q60/p8, q73/p8, q74/p5,
  q75/p5, q61/p5
1.2.1 | q1, q2, q2, q3, q9, q2, q22, q23, q25 | 7685640315 | q76/p1, q55/p5,
  q77/p5, q59/p8, q60/p8, q61/p8
1.2.200 | q1, q2, q2, q11, q2, q11, q22, q23, q25 | 9617757619 | q78/p1, q79/p10,
  q55/p11, q80/p11, q81/p5, q82/p6, q83/p7, q59/p8, q60/p8, q61/p8
1.2.201 | q1, q2, q2, q11, q11, q3, q22, q23, q25 | 9794233900 | q78/p1, q79/p10,
  q55/p11, q80/p11, q84/p4, q82/p6, q85/p7, q86/p9, q59/p8, q60/p8, q65/p8, q61/p5
1.2.210 | q1, q2, q11, q3, q2, q11, q22, q23, q26 | 9177223144 | q78/p1, q79/p10,
  q55/p11, q62/p11, q87/p5, q59/p8, q60/p8, q65/p8, q61/p5
1.2.211 | q1, q2, q11, q3, q11, q3, q22, q23, q26 | 9727801246 | q78/p1, q79/p10,
  q55/p11, q88/p11, q89/p5, q90/p12, q91/p6, q92/p7, q59/p8, q60/p8, q93/p5,
  q61/p5
1.2.3000 | q1, q2, q2, q11, q3, q13, q22, q23, q25 | 9785378960 | q78/p1, q79/p10,
  q55/p11, q80/p11, q84/p4, q82/p6, q94/p7, q95/p9, q59/p8, q60/p8, q65/p8,
  q96/p5, q61/p5
1.2.3001 | q1, q2, q2, q11, q13, q12, q22, q23, q25 | 9731370275 | q78/p1,
  q79/p10, q55/p11, q80/p11, q84/p4, q82/p6, q97/p7, q59/p9, q98/p9, q60/p8,
  q99/p5, q61/p5
1.2.3010 | q1, q2, q11, q3, q3, q13, q22, q23, q26 | 9756819219 | q78/p1, q79/p10,
  q55/p11, q88/p11, q89/p4, q90/p12, q91/p6, q100/p7, q101/p9, q59/p8, q60/p8,
  q102/p5, q61/p5
1.2.3011 | q1, q2, q11, q3, q13, q12, q22, q23, q26 | 9713189144 | q78/p1,
  q79/p10, q55/p11, q88/p11, q89/p4, q90/p12, q91/p6, q103/p7, q104/p9, q59/p8,
  q60/p8, q105/p5, q61/p5
1.2.310 | q1, q2, q2, q11, q12, q4, q22, q23, q25 | 9678570288 | q78/p1, q79/p10,
  q55/p11, q80/p11, q106/p4, q82/p6, q97/p7, q59/p9, q107/p9, q60/p8, q108/p5,
  q61/p5
1.2.311 | q1, q2, q11, q3, q12, q4, q22, q23, q26 | 9720474546 | q78/p1, q79/p10,
  q55/p11, q88/p11, q89/p4, q90/p12, q91/p6, q103/p7, q59/p9, q109/p9, q60/p8,
  q110/p5, q61/p5
1.2.400 | q1, q2, q2, q3, q4, q15, q22, q23, q25 | 9800608651 | q78/p1, q79/p10,
  q55/p11, q88/p11, q89/p4, q90/p12, q91/p6, q103/p7, q59/p9, q111/p9, q60/p8,
  q112/p5, q61/p5
1.2.401 | q1, q2, q2, q3, q15, q14, q22, q23, q25 | 9682071260 | q78/p1, q79/p10,
  q55/p11, q88/p11, q89/p4, q90/p12, q91/p6, q103/p7, q59/p9, q113/p9, q60/p8,
  q114/p5, q115/p5, q61/p5
1.2.41 | q1, q2, q2, q3, q14, q5, q22, q23, q25 | 9630268524 | q78/p1, q79/p10,
  q55/p11, q88/p11, q89/p4, q90/p12, q91/p6, q116/p7, q59/p9, q117/p9, q60/p8,
  q118/p5, q119/p5, q61/p5
1.2.5 | q1, q2, q2, q3, q5, q6, q22, q23, q25 | 9586871745 | q78/p1, q79/p10,
  q55/p11, q88/p11, q89/p4, q90/p12, q91/p6, q103/p7, q59/p9, q120/p9, q60/p8,
  q121/p5, q122/p5, q61/p5
1.2.6 | q1, q2, q2, q3, q6, q10, q22, q23, q25 | 9441365626 | q78/p1, q79/p10,
  q55/p11, q88/p11, q89/p4, q90/p12, q91/p6, q103/p7, q59/p9, q123/p9, q60/p8,
  q124/p5, q125/p5, q126/p5, q61/p5
1.3.1 | q1, q2, q3, q4, q9, q2, q22, q23, q27 | 6449617227 | q127/p1, q128/p5,
  q55/p8, q59/p8, q60/p8, q129/p5, q61/p8
1.3.2 | q1, q2, q3, q4, q2, q3, q22, q23, q27 | 9480946163 | q78/p1, q79/p10,
  q55/p11, q84/p11, q89/p5, q130/p12, q131/p5, q59/p8, q60/p8, q61/p5
1.3.300 | q1, q2, q3, q12, q3, q12, q22, q23, q27 | 9705085820 | q78/p1, q79/p10,
  q55/p11, q89/p11, q132/p12, q133/p6, q134/p7, q135/p9, q59/p8, q60/p8, q136/p5,
  q61/p5
1.3.301 | q1, q2, q3, q12, q12, q4, q22, q23, q27 | 9620925968 | q78/p1, q79/p10,
  q55/p11, q89/p11, q137/p12, q133/p6, q138/p7, q59/p9, q139/p9, q60/p8, q140/p5,
  q61/p5
1.3.31 | q1, q2, q12, q4, q3, q4, q22, q23, q28 | 9464691910 | q78/p1, q79/p10,
  q55/p11, q89/p11, q141/p12, q142/p6, q143/p7, q144/p9, q59/p8, q60/p8, q145/p5,
  q61/p5
1.3.4 | q1, q2, q3, q4, q4, q5, q22, q23, q27 | 9729475175 | q78/p1, q79/p10,
  q55/p11, q89/p11, q146/p12, q142/p6, q143/p7, q59/p9, q147/p9, q60/p8, q148/p5,
  q149/p5, q61/p5
1.3.5 | q1, q2, q3, q4, q5, q6, q22, q23, q27 | 9558130186 | q78/p1, q79/p10,
  q55/p11, q89/p11, q146/p12, q142/p6, q143/p7, q59/p9, q150/p9, q60/p8, q151/p5,
  q152/p5, q61/p5
1.3.6 | q1, q2, q3, q4, q6, q10, q22, q23, q27 | 9475489421 | q78/p1, q79/p10,
  q55/p11, q89/p11, q146/p12, q142/p6, q143/p7, q59/p9, q153/p9, q60/p8, q154/p5,
  q155/p5, q156/p5, q61/p5
1.4.1 | q1, q2, q4, q5, q9, q2, q22, q23, q29 | 3536516001 | q157/p1, q158/p5,
  q55/p8, q62/p8, q159/p5, q59/p5, q60/p5, q160/p5, q61/p9
1.4.2 | q1, q2, q4, q5, q2, q3, q22, q23, q29 | 7215525338 | q78/p1, q79/p10,
  q55/p11, q62/p11, q161/p5, q162/p8, q59/p5, q163/p5, q60/p5, q61/p5
1.4.3 | q1, q2, q4, q5, q3, q4, q22, q23, q29 | 8991762613 | q78/p1, q79/p10,
  q55/p11, q89/p11, q164/p12, q165/p5, q59/p8, q166/p8, q167/p5, q60/p5, q61/p5
1.4.4 | q1, q2, q4, q5, q4, q5, q22, q23, q29 | 9308732008 | q78/p1, q79/p10,
  q55/p11, q89/p11, q168/p12, q169/p6, q170/p7, q59/p9, q171/p9, q166/p8, q172/p5,
  q60/p5, q173/p5, q61/p5
1.4.5 | q1, q2, q4, q5, q5, q6, q22, q23, q29 | 9354700644 | q78/p1, q79/p10,
  q55/p11, q89/p11, q168/p12, q169/p6, q170/p7, q59/p9, q174/p9, q175/p8, q60/p5,
  q176/p5, q177/p5, q61/p5
1.4.6 | q1, q2, q4, q5, q6, q10, q22, q23, q29 | 9341646303 | q78/p1, q79/p10,
  q55/p11, q89/p11, q168/p12, q169/p6, q170/p7, q59/p9, q178/p9, q179/p8, q60/p5,
  q180/p5, q181/p5, q61/p5
1.5.1 | q1, q2, q5, q6, q9, q2, q22, q23, q30 | 552895581 | q182/p1, q183/p5,
  q78/p8, q184/p5, q55/p5, q59/p5, q185/p5, q60/p5, q186/p5, q187/p5, q61/p2
1.5.2 | q1, q2, q5, q6, q2, q3, q22, q23, q30 | 3607316456 | q78/p1, q188/p10,
  q189/p5, q55/p8, q62/p8, q190/p5, q59/p5, q191/p5, q60/p5, q61/p5
1.5.3 | q1, q2, q5, q6, q3, q4, q22, q23, q30 | 6970186380 | q78/p1, q79/p10,
  q55/p11, q84/p11, q192/p5, q193/p8, q194/p5, q59/p5, q195/p5, q60/p5, q61/p5
1.5.4 | q1, q2, q5, q6, q4, q5, q22, q23, q30 | 8603105659 | q78/p1, q79/p10,
  q55/p11, q89/p11, q196/p12, q197/p5, q59/p8, q198/p8, q199/p5, q200/p5, q60/p5,
  q61/p5
1.5.5 | q1, q2, q5, q6, q5, q6, q22, q23, q30 | 9049546330 | q78/p1, q79/p10,
  q55/p11, q89/p11, q201/p12, q202/p6, q203/p7, q59/p9, q204/p9, q205/p8, q206/p9,
  q207/p5, q60/p5, q208/p5, q61/p5
1.5.6 | q1, q2, q5, q6, q6, q10, q22, q23, q30 | 9087748562 | q78/p1, q79/p10,
  q55/p11, q89/p11, q201/p12, q202/p6, q203/p7, q59/p9, q209/p9, q210/p5, q60/p5,
  q211/p5, q61/p5
2.1.1 | q2, q3, q8, q2, q9, q2, q22, q23, q31 | 7920739382 | q52/p1, q188/p2,
  q55/p5, q212/p5, q57/p6, q213/p7, q59/p8, q60/p8, q61/p8
2.1.2 | q2, q3, q8, q2, q2, q3, q22, q23, q31 | 9052400711 | q52/p1, q53/p2,
  q54/p3, q55/p4, q62/p4, q57/p6, q3/p7, q214/p9, q59/p8, q60/p8, q61/p8
2.1.3 | q2, q3, q8, q2, q3, q4, q22, q23, q31 | 9110759651 | q52/p1, q53/p2,
  q54/p3, q55/p4, q62/p4, q57/p6, q3/p7, q59/p9, q215/p9, q60/p8, q65/p8, q216/p5,
  q61/p5
2.1.4 | q2, q3, q8, q2, q4, q5, q22, q23, q31 | 8715844859 | q52/p1, q53/p2,
  q54/p3, q55/p4, q62/p4, q57/p6, q3/p7, q59/p9, q217/p9, q60/p8, q218/p5, q61/p5
2.1.5 | q2, q3, q8, q2, q5, q6, q22, q23, q31 | 8367018518 | q52/p1, q53/p2,
  q54/p3, q55/p4, q62/p4, q57/p6, q3/p7, q59/p9, q219/p9, q60/p8, q220/p5,
  q221/p5, q61/p5
2.1.6 | q2, q3, q8, q2, q6, q10, q22, q23, q31 | 8209085339 | q52/p1, q53/p2,
  q54/p3, q55/p4, q62/p4, q57/p6, q3/p7, q59/p9, q222/p9, q60/p8, q223/p5,
  q224/p5, q225/p5, q61/p5
2.2.1 | q2, q3, q2, q3, q9, q2, q22, q23, q25 | 7685640315 | q76/p1, q55/p5,
  q77/p5, q59/p8, q60/p8, q61/p8
2.2.2000 | q2, q11, q2, q11, q2, q11, q22, q23, q25 | 9828155537 | q226/p1,
  q227/p10, q55/p11, q80/p11, q228/p4, q81/p5, q82/p6, q83/p7, q59/p8, q60/p8,
  q61/p8
2.2.200100 | q2, q16, q2, q16, q11, q3, q22, q23, q25 | 9597921311 | q229/p1,
  q188/p10, q230/p2, q231/p10, q55/p11, q62/p11, q232/p3, q233/p4, q234/p6,
  q235/p7, q86/p9, q59/p8, q60/p8, q65/p8, q61/p5
2.2.200101 | q2, q16, q16, q11, q11, q3, q22, q23, q32 | 9759818738 | q229/p1,
  q231/p10, q55/p11, q80/p11, q84/p4, q82/p6, q97/p7, q236/p9, q59/p8, q60/p8,
  q65/p8, q61/p5
2.2.20011 | q16, q11, q2, q11, q11, q3, q22, q33, q34 | 8958965810 | q226/p1,
  q237/p10, q238/p2, q227/p10, q55/p11, q239/p11, q240/p4, q241/p6, q89/p7,
  q242/p9, q59/p8, q60/p8, q243/p5, q61/p5
2.2.2010 | q2, q11, q11, q3, q2, q11, q22, q23, q26 | 9381789756 | q226/p1,
  q244/p10, q53/p5, q227/p10, q55/p11, q233/p11, q87/p5, q59/p8, q60/p8, q65/p8,
  q61/p5
2.2.20110 | q2, q16, q11, q3, q11, q3, q22, q23, q26 | 9834181807 | q229/p1,
  q231/p10, q55/p11, q88/p11, q89/p5, q90/p12, q91/p6, q92/p7, q59/p8, q60/p8,
  q93/p5, q61/p5
2.2.20111 | q16, q11, q11, q3, q11, q3, q22, q33, q35 | 9146056545 | q226/p1,
  q227/p10, q55/p11, q245/p11, q246/p4, q247/p5, q248/p6, q249/p7, q59/p8, q60/p8,
  q250/p5, q61/p5
2.2.21 | q11, q3, q2, q3, q2, q3, q22, q36, q37 | 8488117530 | q251/p1, q252/p10,
  q55/p11, q253/p11, q254/p5, q255/p6, q256/p7, q59/p8, q60/p5, q257/p5, q61/p5
2.2.3000000 | q2, q16, q2, q16, q3, q13, q22, q23, q25 | 9590049677 | q229/p1,
  q188/p10, q238/p2, q231/p10, q55/p11, q62/p11, q232/p3, q233/p4, q234/p6,
  q235/p7, q95/p9, q59/p8, q60/p8, q65/p8, q96/p5, q61/p5
2.2.3000001 | q2, q16, q16, q11, q3, q13, q22, q23, q32 | 9769150665 | q229/p1,
  q231/p10, q55/p11, q80/p11, q84/p4, q82/p6, q97/p7, q258/p9, q59/p8, q60/p8,
  q259/p5, q61/p5
2.2.300001 | q16, q11, q2, q11, q3, q13, q22, q33, q34 | 8977335881 | q226/p1,
  q237/p10, q238/p2, q227/p10, q55/p11, q239/p11, q240/p4, q241/p6, q89/p7,
  q260/p9, q59/p8, q60/p8, q261/p5, q61/p5
2.2.3000100 | q2, q16, q2, q16, q13, q12, q22, q23, q25 | 9535118640 | q229/p1,
  q188/p10, q238/p2, q231/p10, q55/p11, q62/p11, q232/p3, q233/p4, q234/p6,
  q235/p7, q59/p9, q98/p9, q60/p8, q99/p5, q61/p5
2.2.3000101 | q2, q16, q16, q11, q13, q12, q22, q23, q32 | 9692078961 | q229/p1,
  q231/p10, q55/p11, q80/p11, q84/p4, q82/p6, q97/p7, q59/p9, q262/p9, q60/p8,
  q263/p5, q61/p5
2.2.300011 | q16, q11, q2, q11, q13, q12, q22, q33, q34 | 8945868546 | q226/p1,
  q237/p10, q238/p2, q227/p10, q55/p11, q239/p11, q240/p4, q241/p6, q89/p7,
  q264/p9, q59/p8, q60/p8, q265/p5, q61/p5
2.2.3001000 | q2, q16, q11, q17, q3, q13, q22, q23, q26 | 9774401951 | q229/p1,
  q231/p10, q55/p11, q266/p11, q267/p4, q268/p6, q100/p7, q101/p9, q59/p8, q60/p8,
  q102/p5, q61/p5
2.2.3001001 | q2, q16, q17, q3, q3, q13, q22, q23, q38 | 9682864996 | q229/p1,
  q231/p10, q55/p11, q88/p11, q269/p4, q89/p6, q90/p12, q91/p6, q270/p7, q59/p8,
  q60/p8, q271/p5, q61/p5
2.2.300101 | q16, q11, q11, q3, q3, q13, q22, q33, q35 | 9244777352 | q226/p1,
  q227/p10, q55/p11, q245/p11, q247/p4, q248/p6, q272/p7, q273/p9, q59/p8, q60/p8,
  q274/p5, q61/p5
2.2.300110 | q2, q16, q11, q3, q13, q12, q22, q23, q26 | 9818480515 | q229/p1,
  q231/p10, q55/p11, q88/p11, q269/p4, q89/p6, q90/p12, q91/p6, q103/p7, q104/p9,
  q59/p8, q60/p8, q105/p5, q61/p5
2.2.300111 | q16, q11, q11, q3, q13, q12, q22, q33, q35 | 9250093972 | q226/p1,
  q227/p10, q55/p11, q245/p11, q247/p4, q248/p6, q272/p7, q275/p9, q59/p8, q60/p8,
  q276/p5, q61/p5
2.2.301 | q11, q3, q2, q3, q3, q12, q22, q36, q37 | 8709246387 | q251/p1,
  q252/p10, q55/p11, q253/p11, q277/p4, q255/p6, q278/p7, q279/p9, q59/p8, q60/p8,
  q280/p5, q61/p5
2.2.31000 | q2, q11, q2, q11, q12, q18, q22, q23, q25 | 9842159855 | q226/p1,
  q227/p10, q55/p11, q80/p11, q84/p4, q82/p6, q97/p7, q59/p9, q281/p9, q60/p8,
  q108/p5, q61/p5
2.2.31001 | q2, q11, q2, q11, q18, q4, q22, q23, q25 | 9747501514 | q226/p1,
  q227/p10, q55/p11, q80/p11, q106/p4, q82/p6, q97/p7, q59/p9, q107/p9, q60/p8,
  q282/p5, q61/p5
2.2.310100 | q2, q16, q11, q3, q12, q18, q22, q23, q26 | 9760905063 | q229/p1,
  q231/p10, q55/p11, q88/p11, q269/p4, q89/p6, q90/p12, q91/p6, q103/p7, q59/p9,
  q283/p9, q60/p8, q110/p5, q61/p5
2.2.310101 | q16, q11, q11, q3, q12, q18, q22, q33, q35 | 9229547752 | q226/p1,
  q227/p10, q55/p11, q245/p11, q247/p4, q248/p6, q272/p7, q284/p9, q59/p8, q60/p8,
  q285/p5, q61/p5
2.2.31011 | q2, q11, q11, q3, q18, q4, q22, q23, q26 | 9795779148 | q226/p1,
  q227/p10, q55/p11, q88/p11, q269/p4, q89/p6, q90/p12, q91/p6, q103/p7, q59/p9,
  q109/p9, q60/p8, q286/p5, q61/p5
2.2.311 | q11, q3, q2, q3, q12, q4, q22, q36, q37 | 8681655517 | q251/p1,
  q252/p10, q55/p11, q253/p11, q277/p4, q255/p6, q278/p7, q287/p9, q59/p8, q60/p8,
  q288/p5, q61/p5
2.2.40000 | q2, q11, q2, q11, q4, q15, q22, q23, q25 | 9714864820 | q226/p1,
  q227/p10, q55/p11, q80/p11, q84/p4, q82/p6, q97/p7, q59/p9, q111/p9, q60/p8,
  q112/p5, q61/p5
2.2.40001 | q2, q11, q11, q3, q4, q15, q22, q23, q26 | 9785722508 | q226/p1,
  q227/p10, q55/p11, q88/p11, q289/p4, q89/p6, q90/p12, q91/p6, q103/p7, q59/p9,
  q290/p9, q60/p8, q291/p5, q292/p5, q61/p5
2.2.4001 | q11, q3, q2, q3, q4, q15, q22, q36, q37 | 8646959972 | q251/p1,
  q252/p10, q55/p11, q253/p11, q277/p4, q255/p6, q278/p7, q59/p9, q293/p9, q60/p8,
  q294/p5, q295/p5, q61/p5
2.2.40100 | q2, q11, q2, q11, q15, q14, q22, q23, q25 | 9596327429 | q226/p1,
  q227/p10, q55/p11, q80/p11, q84/p4, q82/p6, q97/p7, q59/p9, q113/p9, q60/p8,
  q114/p5, q115/p5, q61/p5
2.2.40101 | q2, q11, q11, q3, q15, q14, q22, q23, q26 | 9704475537 | q226/p1,
  q227/p10, q55/p11, q88/p11, q269/p4, q89/p6, q90/p12, q91/p6, q103/p7, q59/p9,
  q296/p9, q60/p8, q297/p5, q298/p5, q61/p5
2.2.4011 | q11, q3, q2, q3, q15, q14, q22, q36, q37 | 8626885005 | q251/p1,
  q252/p10, q55/p11, q253/p11, q277/p4, q255/p6, q278/p7, q59/p9, q299/p9, q60/p8,
  q300/p5, q301/p5, q61/p5
2.2.4100 | q2, q11, q2, q3, q14, q19, q22, q23, q25 | 9800060112 | q226/p1,
  q227/p10, q55/p11, q88/p11, q269/p4, q89/p6, q90/p12, q91/p6, q103/p7, q59/p9,
  q302/p9, q60/p8, q118/p5, q119/p5, q61/p5
2.2.4101 | q11, q3, q2, q3, q14, q19, q22, q36, q37 | 8617114582 | q251/p1,
  q252/p10, q55/p11, q253/p11, q277/p4, q255/p6, q278/p7, q59/p9, q303/p9, q60/p8,
  q304/p5, q305/p5, q61/p5
2.2.4110 | q2, q11, q2, q3, q19, q5, q22, q23, q25 | 9749011591 | q226/p1,
  q227/p10, q55/p11, q88/p11, q269/p4, q89/p6, q90/p12, q91/p6, q116/p7, q59/p9,
  q117/p9, q60/p8, q306/p5, q307/p5, q61/p5
2.2.4111 | q11, q3, q2, q3, q19, q5, q22, q36, q37 | 8612653302 | q251/p1,
  q252/p10, q55/p11, q253/p11, q277/p4, q255/p6, q278/p7, q59/p9, q308/p9, q60/p8,
  q309/p5, q310/p5, q61/p5
2.2.500 | q2, q3, q2, q3, q5, q21, q22, q23, q25 | 9843027297 | q251/p1, q252/p10,
  q55/p11, q88/p11, q269/p4, q89/p6, q90/p12, q91/p6, q103/p7, q59/p9, q311/p9,
  q60/p8, q121/p5, q122/p5, q61/p5
2.2.501 | q2, q3, q2, q3, q21, q20, q22, q23, q25 | 9793607524 | q251/p1,
  q252/p10, q55/p11, q88/p11, q269/p4, q89/p6, q90/p12, q91/p6, q103/p7, q59/p9,
  q312/p9, q60/p8, q313/p5, q314/p5, q315/p5, q61/p5
2.2.51 | q2, q3, q2, q3, q20, q6, q22, q23, q25 | 9775856351 | q251/p1, q252/p10,
  q55/p11, q88/p11, q269/p4, q89/p6, q90/p12, q91/p6, q103/p7, q59/p9, q120/p9,
  q60/p8, q316/p5, q317/p5, q318/p5, q61/p5
2.2.6 | q2, q3, q2, q3, q6, q10, q22, q23, q25 | 9748565162 | q251/p1, q252/p10,
  q55/p11, q88/p11, q269/p4, q89/p6, q90/p12, q91/p6, q103/p7, q59/p9, q123/p9,
  q60/p8, q124/p5, q125/p5, q126/p5, q61/p5
2.3.1 | q2, q3, q3, q4, q9, q2, q22, q23, q27 | 6449617227 | q127/p1, q128/p5,
  q55/p8, q59/p8, q60/p8, q129/p5, q61/p8
2.3.2 | q2, q3, q3, q4, q2, q3, q22, q23, q27 | 9798732643 | q251/p1, q252/p10,
  q55/p11, q84/p11, q89/p5, q130/p12, q131/p5, q59/p8, q60/p8, q61/p5
2.3.300000 | q2, q11, q3, q13, q3, q13, q22, q23, q27 | 9667303744 | q226/p1,
  q227/p10, q55/p11, q319/p11, q89/p4, q320/p12, q321/p6, q322/p7, q59/p8, q60/p8,
  q136/p5, q61/p5
2.3.300001 | q2, q11, q3, q13, q13, q12, q22, q23, q27 | 9690356123 | q226/p1,
  q227/p10, q55/p11, q319/p11, q89/p4, q320/p12, q321/p6, q323/p7, q135/p9,
  q59/p8, q60/p8, q324/p5, q61/p5
2.3.30001 | q2, q11, q13, q12, q3, q12, q22, q23, q39 | 9587539667 | q226/p1,
  q227/p10, q55/p11, q89/p11, q137/p12, q133/p6, q325/p7, q59/p8, q60/p8, q326/p5,
  q61/p5
2.3.3001 | q11, q3, q3, q12, q3, q12, q22, q36, q40 | 8918142977 | q251/p1,
  q252/p10, q55/p11, q327/p11, q328/p6, q329/p7, q330/p9, q59/p8, q331/p5, q60/p5,
  q61/p5
2.3.3010 | q2, q11, q3, q12, q12, q4, q22, q23, q27 | 9802281352 | q226/p1,
  q227/p10, q55/p11, q89/p11, q137/p12, q133/p6, q138/p7, q59/p9, q139/p9, q60/p8,
  q140/p5, q61/p5
2.3.3011 | q11, q3, q3, q12, q12, q4, q22, q36, q40 | 9012312271 | q251/p1,
  q252/p10, q55/p11, q327/p11, q328/p6, q329/p7, q332/p9, q59/p8, q333/p8,
  q334/p5, q60/p5, q335/p5, q61/p5
2.3.31 | q2, q3, q12, q4, q3, q4, q22, q23, q28 | 9758919231 | q251/p1, q252/p10,
  q55/p11, q89/p11, q141/p12, q142/p6, q143/p7, q144/p9, q59/p8, q60/p8, q145/p5,
  q61/p5
2.3.4000 | q2, q3, q3, q12, q4, q15, q22, q23, q27 | 9838936457 | q251/p1,
  q252/p10, q55/p11, q89/p11, q137/p12, q133/p6, q134/p7, q59/p9, q336/p9, q60/p8,
  q148/p5, q149/p5, q61/p5
2.3.4001 | q2, q3, q3, q12, q15, q14, q22, q23, q27 | 9789190997 | q251/p1,
  q252/p10, q55/p11, q89/p11, q137/p12, q133/p6, q134/p7, q59/p9, q337/p9, q60/p8,
  q338/p5, q339/p5, q61/p5
2.3.401 | q2, q3, q12, q4, q4, q14, q22, q23, q28 | 9679154959 | q251/p1,
  q252/p10, q55/p11, q89/p11, q146/p12, q142/p6, q143/p7, q59/p9, q340/p9, q60/p8,
  q341/p5, q342/p5, q61/p5
2.3.41 | q2, q3, q3, q4, q14, q5, q22, q23, q27 | 9840821240 | q251/p1, q252/p10,
  q55/p11, q89/p11, q146/p12, q142/p6, q143/p7, q59/p9, q147/p9, q60/p8, q343/p5,
  q344/p5, q61/p5
2.3.50 | q2, q3, q3, q4, q5, q20, q22, q23, q27 | 9822049695 | q251/p1, q252/p10,
  q55/p11, q89/p11, q146/p12, q142/p6, q143/p7, q59/p9, q345/p9, q60/p8, q151/p5,
  q152/p5, q61/p5
2.3.51 | q2, q3, q3, q4, q20, q6, q22, q23, q27 | 9776264835 | q251/p1, q252/p10,
  q55/p11, q89/p11, q146/p12, q142/p6, q143/p7, q59/p9, q150/p9, q60/p8, q346/p5,
  q347/p5, q348/p5, q61/p5
2.3.6 | q2, q3, q3, q4, q6, q10, q22, q23, q27 | 9769716742 | q251/p1, q252/p10,
  q55/p11, q89/p11, q146/p12, q142/p6, q143/p7, q59/p9, q153/p9, q60/p8, q154/p5,
  q155/p5, q156/p5, q61/p5
2.4.1 | q2, q3, q4, q5, q9, q2, q22, q23, q29 | 3535448979 | q157/p1, q158/p5,
  q55/p8, q233/p8, q159/p5, q59/p5, q60/p5, q160/p5, q61/p9
2.4.2 | q2, q3, q4, q5, q2, q3, q22, q23, q29 | 7515564556 | q251/p1, q244/p10,
  q238/p5, q252/p10, q55/p11, q62/p11, q161/p5, q162/p8, q59/p5, q163/p5, q60/p5,
  q61/p5
2.4.3 | q2, q3, q4, q5, q3, q4, q22, q23, q29 | 9285989934 | q251/p1, q252/p10,
  q55/p11, q89/p11, q164/p12, q165/p5, q59/p8, q166/p8, q167/p5, q60/p5, q61/p5
2.4.4 | q2, q3, q4, q5, q4, q5, q22, q23, q29 | 9602959329 | q251/p1, q252/p10,
  q55/p11, q89/p11, q168/p12, q169/p6, q170/p7, q59/p9, q171/p9, q166/p8, q172/p5,
  q60/p5, q173/p5, q61/p5
2.4.5 | q2, q3, q4, q5, q5, q6, q22, q23, q29 | 9648927965 | q251/p1, q252/p10,
  q55/p11, q89/p11, q168/p12, q169/p6, q170/p7, q59/p9, q174/p9, q175/p8, q60/p5,
  q176/p5, q177/p5, q61/p5
2.4.6 | q2, q3, q4, q5, q6, q10, q22, q23, q29 | 9635873624 | q251/p1, q252/p10,
  q55/p11, q89/p11, q168/p12, q169/p6, q170/p7, q59/p9, q178/p9, q179/p8, q60/p5,
  q180/p5, q181/p5, q61/p5
2.5.1 | q2, q3, q5, q6, q9, q2, q22, q23, q30 | 552899477 | q182/p1, q183/p5,
  q349/p8, q184/p5, q55/p5, q59/p5, q185/p5, q60/p5, q186/p5, q187/p5, q61/p2
2.5.2 | q2, q3, q5, q6, q2, q3, q22, q23, q30 | 3607844831 | q350/p1, q189/p5,
  q55/p8, q62/p8, q190/p5, q59/p5, q191/p5, q60/p5, q61/p5
2.5.3 | q2, q3, q5, q6, q3, q4, q22, q23, q30 | 7287972860 | q251/p1, q252/p10,
  q55/p11, q84/p11, q192/p5, q193/p8, q194/p5, q59/p5, q195/p5, q60/p5, q61/p5
2.5.4 | q2, q3, q5, q6, q4, q5, q22, q23, q30 | 8897332980 | q251/p1, q252/p10,
  q55/p11, q89/p11, q196/p12, q197/p5, q59/p8, q198/p8, q199/p5, q200/p5, q60/p5,
  q61/p5
2.5.5 | q2, q3, q5, q6, q5, q6, q22, q23, q30 | 9343773651 | q251/p1, q252/p10,
  q55/p11, q89/p11, q201/p12, q202/p6, q203/p7, q59/p9, q204/p9, q205/p8, q206/p9,
  q207/p5, q60/p5, q208/p5, q61/p5
2.5.6 | q2, q3, q5, q6, q6, q10, q22, q23, q30 | 9381975883 | q251/p1, q252/p10,
  q55/p11, q89/p11, q201/p12, q202/p6, q203/p7, q59/p9, q209/p9, q210/p5, q60/p5,
  q211/p5, q61/p5
3.1.1 | q3, q4, q8, q2, q9, q2, q22, q41, q42 | 2154636077 | q351/p1, q352/p5,
  q353/p8, q55/p5, q354/p5, q59/p5, q60/p5, q61/p5
3.1.2 | q3, q4, q8, q2, q2, q3, q22, q41, q42 | 3645323893 | q355/p1, q356/p2,
  q357/p3, q188/p4, q358/p6, q359/p7, q55/p9, q360/p9, q361/p8, q362/p5, q59/p5,
  q60/p5, q61/p5
3.1.3 | q3, q4, q8, q2, q3, q4, q22, q41, q42 | 4089383225 | q355/p1, q356/p2,
  q357/p3, q188/p4, q358/p6, q359/p7, q55/p9, q363/p9, q59/p8, q364/p5, q60/p5,
  q365/p5, q61/p5
3.1.4 | q3, q4, q8, q2, q4, q5, q22, q41, q42 | 4231424397 | q355/p1, q356/p2,
  q357/p3, q188/p4, q358/p6, q359/p7, q55/p9, q59/p9, q366/p9, q367/p8, q60/p5,
  q368/p5, q61/p5
3.1.5 | q3, q4, q8, q2, q5, q6, q22, q41, q42 | 4279166088 | q355/p1, q356/p2,
  q357/p3, q188/p4, q358/p6, q359/p7, q55/p9, q59/p9, q369/p9, q370/p8, q60/p5,
  q371/p5, q372/p5, q61/p5
3.1.6 | q3, q4, q8, q2, q6, q10, q22, q41, q42 | 4292349732 | q355/p1, q356/p2,
  q357/p3, q188/p4, q358/p6, q359/p7, q55/p9, q59/p9, q373/p9, q374/p8, q60/p5,
  q375/p5, q376/p5, q61/p5
3.2.1 | q3, q4, q2, q3, q9, q2, q22, q41, q42 | 2154636077 | q351/p1, q352/p5,
  q353/p8, q55/p5, q354/p5, q59/p5, q60/p5, q61/p5
3.2.2 | q3, q4, q2, q3, q2, q3, q22, q41, q42 | 6018827991 | q377/p1, q55/p5,
  q62/p5, q360/p6, q89/p8, q362/p5, q59/p5, q60/p5, q61/p5
3.2.3 | q3, q4, q2, q3, q3, q4, q22, q41, q42 | 7042074243 | q377/p1, q238/p2,
  q378/p3, q55/p4, q379/p4, q360/p6, q380/p7, q363/p9, q59/p8, q364/p5, q60/p5,
  q365/p5, q61/p5
3.2.4 | q3, q4, q2, q3, q4, q5, q22, q41, q42 | 7217134570 | q377/p1, q238/p2,
  q378/p3, q55/p4, q379/p4, q360/p6, q380/p7, q59/p9, q366/p9, q367/p8, q60/p5,
  q368/p5, q61/p5
3.2.5 | q3, q4, q2, q3, q5, q6, q22, q41, q42 | 7253547336 | q377/p1, q238/p2,
  q378/p3, q55/p4, q379/p4, q360/p6, q380/p7, q59/p9, q369/p9, q370/p8, q60/p5,
  q371/p5, q372/p5, q61/p5
3.2.6 | q3, q4, q2, q3, q6, q10, q22, q41, q42 | 7259883971 | q377/p1, q238/p2,
  q378/p3, q55/p4, q379/p4, q360/p6, q380/p7, q59/p9, q373/p9, q374/p8, q60/p5,
  q375/p5, q376/p5, q61/p5
3.3.1 | q3, q4, q3, q4, q9, q2, q22, q41, q42 | 2154636077 | q351/p1, q352/p5,
  q353/p8, q55/p5, q354/p5, q59/p5, q60/p5, q61/p5
3.3.2 | q3, q4, q3, q4, q2, q3, q22, q41, q42 | 6022533112 | q377/p1, q55/p5,
  q360/p5, q381/p8, q362/p5, q59/p5, q60/p5, q61/p5
3.3.3 | q3, q4, q3, q4, q3, q4, q22, q41, q42 | 8480852554 | q353/p1, q382/p10,
  q55/p11, q383/p11, q384/p6, q385/p7, q363/p9, q59/p8, q364/p5, q60/p5, q365/p5,
  q61/p5
3.3.4 | q3, q4, q3, q4, q4, q5, q22, q41, q42 | 8732382922 | q353/p1, q382/p10,
  q55/p11, q383/p11, q384/p6, q386/p7, q59/p9, q366/p9, q367/p8, q60/p5, q368/p5,
  q61/p5
3.3.5 | q3, q4, q3, q4, q5, q6, q22, q41, q42 | 8741648879 | q353/p1, q382/p10,
  q55/p11, q383/p11, q384/p6, q386/p7, q59/p9, q370/p9, q60/p5, q371/p5, q372/p5,
  q61/p5
3.3.6 | q3, q4, q3, q4, q6, q10, q22, q41, q42 | 8738018972 | q353/p1, q382/p10,
  q55/p11, q383/p11, q384/p6, q386/p7, q59/p9, q374/p9, q60/p5, q375/p5, q376/p5,
  q61/p5
3.4.1 | q3, q4, q4, q5, q9, q2, q22, q41, q43 | 827378725 | q387/p1, q388/p5,
  q356/p8, q389/p5, q55/p5, q59/p5, q60/p5, q61/p5
3.4.2 | q3, q4, q4, q5, q2, q3, q22, q41, q43 | 4137412312 | q390/p1, q391/p5,
  q55/p8, q392/p8, q393/p5, q59/p5, q60/p5, q394/p5, q61/p5
3.4.3 | q3, q4, q4, q5, q3, q4, q22, q41, q43 | 7752607405 | q353/p1, q382/p10,
  q55/p11, q395/p11, q396/p5, q397/p8, q398/p5, q59/p5, q60/p5, q399/p5, q61/p5
3.4.4 | q3, q4, q4, q5, q4, q5, q22, q41, q43 | 8904086860 | q353/p1, q382/p10,
  q55/p11, q89/p11, q400/p12, q401/p6, q397/p7, q402/p9, q59/p8, q403/p9, q60/p5,
  q404/p5, q61/p5
3.4.5 | q3, q4, q4, q5, q5, q6, q22, q41, q43 | 8999856911 | q353/p1, q382/p10,
  q55/p11, q89/p11, q400/p12, q401/p6, q397/p7, q59/p9, q405/p9, q60/p5, q406/p5,
  q407/p5, q61/p5
3.4.6 | q3, q4, q4, q5, q6, q10, q22, q41, q43 | 9021032722 | q353/p1, q382/p10,
  q55/p11, q89/p11, q400/p12, q401/p6, q397/p7, q59/p9, q408/p9, q60/p5, q409/p5,
  q410/p5, q61/p5
3.5.1 | q3, q4, q5, q6, q9, q2, q22, q41, q44 | 42250342 | q411/p1, q412/p5,
  q413/p8, q414/p5, q415/p5, q55/p5, q59/p5, q60/p5, q61/p5
3.5.2 | q3, q4, q5, q6, q2, q3, q22, q41, q44 | 1821879815 | q416/p1, q417/p5,
  q53/p8, q418/p5, q55/p5, q419/p5, q59/p5, q60/p5, q61/p5
3.5.3 | q3, q4, q5, q6, q3, q4, q22, q41, q44 | 6165846299 | q353/p1, q382/p10,
  q55/p11, q420/p11, q421/p5, q422/p8, q423/p5, q59/p5, q60/p5, q61/p5
3.5.4 | q3, q4, q5, q6, q4, q5, q22, q41, q44 | 8333802651 | q353/p1, q382/p10,
  q55/p11, q89/p11, q424/p12, q425/p5, q426/p8, q427/p5, q59/p5, q428/p5, q60/p5,
  q429/p5, q61/p5
3.5.5 | q3, q4, q5, q6, q5, q6, q22, q41, q44 | 9004478386 | q353/p1, q382/p10,
  q55/p11, q89/p11, q430/p12, q431/p6, q426/p7, q59/p9, q432/p9, q433/p5, q60/p5,
  q434/p5, q61/p5
3.5.6 | q3, q4, q5, q6, q6, q10, q22, q41, q44 | 9049123384 | q353/p1, q382/p10,
  q55/p11, q89/p11, q430/p12, q431/p6, q426/p7, q59/p9, q435/p9, q436/p9, q437/p5,
  q60/p5, q438/p5, q61/p5
4.1.1 | q4, q5, q8, q2, q9, q2, q22, q45, q46 | 488192 | q439/p1, q440/p5,
  q441/p8, q442/p5, q443/p5, q55/p5, q59/p5, q60/p5, q61/p5
4.1.2 | q4, q5, q8, q2, q2, q3, q22, q45, q46 | 247128599 | q444/p1, q445/p2,
  q446/p3, q447/p4, q448/p6, q449/p7, q450/p9, q244/p9, q451/p5, q55/p5, q59/p5,
  q60/p5, q61/p5
4.1.3 | q4, q5, q8, q2, q3, q4, q22, q45, q46 | 581437201 | q444/p1, q445/p2,
  q446/p3, q447/p4, q448/p6, q449/p7, q450/p9, q55/p9, q84/p9, q452/p5, q59/p5,
  q60/p5, q61/p5
4.1.4 | q4, q5, q8, q2, q4, q5, q22, q45, q46 | 783353888 | q444/p1, q445/p2,
  q446/p3, q447/p4, q448/p6, q449/p7, q450/p9, q55/p9, q453/p9, q59/p5, q454/p5,
  q60/p5, q455/p5, q61/p5
4.1.5 | q4, q5, q8, q2, q5, q6, q22, q45, q46 | 881224240 | q444/p1, q445/p2,
  q446/p3, q447/p4, q448/p6, q449/p7, q450/p9, q55/p9, q59/p9, q456/p9, q457/p5,
  q60/p5, q458/p5, q61/p5
4.1.6 | q4, q5, q8, q2, q6, q10, q22, q45, q46 | 915530428 | q444/p1, q445/p2,
  q446/p3, q447/p4, q448/p6, q449/p7, q450/p9, q55/p9, q59/p9, q459/p9, q460/p5,
  q60/p5, q461/p5, q61/p5
4.2.1 | q4, q5, q2, q3, q9, q2, q22, q45, q46 | 488192 | q439/p1, q440/p5,
  q441/p8, q442/p5, q443/p5, q55/p5, q59/p5, q60/p5, q61/p5
4.2.2 | q4, q5, q2, q3, q2, q3, q22, q45, q46 | 922675485 | q462/p1, q463/p5,
  q237/p8, q464/p5, q451/p5, q55/p5, q59/p5, q60/p5, q61/p5
4.2.3 | q4, q5, q2, q3, q3, q4, q22, q45, q46 | 2196469305 | q465/p1, q188/p2,
  q466/p3, q467/p4, q468/p6, q469/p7, q55/p9, q470/p9, q471/p9, q452/p5, q59/p5,
  q60/p5, q61/p5
4.2.4 | q4, q5, q2, q3, q4, q5, q22, q45, q46 | 2455992309 | q465/p1, q188/p2,
  q466/p3, q467/p4, q468/p6, q469/p7, q55/p9, q470/p9, q453/p9, q59/p5, q454/p5,
  q60/p5, q455/p5, q61/p5
4.2.5 | q4, q5, q2, q3, q5, q6, q22, q45, q46 | 2556650998 | q465/p1, q188/p2,
  q466/p3, q467/p4, q468/p6, q469/p7, q55/p9, q470/p9, q59/p9, q456/p9, q457/p5,
  q60/p5, q458/p5, q61/p5
4.2.6 | q4, q5, q2, q3, q6, q10, q22, q45, q46 | 2588768707 | q465/p1, q188/p2,
  q466/p3, q467/p4, q468/p6, q469/p7, q55/p9, q470/p9, q59/p9, q459/p9, q460/p5,
  q60/p5, q461/p5, q61/p5
4.3.1 | q4, q5, q3, q4, q9, q2, q22, q45, q46 | 488192 | q439/p1, q440/p5,
  q441/p8, q442/p5, q443/p5, q55/p5, q59/p5, q60/p5, q61/p5
4.3.2 | q4, q5, q3, q4, q2, q3, q22, q45, q46 | 922675485 | q462/p1, q463/p5,
  q237/p8, q464/p5, q451/p5, q55/p5, q59/p5, q60/p5, q61/p5
4.3.3 | q4, q5, q3, q4, q3, q4, q22, q45, q46 | 5027007200 | q472/p1, q55/p5,
  q473/p5, q474/p6, q475/p8, q471/p5, q452/p5, q59/p5, q60/p5, q61/p5
4.3.4 | q4, q5, q3, q4, q4, q5, q22, q45, q46 | 5835610170 | q472/p1, q238/p2,
  q476/p3, q55/p4, q477/p4, q474/p6, q62/p7, q452/p9, q453/p9, q59/p5, q454/p5,
  q60/p5, q455/p5, q61/p5
4.3.5 | q4, q5, q3, q4, q5, q6, q22, q45, q46 | 5942796342 | q472/p1, q238/p2,
  q476/p3, q55/p4, q477/p4, q474/p6, q62/p7, q452/p9, q59/p9, q456/p9, q457/p5,
  q60/p5, q458/p5, q61/p5
4.3.6 | q4, q5, q3, q4, q6, q10, q22, q45, q46 | 5971495707 | q472/p1, q238/p2,
  q476/p3, q55/p4, q477/p4, q474/p6, q62/p7, q452/p9, q59/p9, q459/p9, q460/p5,
  q60/p5, q461/p5, q61/p5
4.4.1 | q4, q5, q4, q5, q9, q2, q22, q45, q46 | 488192 | q439/p1, q440/p5,
  q441/p8, q442/p5, q443/p5, q55/p5, q59/p5, q60/p5, q61/p5
4.4.2 | q4, q5, q4, q5, q2, q3, q22, q45, q46 | 922675485 | q462/p1, q463/p5,
  q237/p8, q464/p5, q451/p5, q55/p5, q59/p5, q60/p5, q61/p5
4.4.3 | q4, q5, q4, q5, q3, q4, q22, q45, q46 | 5008677499 | q472/p1, q55/p5,
  q474/p5, q478/p8, q471/p5, q452/p5, q59/p5, q60/p5, q61/p5
4.4.4 | q4, q5, q4, q5, q4, q5, q22, q45, q46 | 7192826215 | q479/p1, q480/p10,
  q55/p11, q478/p11, q481/p13, q482/p9, q483/p8, q453/p9, q59/p5, q454/p5, q60/p5,
  q455/p5, q61/p5
4.4.5 | q4, q5, q4, q5, q5, q6, q22, q45, q46 | 7325329231 | q479/p1, q480/p10,
  q55/p11, q478/p11, q89/p13, q484/p9, q59/p9, q456/p9, q457/p5, q60/p5, q458/p5,
  q61/p5
4.4.6 | q4, q5, q4, q5, q6, q10, q22, q45, q46 | 7344866714 | q479/p1, q480/p10,
  q55/p11, q478/p11, q89/p13, q484/p9, q59/p9, q460/p9, q60/p5, q461/p5, q61/p5
4.5.1 | q4, q5, q5, q6, q9, q2, q22, q45, q47 | 4 | q55/p5, q59/p5, q60/p5, q61/p5
4.5.2 | q4, q5, q5, q6, q2, q3, q22, q45, q47 | 335312591 | q485/p1, q486/p5,
  q349/p8, q487/p5, q488/p5, q55/p5, q489/p5, q59/p5, q60/p5, q61/p5
4.5.3 | q4, q5, q5, q6, q3, q4, q22, q45, q47 | 3551684316 | q490/p1, q491/p5,
  q480/p8, q55/p5, q492/p5, q493/p5, q59/p5, q494/p5, q60/p5, q61/p5
4.5.4 | q4, q5, q5, q6, q4, q5, q22, q45, q47 | 6813484973 | q479/p1, q480/p10,
  q55/p11, q495/p11, q496/p13, q89/p8, q497/p5, q498/p5, q59/p5, q499/p5, q60/p5,
  q61/p5
4.5.5 | q4, q5, q5, q6, q5, q6, q22, q45, q47 | 7473383601 | q479/p1, q480/p10,
  q55/p11, q475/p11, q500/p13, q501/p9, q59/p9, q502/p9, q503/p5, q504/p5, q60/p5,
  q61/p5
4.5.6 | q4, q5, q5, q6, q6, q10, q22, q45, q47 | 7499001496 | q479/p1, q480/p10,
  q55/p11, q475/p11, q500/p13, q501/p9, q59/p9, q505/p9, q506/p5, q60/p5, q61/p5
5.1.1 | q5, q6, q8, q2, q9, q2, q22, q48, q49 | 6 | q507/p2, q55/p5, q59/p5,
  q60/p5, q508/p5, q61/p14
5.1.2 | q5, q6, q8, q2, q2, q3, q22, q48, q49 | 21 | q507/p2, q509/p2, q351/p5,
  q55/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.1.3 | q5, q6, q8, q2, q3, q4, q22, q48, q49 | 1128996 | q507/p2, q244/p2,
  q510/p5, q55/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.1.4 | q5, q6, q8, q2, q4, q5, q22, q48, q49 | 5581384 | q507/p2, q55/p2, q84/p2,
  q511/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.1.5 | q5, q6, q8, q2, q5, q6, q22, q48, q49 | 11913851 | q507/p2, q55/p2,
  q512/p2, q513/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.1.6 | q5, q6, q8, q2, q6, q10, q22, q48, q49 | 13159912 | q507/p2, q55/p2,
  q59/p2, q514/p5, q60/p5, q508/p5, q61/p14
5.2.1 | q5, q6, q2, q3, q9, q2, q22, q48, q49 | 5 | q55/p5, q59/p5, q60/p5,
  q508/p5, q61/p14
5.2.2 | q5, q6, q2, q3, q2, q3, q22, q48, q49 | 1255948 | q515/p1, q516/p5,
  q517/p8, q518/p5, q351/p5, q55/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.2.3 | q5, q6, q2, q3, q3, q4, q22, q48, q49 | 67898785 | q519/p1, q413/p2,
  q520/p3, q521/p4, q522/p6, q523/p7, q524/p9, q525/p9, q526/p2, q510/p5, q55/p5,
  q59/p5, q60/p5, q508/p5, q61/p14
5.2.4 | q5, q6, q2, q3, q4, q5, q22, q48, q49 | 88501448 | q519/p1, q413/p2,
  q520/p3, q521/p4, q522/p6, q523/p7, q524/p9, q525/p9, q55/p2, q84/p2, q511/p5,
  q59/p5, q60/p5, q508/p5, q61/p14
5.2.5 | q5, q6, q2, q3, q5, q6, q22, q48, q49 | 97423330 | q519/p1, q413/p2,
  q520/p3, q521/p4, q522/p6, q523/p7, q524/p9, q525/p9, q55/p2, q512/p2, q513/p5,
  q59/p5, q60/p5, q508/p5, q61/p14
5.2.6 | q5, q6, q2, q3, q6, q10, q22, q48, q49 | 98966245 | q519/p1, q413/p2,
  q520/p3, q521/p4, q522/p6, q523/p7, q524/p9, q525/p9, q55/p2, q59/p2, q514/p5,
  q60/p5, q508/p5, q61/p14
5.3.1 | q5, q6, q3, q4, q9, q2, q22, q48, q49 | 5 | q55/p5, q59/p5, q60/p5,
  q508/p5, q61/p14
5.3.2 | q5, q6, q3, q4, q2, q3, q22, q48, q49 | 1255948 | q515/p1, q516/p5,
  q517/p8, q518/p5, q351/p5, q55/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.3.3 | q5, q6, q3, q4, q3, q4, q22, q48, q49 | 917938720 | q527/p1, q528/p5,
  q529/p8, q530/p5, q526/p5, q510/p5, q55/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.3.4 | q5, q6, q3, q4, q4, q5, q22, q48, q49 | 1694581572 | q531/p1, q529/p2,
  q532/p4, q533/p6, q534/p7, q535/p9, q55/p9, q536/p9, q537/p2, q538/p5, q511/p5,
  q59/p5, q60/p5, q508/p5, q61/p14
5.3.5 | q5, q6, q3, q4, q5, q6, q22, q48, q49 | 1717349867 | q531/p1, q529/p2,
  q532/p4, q533/p6, q534/p7, q535/p9, q55/p9, q536/p9, q512/p2, q513/p5, q59/p5,
  q60/p5, q508/p5, q61/p14
5.3.6 | q5, q6, q3, q4, q6, q10, q22, q48, q49 | 1719598705 | q531/p1, q529/p2,
  q532/p4, q533/p6, q534/p7, q535/p9, q55/p9, q536/p9, q59/p2, q514/p5, q60/p5,
  q508/p5, q61/p14
5.4.1 | q5, q6, q4, q5, q9, q2, q22, q48, q49 | 5 | q55/p5, q59/p5, q60/p5,
  q508/p5, q61/p14
5.4.2 | q5, q6, q4, q5, q2, q3, q22, q48, q49 | 1255948 | q515/p1, q516/p5,
  q517/p8, q518/p5, q351/p5, q55/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.4.3 | q5, q6, q4, q5, q3, q4, q22, q48, q49 | 917997081 | q527/p1, q528/p5,
  q530/p8, q526/p5, q510/p5, q55/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.4.4 | q5, q6, q4, q5, q4, q5, q22, q48, q49 | 4842168606 | q539/p1, q55/p5,
  q540/p5, q541/p6, q62/p8, q542/p5, q538/p5, q511/p5, q59/p5, q60/p5, q508/p5,
  q61/p14
5.4.5 | q5, q6, q4, q5, q5, q6, q22, q48, q49 | 5226164731 | q539/p1, q543/p2,
  q55/p4, q544/p4, q541/p6, q545/p7, q538/p9, q546/p9, q512/p14, q513/p5, q59/p5,
  q60/p5, q508/p5, q61/p14
5.4.6 | q5, q6, q4, q5, q6, q10, q22, q48, q49 | 5230394045 | q539/p1, q543/p2,
  q55/p4, q544/p4, q541/p6, q545/p7, q538/p9, q546/p9, q59/p14, q514/p5, q60/p5,
  q508/p5, q61/p14
5.5.1 | q5, q6, q5, q6, q9, q2, q22, q48, q49 | 5 | q55/p5, q59/p5, q60/p5,
  q508/p5, q61/p14
5.5.2 | q5, q6, q5, q6, q2, q3, q22, q48, q49 | 1255948 | q515/p1, q516/p5,
  q517/p8, q518/p5, q351/p5, q55/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.5.3 | q5, q6, q5, q6, q3, q4, q22, q48, q49 | 917997081 | q527/p1, q528/p5,
  q530/p8, q526/p5, q510/p5, q55/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.5.4 | q5, q6, q5, q6, q4, q5, q22, q48, q49 | 4842923665 | q539/p1, q55/p5,
  q541/p5, q62/p8, q542/p5, q538/p5, q511/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.5.5 | q5, q6, q5, q6, q5, q6, q22, q48, q49 | 5910500004 | q547/p1, q548/p10,
  q55/p11, q62/p11, q546/p13, q549/p14, q513/p5, q59/p5, q60/p5, q508/p5, q61/p14
5.5.6 | q5, q6, q5, q6, q6, q10, q22, q48, q49 | 5914925448 | q547/p1, q548/p10,
  q55/p11, q62/p11, q546/p13, q59/p14, q514/p5, q60/p5, q508/p5, q61/p14
6.1.1 | q6, q7, q8, q2, q9, q2, q22, q50, q51 | 5 | q55/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.1.2 | q6, q7, q8, q2, q2, q3, q22, q50, q51 | 5 | q55/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.1.3 | q6, q7, q8, q2, q3, q4, q22, q50, q51 | 5 | q55/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.1.4 | q6, q7, q8, q2, q4, q5, q22, q50, q51 | 5 | q55/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.1.5 | q6, q7, q8, q2, q5, q6, q22, q50, q51 | 5 | q55/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.1.6 | q6, q7, q8, q2, q6, q10, q22, q50, q51 | 5 | q55/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.2.1 | q6, q7, q2, q3, q9, q2, q22, q50, q51 | 5 | q55/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.2.2 | q6, q7, q2, q3, q2, q3, q22, q50, q51 | 5 | q55/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.2.3 | q6, q7, q2, q3, q3, q4, q22, q50, q51 | 5 | q55/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.2.4 | q6, q7, q2, q3, q4, q5, q22, q50, q51 | 5 | q55/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.2.5 | q6, q7, q2, q3, q5, q6, q22, q50, q51 | 5 | q55/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.2.6 | q6, q7, q2, q3, q6, q10, q22, q50, q51 | 5 | q55/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.3.1 | q6, q7, q3, q4, q9, q2, q22, q50, q51 | 6 | q551/p5, q55/p2, q550/p2,
  q59/p14, q60/p14, q61/p14
6.3.2 | q6, q7, q3, q4, q2, q3, q22, q50, q51 | 6 | q551/p5, q55/p2, q550/p2,
  q59/p14, q60/p14, q61/p14
6.3.3 | q6, q7, q3, q4, q3, q4, q22, q50, q51 | 3428469 | q552/p1, q553/p5,
  q554/p8, q555/p5, q556/p5, q551/p5, q55/p2, q550/p2, q59/p14, q60/p14, q61/p14
6.3.4 | q6, q7, q3, q4, q4, q5, q22, q50, q51 | 46499349 | q557/p1, q509/p2,
  q558/p3, q559/p4, q560/p6, q561/p7, q562/p9, q563/p9, q564/p2, q551/p5, q55/p2,
  q550/p2, q59/p14, q60/p14, q61/p14
6.3.5 | q6, q7, q3, q4, q5, q6, q22, q50, q51 | 46499351 | q557/p1, q509/p2,
  q558/p3, q559/p4, q560/p6, q561/p7, q562/p9, q563/p9, q551/p2, q55/p2, q550/p2,
  q59/p14, q60/p14, q61/p14
6.3.6 | q6, q7, q3, q4, q6, q10, q22, q50, q51 | 46499351 | q557/p1, q509/p2,
  q558/p3, q559/p4, q560/p6, q561/p7, q562/p9, q563/p9, q551/p2, q55/p2, q550/p2,
  q59/p14, q60/p14, q61/p14
6.4.1 | q6, q7, q4, q5, q9, q2, q22, q50, q51 | 6 | q55/p5, q565/p5, q550/p2,
  q59/p14, q60/p14, q61/p14
6.4.2 | q6, q7, q4, q5, q2, q3, q22, q50, q51 | 6 | q55/p5, q565/p5, q550/p2,
  q59/p14, q60/p14, q61/p14
6.4.3 | q6, q7, q4, q5, q3, q4, q22, q50, q51 | 3428469 | q552/p1, q553/p5,
  q554/p8, q555/p5, q556/p5, q55/p5, q565/p5, q550/p2, q59/p14, q60/p14, q61/p14
6.4.4 | q6, q7, q4, q5, q4, q5, q22, q50, q51 | 950470689 | q566/p1, q567/p5,
  q568/p8, q569/p5, q570/p5, q564/p5, q55/p5, q565/p5, q550/p2, q59/p14, q60/p14,
  q61/p14
6.4.5 | q6, q7, q4, q5, q5, q6, q22, q50, q51 | 1525606113 | q568/p1, q571/p2,
  q572/p4, q573/p6, q574/p7, q575/p9, q576/p9, q55/p2, q577/p2, q578/p5, q565/p5,
  q550/p2, q59/p14, q60/p14, q61/p14
6.4.6 | q6, q7, q4, q5, q6, q10, q22, q50, q51 | 1525606190 | q568/p1, q571/p2,
  q572/p4, q573/p6, q574/p7, q575/p9, q576/p9, q55/p2, q565/p2, q550/p2, q59/p14,
  q60/p14, q61/p14
6.5.1 | q6, q7, q5, q6, q9, q2, q22, q50, q51 | 5 | q55/p5, q550/p5, q59/p14,
  q60/p14, q61/p14
6.5.2 | q6, q7, q5, q6, q2, q3, q22, q50, q51 | 5 | q55/p5, q550/p5, q59/p14,
  q60/p14, q61/p14
6.5.3 | q6, q7, q5, q6, q3, q4, q22, q50, q51 | 3428468 | q552/p1, q553/p5,
  q554/p8, q555/p5, q556/p5, q55/p5, q550/p5, q59/p14, q60/p14, q61/p14
6.5.4 | q6, q7, q5, q6, q4, q5, q22, q50, q51 | 952002946 | q566/p1, q567/p5,
  q569/p8, q570/p5, q564/p5, q55/p5, q550/p5, q59/p14, q60/p14, q61/p14
6.5.5 | q6, q7, q5, q6, q5, q6, q22, q50, q51 | 4805668378 | q579/p1, q55/p5,
  q580/p5, q581/p6, q582/p8, q583/p5, q584/p5, q578/p5, q550/p5, q59/p14, q60/p14,
  q61/p14
6.5.6 | q6, q7, q5, q6, q6, q10, q22, q50, q51 | 4966495521 | q579/p1, q585/p2,
  q55/p4, q586/p4, q581/p6, q587/p7, q584/p9, q577/p9, q89/p14, q588/p5, q550/p5,
  q59/p14, q60/p14, q61/p14
