--- diff against the claim's saved outputs (empty section = identical)
IDENTICAL  check1_k5_A.txt
IDENTICAL  check1_k6_A.txt
IDENTICAL  check1_k6_B.txt
IDENTICAL  check1_k7_A.txt
IDENTICAL  check1_k8_d2_s6_A.txt
IDENTICAL  check1_k9_d2_s7_A.txt
IDENTICAL  check2_k5_A.txt
IDENTICAL  check2_k6_A.txt
IDENTICAL  check2_k6_B.txt
IDENTICAL  check2_k7_A.txt
IDENTICAL  check2_k8_d2_s6_A.txt
IDENTICAL  check2_k9_d2_s7_A.txt
IDENTICAL  check_k7_exact.txt
IDENTICAL  exact_symmetric_k7-201.txt
IDENTICAL  exact_symmetric_k7-31.txt
DIFFERS    identity_k5_A.txt
1,5c1,5
< t = sum_(i=1..4) g_i(t)^5,  g_i(t) = c_i0 + c_i1 t + ... (centre values to 22 digits; '*' = exact fixed value)
< g_1:  c_10 = (0.61) + (0) i *;   c_11 = (0.748555152677289153759) + (-2.332476701707796385342E-93) i  ;   c_12 = (-0.4969158600467956739594) + (9.441973371982434271889E-93) i  
< g_2:  c_20 = (-0.6015985488651934698904) + (-2.375989870666593251134E-93) i  ;   c_21 = (0.7555844907567809788813) + (-3.876257652373387143126E-93) i  ;   c_22 = (0.4869814442853430906469) + (-8.177760504213753401166E-93) i  
< g_3:  c_30 = (-0.05004956086299881622746) + (0.329931489323785540291) i  ;   c_31 = (-0.2551307739278631003125) + (-0.1850216470009281533916) i  ;   c_32 = (-0.613965322399797527376) + (0.2012452055819655112327) i  
< g_4:  c_40 = (0.2344198089905819905406) + (0.2375017880833937842080) i  ;   c_41 = (0.09765213643366454581428) + (-0.2996477630717563378496) i  ;   c_42 = (0.6149973437139759976104) + (-0.198068970573304463466) i  
---
> t = sum_(i=1..4) g_i(t)^5,  g_i(t) = c_i0 + c_i1 t + ... (centre values to 25 digits; '*' = exact fixed value)
> g_1:  c_10 = (0.61) + (0) i *;   c_11 = (0.7485551526772891537589774) + (-2.332476701707796385342052E-93) i  ;   c_12 = (-0.4969158600467956739593953) + (9.441973371982434271889082E-93) i  
> g_2:  c_20 = (-0.6015985488651934698904578) + (-2.375989870666593251134245E-93) i  ;   c_21 = (0.7555844907567809788813389) + (-3.876257652373387143126582E-93) i  ;   c_22 = (0.4869814442853430906469169) + (-8.177760504213753401166308E-93) i  
> g_3:  c_30 = (-0.05004956086299881622745524) + (0.3299314893237855402910496) i  ;   c_31 = (-0.2551307739278631003124537) + (-0.1850216470009281533916186) i  ;   c_32 = (-0.613965322399797527376098) + (0.2012452055819655112327249) i  
> g_4:  c_40 = (0.2344198089905819905406764) + (0.2375017880833937842080402) i  ;   c_41 = (0.09765213643366454581428222) + (-0.2996477630717563378495927) i  ;   c_42 = (0.6149973437139759976103748) + (-0.198068970573304463466012) i  
DIFFERS    identity_k6_A.txt
1,6c1,6
< t = sum_(i=1..5) g_i(t)^6,  g_i(t) = c_i0 + c_i1 t + ... (centre values to 22 digits; '*' = exact fixed value)
< g_1:  c_10 = (0.47) + (0) i *;   c_11 = (0.5601849918690139516008) + (-0.6593169156883769065715) i  ;   c_12 = (0.4667006778727324255904) + (-0.1544131665785225390118) i  
< g_2:  c_20 = (0.5067965160002524219687) + (-0.4507873592394767122941) i  ;   c_21 = (-0.14) + (-0.11) i *;   c_22 = (-0.04572431117349248594189) + (0.6212345021921143299094) i  
< g_3:  c_30 = (0.02479303004275997333552) + (0.004182265667877549305654) i  ;   c_31 = (0.4366677240396274419868) + (1.009811080825474921537) i  ;   c_32 = (0.28361245081147242375) + (-0.3419186203820585308322) i  
< g_4:  c_40 = (0.4295679466996107539803) + (0.3679820721088560305102) i  ;   c_41 = (-0.7727671132872886420541) + (0.09594234412487102075043) i  ;   c_42 = (-0.3243093140405644604807) + (0.6194647434145670819993) i  
< g_5:  c_50 = (0.636172218505460998944) + (-0.1103560598134072070747) i  ;   c_51 = (0.5071017419659262628392) + (0.5660364632875395801871) i  ;   c_52 = (0.5256308834744990525794) + (-0.4040370621192783418146) i  
---
> t = sum_(i=1..5) g_i(t)^6,  g_i(t) = c_i0 + c_i1 t + ... (centre values to 25 digits; '*' = exact fixed value)
> g_1:  c_10 = (0.47) + (0) i *;   c_11 = (0.5601849918690139516007124) + (-0.6593169156883769065715738) i  ;   c_12 = (0.4667006778727324255903046) + (-0.1544131665785225390118245) i  
> g_2:  c_20 = (0.5067965160002524219687461) + (-0.4507873592394767122940674) i  ;   c_21 = (-0.14) + (-0.11) i *;   c_22 = (-0.04572431117349248594189194) + (0.6212345021921143299093502) i  
> g_3:  c_30 = (0.02479303004275997333551948) + (0.004182265667877549305654249) i  ;   c_31 = (0.4366677240396274419867712) + (1.009811080825474921537132) i  ;   c_32 = (0.2836124508114724237500476) + (-0.3419186203820585308321054) i  
> g_4:  c_40 = (0.4295679466996107539803346) + (0.3679820721088560305101564) i  ;   c_41 = (-0.7727671132872886420540823) + (0.09594234412487102075042818) i  ;   c_42 = (-0.3243093140405644604806548) + (0.6194647434145670819993167) i  
> g_5:  c_50 = (0.636172218505460998943826) + (-0.1103560598134072070747164) i  ;   c_51 = (0.5071017419659262628392209) + (0.5660364632875395801870778) i  ;   c_52 = (0.5256308834744990525793796) + (-0.4040370621192783418146035) i  
DIFFERS    identity_k6_B.txt
1,6c1,6
< t = sum_(i=1..5) g_i(t)^6,  g_i(t) = c_i0 + c_i1 t + ... (centre values to 22 digits; '*' = exact fixed value)
< g_1:  c_10 = (0.67) + (0) i *;   c_11 = (0.6609292775523857474556) + (0.02244153015098318843799) i  ;   c_12 = (-0.2911911269815325935876) + (0.03356829234872263262325) i  
< g_2:  c_20 = (-0.3154481561489171661935) + (-0.2172489536186659136898) i  ;   c_21 = (-0.27) + (-0.4) i *;   c_22 = (-0.2197051409062817900242) + (-0.5804936964210720203552) i  
< g_3:  c_30 = (0.5729233881240349130622) + (0.3287659608797223983029) i  ;   c_31 = (-0.5798583185433347034914) + (-0.3514274929534009600029) i  ;   c_32 = (-0.4929729879809472666596) + (-0.3089854775880654702649) i  
< g_4:  c_40 = (0.3529298442371786455294) + (0.2021016428801970498381) i  ;   c_41 = (0.4086706125347323972626) + (0.3039887873218017007126) i  ;   c_42 = (0.5639489350902485980985) + (-0.1202051865878325254166) i  
< g_5:  c_50 = (-0.01756629447109761446063) + (-0.2070785156673720378409) i  ;   c_51 = (-0.05243902779073488305508) + (1.192736312978495504894) i  ;   c_52 = (-0.03690033255791860845854) + (0.4361369344442846071356) i  
---
> t = sum_(i=1..5) g_i(t)^6,  g_i(t) = c_i0 + c_i1 t + ... (centre values to 25 digits; '*' = exact fixed value)
> g_1:  c_10 = (0.67) + (0) i *;   c_11 = (0.6609292775523857474559081) + (0.02244153015098318843799228) i  ;   c_12 = (-0.2911911269815325935876528) + (0.03356829234872263262324798) i  
> g_2:  c_20 = (-0.3154481561489171661934834) + (-0.217248953618665913689805) i  ;   c_21 = (-0.27) + (-0.4) i *;   c_22 = (-0.2197051409062817900242086) + (-0.5804936964210720203550256) i  
> g_3:  c_30 = (0.572923388124034913062247) + (0.3287659608797223983029246) i  ;   c_31 = (-0.5798583185433347034914211) + (-0.3514274929534009600029191) i  ;   c_32 = (-0.4929729879809472666595899) + (-0.3089854775880654702648529) i  
> g_4:  c_40 = (0.3529298442371786455294914) + (0.2021016428801970498380537) i  ;   c_41 = (0.4086706125347323972625774) + (0.3039887873218017007126246) i  ;   c_42 = (0.5639489350902485980984055) + (-0.1202051865878325254166436) i  
> g_5:  c_50 = (-0.01756629447109761446063136) + (-0.2070785156673720378409154) i  ;   c_51 = (-0.05243902779073488305507478) + (1.192736312978495504893864) i  ;   c_52 = (-0.03690033255791860845853822) + (0.4361369344442846071354408) i  
DIFFERS    identity_k7_A.txt
1,7c1,7
< t = sum_(i=1..6) g_i(t)^7,  g_i(t) = c_i0 + c_i1 t + ... (centre values to 22 digits; '*' = exact fixed value)
< g_1:  c_10 = (0.82) + (0) i *;   c_11 = (0.2802423785856134212888) + (-0.5662133153306539879481) i  ;   c_12 = (0.2930500553194012474714) + (-0.5380730324996646190777) i  
< g_2:  c_20 = (-0.1233548866424642678865) + (-0.09204896224424802479626) i  ;   c_21 = (0.26) + (-0.14) i *;   c_22 = (-0.3441549107636504465062) + (-0.6683042447524640188283) i  
< g_3:  c_30 = (-0.362948105458665203846) + (0.2964459582461123048292) i  ;   c_31 = (-0.81) + (0.83) i *;   c_32 = (0.4598767682968168069586) + (0.3857140150963832788452) i  
< g_4:  c_40 = (-0.2881831474025180760676) + (-0.2032496420153313223914) i  ;   c_41 = (-0.526651080237465293044) + (0.4225580597876092092891) i  ;   c_42 = (0.3171838841804207733374) + (0.7499942739750682661801) i  
< g_5:  c_50 = (-0.78861523275524249583) + (0.1174979033558355317566) i  ;   c_51 = (-0.5843239594732303725002) + (0.3739358653618323611329) i  ;   c_52 = (-0.1238368183920909594116) + (0.7029882662695372925004) i  
< g_6:  c_60 = (0.08060769552048333485625) + (0.8038504969292300380366) i  ;   c_61 = (-0.2199166636625268390803) + (-0.1820713874698624636086) i  ;   c_62 = (-0.1005012179507068919251) + (0.0395193216360292243571) i  
---
> t = sum_(i=1..6) g_i(t)^7,  g_i(t) = c_i0 + c_i1 t + ... (centre values to 25 digits; '*' = exact fixed value)
> g_1:  c_10 = (0.82) + (0) i *;   c_11 = (0.2802423785856134212887854) + (-0.5662133153306539879480721) i  ;   c_12 = (0.2930500553194012474713995) + (-0.5380730324996646190776998) i  
> g_2:  c_20 = (-0.1233548866424642678865322) + (-0.09204896224424802479626984) i  ;   c_21 = (0.26) + (-0.14) i *;   c_22 = (-0.3441549107636504465061942) + (-0.6683042447524640188283309) i  
> g_3:  c_30 = (-0.362948105458665203846027) + (0.296445958246112304829225) i  ;   c_31 = (-0.81) + (0.83) i *;   c_32 = (0.4598767682968168069585710) + (0.3857140150963832788451646) i  
> g_4:  c_40 = (-0.2881831474025180760676211) + (-0.2032496420153313223913819) i  ;   c_41 = (-0.5266510802374652930440284) + (0.4225580597876092092890718) i  ;   c_42 = (0.317183884180420773337374) + (0.7499942739750682661801306) i  
> g_5:  c_50 = (-0.7886152327552424958300836) + (0.1174979033558355317565586) i  ;   c_51 = (-0.5843239594732303725002192) + (0.3739358653618323611329137) i  ;   c_52 = (-0.1238368183920909594115546) + (0.7029882662695372925003856) i  
> g_6:  c_60 = (0.08060769552048333485624886) + (0.803850496929230038036626) i  ;   c_61 = (-0.2199166636625268390802916) + (-0.1820713874698624636085958) i  ;   c_62 = (-0.1005012179507068919250927) + (0.03951932163602922435710392) i  
DIFFERS    identity_k8_d2_s6_A.txt
1,7c1,7
< t = sum_(i=1..6) g_i(t)^8,  g_i(t) = c_i0 + c_i1 t + ... (centre values to 22 digits; '*' = exact fixed value)
< g_1:  c_10 = (0.72) + (0) i *;   c_11 = (0.6016715159146565975992) + (-0.3797513187914597624917) i  ;   c_12 = (0.03233594064115566186199) + (0.4632702385912829262434) i  
< g_2:  c_20 = (0.2338611596331021461176) + (0.6620318209905792904930) i  ;   c_21 = (-0.3463807018821845397163) + (-0.450848585874011010832) i  ;   c_22 = (-0.2565710342041763627546) + (-0.1071695632190212906746) i  
< g_3:  c_30 = (0.3380519181668444393851) + (0.58063746951452264033) i  ;   c_31 = (0.4275573033573910545094) + (0.264071839562272170699) i  ;   c_32 = (-0.2026110677637917909398) + (0.5520187424114197812235) i  
< g_4:  c_40 = (0.3267060160743030058788) + (-0.475515397424220183632) i  ;   c_41 = (0.6750258885130344156502) + (0.4614199454146875940421) i  ;   c_42 = (0.475753462625742742175) + (-0.07236828957616592412435) i  
< g_5:  c_50 = (-0.1793403898126417550061) + (-0.2033111807376199013537) i  ;   c_51 = (0.7266074795734196817441) + (-0.2116141001861328747478) i  ;   c_52 = (0.5805689689045154118044) + (-0.2223733912461952261152) i  
< g_6:  c_60 = (0.08812460582501197807707) + (0.07906637147539149544645) i  ;   c_61 = (-0.05512769368028880986797) + (-0.4544612182548650768523) i  ;   c_62 = (0.009989116117801176691452) + (-0.652183338418146678604) i  
---
> t = sum_(i=1..6) g_i(t)^8,  g_i(t) = c_i0 + c_i1 t + ... (centre values to 25 digits; '*' = exact fixed value)
> g_1:  c_10 = (0.72) + (0) i *;   c_11 = (0.6016715159146565975992066) + (-0.3797513187914597624916664) i  ;   c_12 = (0.03233594064115566186199052) + (0.4632702385912829262434382) i  
> g_2:  c_20 = (0.2338611596331021461176642) + (0.6620318209905792904929971) i  ;   c_21 = (-0.3463807018821845397163374) + (-0.4508485858740110108319085) i  ;   c_22 = (-0.2565710342041763627545625) + (-0.1071695632190212906745348) i  
> g_3:  c_30 = (0.3380519181668444393850858) + (0.580637469514522640329954) i  ;   c_31 = (0.4275573033573910545094394) + (0.2640718395622721706990285) i  ;   c_32 = (-0.2026110677637917909398315) + (0.552018742411419781223496) i  
> g_4:  c_40 = (0.3267060160743030058788799) + (-0.4755153974242201836320153) i  ;   c_41 = (0.6750258885130344156502427) + (0.4614199454146875940420958) i  ;   c_42 = (0.4757534626257427421750916) + (-0.07236828957616592412432615) i  
> g_5:  c_50 = (-0.1793403898126417550060752) + (-0.2033111807376199013537270) i  ;   c_51 = (0.7266074795734196817440586) + (-0.2116141001861328747477816) i  ;   c_52 = (0.5805689689045154118043822) + (-0.22237339124619522611527) i  
> g_6:  c_60 = (0.0881246058250119780770749) + (0.07906637147539149544645385) i  ;   c_61 = (-0.05512769368028880986797103) + (-0.4544612182548650768523459) i  ;   c_62 = (0.009989116117801176691452456) + (-0.6521833384181466786039255) i  
DIFFERS    identity_k9_d2_s7_A.txt
1,8c1,8
< t = sum_(i=1..7) g_i(t)^9,  g_i(t) = c_i0 + c_i1 t + ... (centre values to 22 digits; '*' = exact fixed value)
< g_1:  c_10 = (0.68) + (0) i *;   c_11 = (0.2377286417722771727264) + (-0.2364362565589428462019) i  ;   c_12 = (0.4387797567446636116096) + (0.4815693621171174021352) i  
< g_2:  c_20 = (-0.3785547621193369977177) + (-0.564565160252038133514) i  ;   c_21 = (-0.07) + (-0.31) i *;   c_22 = (-0.03967734994998926316272) + (0.4679292815898705103577) i  
< g_3:  c_30 = (-0.2262493532831990598586) + (0.673363682032405296579) i  ;   c_31 = (-0.4953524943459717492669) + (-0.323898589846110933278) i  ;   c_32 = (-0.4349972537548773115791) + (0.3118667063218101546463) i  
< g_4:  c_40 = (0.2937050872671367462051) + (-0.672641927365953603046) i  ;   c_41 = (-0.4789754828157196401582) + (-0.1373528312129101586406) i  ;   c_42 = (0.1379057997734994046517) + (-0.3412176103756815231414) i  
< g_5:  c_50 = (-0.008875700374526263118244) + (0.0859678952724899666539) i  ;   c_51 = (0.08104885883369187586) + (0.00955540624748777808926) i  ;   c_52 = (-0.4284275482869059704922) + (-0.5583548133757661307272) i  
< g_6:  c_60 = (-0.6239966706584085503068) + (0.04337338927561008166789) i  ;   c_61 = (0.454327128089849622467) + (0.1161695022052768493837) i  ;   c_62 = (0.3709252925144166321316) + (0.2705608219062170725358) i  
< g_7:  c_70 = (0.4903093575181581653392) + (0.1270491010697389128252) i  ;   c_71 = (-0.1743585510300795588675) + (0.2925517081306983491576) i  ;   c_72 = (-0.05842178786361160581075) + (0.6744478962753567821251) i  
---
> t = sum_(i=1..7) g_i(t)^9,  g_i(t) = c_i0 + c_i1 t + ... (centre values to 25 digits; '*' = exact fixed value)
> g_1:  c_10 = (0.68) + (0) i *;   c_11 = (0.2377286417722771727264126) + (-0.2364362565589428462019184) i  ;   c_12 = (0.4387797567446636116095628) + (0.481569362117117402135128) i  
> g_2:  c_20 = (-0.3785547621193369977177295) + (-0.5645651602520381335139526) i  ;   c_21 = (-0.07) + (-0.31) i *;   c_22 = (-0.03967734994998926316271759) + (0.4679292815898705103577492) i  
> g_3:  c_30 = (-0.2262493532831990598586424) + (0.673363682032405296579032) i  ;   c_31 = (-0.4953524943459717492668896) + (-0.3238985898461109332779785) i  ;   c_32 = (-0.4349972537548773115790945) + (0.3118667063218101546462722) i  
> g_4:  c_40 = (0.2937050872671367462050875) + (-0.672641927365953603046213) i  ;   c_41 = (-0.4789754828157196401582221) + (-0.1373528312129101586405486) i  ;   c_42 = (0.1379057997734994046517114) + (-0.341217610375681523141335) i  
> g_5:  c_50 = (-0.008875700374526263118243178) + (0.08596789527248996665389956) i  ;   c_51 = (0.08104885883369187586001388) + (0.00955540624748777808925919) i  ;   c_52 = (-0.4284275482869059704921822) + (-0.5583548133757661307272136) i  
> g_6:  c_60 = (-0.6239966706584085503067820) + (0.04337338927561008166789217) i  ;   c_61 = (0.4543271280898496224669652) + (0.1161695022052768493837237) i  ;   c_62 = (0.370925292514416632131622) + (0.2705608219062170725357534) i  
> g_7:  c_70 = (0.4903093575181581653392348) + (0.1270491010697389128252679) i  ;   c_71 = (-0.1743585510300795588674816) + (0.2925517081306983491575792) i  ;   c_72 = (-0.05842178786361160581074821) + (0.6744478962753567821251015) i  
IDENTICAL  precision_variation.txt
IDENTICAL  real_structure_k5_A.txt
IDENTICAL  rejection_tests_k5_A.txt
IDENTICAL  rejection_tests_k6_A.txt
IDENTICAL  rejection_tests_k6_B.txt
IDENTICAL  rejection_tests_k7_A.txt
IDENTICAL  rejection_tests_k8_d2_s6_A.txt
IDENTICAL  rejection_tests_k9_d2_s7_A.txt
IDENTICAL (22 digits) identity_k5_A.txt
IDENTICAL (22 digits) identity_k6_A.txt
IDENTICAL (22 digits) identity_k6_B.txt
IDENTICAL (22 digits) identity_k7_A.txt
IDENTICAL (22 digits) identity_k8_d2_s6_A.txt
IDENTICAL (22 digits) identity_k9_d2_s7_A.txt
