SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info }}t5TTD ]?]Berlekamp_Zassenhaus:threads=8elapsed=70.886cpu=355.721gc=19.231factor=5.027zXZִF! y!]ŗXf[&\H xtt#0'mŴ. ">) r mc uF2X&@HU`*󔙵V#Hz)`k/ H5$aWa jud3iOw1ǣJylN:|I0g.d`/k\~ i65d !\9\R)S+W+j KyA  k٢qѠu57*xp $T>#x a4/uuf_O!pUt“F4҄[HޠZdU!,9 xxe1p(!mC<}zRODΌr6sCm\{^w#,ӾQ{<`{T i1Y| JKԻ6x43c5ndw'Q:VX|W8ݮ3 =&ځOC1Kh-~EtV7pHo(;T"{3pZH2;kl!n8 :'&$n2 _gU0ffC&ˆInGnnTaE̜k2(L๐It] 4bLR7=Sh~ V~!2mXlOk=2vğ @$O vit>cft|q;(E!(0jRE_Pea$v؃h"@ ,4*sƀ jSCq܎vQ1~ݕ4k=H"5f(XGp DfJ}ۊҕ2S1MBz~D16@ v0) hBC ײC{*>ym~V04b -qb{ys" XJZ~(e]ǟ*>ABfnWm >A r2 G٘͠_XӢezݏfmul0$wv*zє.8{?r !j)̠F`EҴ5`0@~0N02/,ie+8 N#3A¸-}THӲ:"~9\׆d&3T5܅TqUd nH2aUA)GJ#I\9\QakoUa.HY]v}@Zlo}wR|ih{Jp6.|!2@/k)ƍg4!Xg.Z64FAؙ8d_eׄ^aV;<#vz)OɟrLtܲm߽@_tp9,2b켽a \E#TimPK9so$SbH77+F._99vʄZ@v-fN 6M)`ˇďZo@I䢅b3 S nK_î j]% t,D[P㵠 4?3'Fiy`j86ߗrn=J3`e覴fvH<6sq$Ywە׃dcvٍ<]LJ `M'mv{YN 4cb7.*]GѼ9߫0v# HBY_,D-RԴ;V!A)pFv4;@ BNy1:ikj߃Vw_;Wi$XD(縷NXqO *dfm0K漗B"8 zh F7ɼ YԒd' n [8 [U@NS(Ax~!JxNN>V#s׍$JIJz%!R)$3RFo@29:WtłtD yPnU<#=hɦ/8b`ܴWX *SOD/A ;㙅`TeM.Iΰf %SpokڅZ9 \Y7qZ 5 Berlekamp_Zassenhaus  SR{S+\Sai򃚴i ҕu+z{.IiOޢ/ڱgYZ7zXZִF! C#]ŗXiɟ ְ@HUIjT ՚op\3IgߵKԀݷ9C~H;5 cQ-`ID5x!_՞6B5whe-"@X$Ew-+o]b` wjfCݡh?.d۾_>{Xsw *σcw'rPL?_ׇdbڳrU)q?pzsa v(ӁO0vyfSuX3r`! g\%XJ <_ib@,8=SQtCzPS@HxB_ R>UEk \B"㳷A>ɉSMح!X-K#P{Ȅ̃6>忐}ѭ;%wz3%&׏6n`L=KZ T7$Iq -Za7 &ڿ<^??Vc=;=j`L팥CSHE]-wB{;y,{/J7"&qIP7"=Tu$1Joe+x9sE:p)˹3Y\49p>M^s -@\>m@?UF/oݬ":m5鮪ڃD1XY|p)s :.Pj‰Ox _i9*Rze>.GGY8BTgy,d>cs(f}D LgYZ7zXZִF! H]ŗXi%>t8ԩXƮ2]k{ސ^g&PQ\Ǒ&{X,2 g~5EBnUZ2T _5 >;f4V>*tƻ4U)Sɵ=-xk{]"5Alm&ހg\h#k2wKUàUՁ$LPhpoX~>ߥZ|mG.As؟!rݙ+Rhiۛh a"7L˕1EW!d;0B2B ?1p?iP}`|B7'@;rv-@]W%#?˟Gm!_D| k'=7Q݇9Dĭbt,Xp~t*W#p|ELL/mUJ@j*gXVZ  햽`m)4ARJuAZY9˕@gݔ4!e\1Xa?5uNhZ^LO2 !ˋ'Aס7\wBeO٨7]f͚tTgtwi52͖He}T{Vmd'21x}4` VLd~[0k_%ysN[,|Špem<ӌv%;i' BgMHXA[`5(^ d&`s ]A95ЀJ(_{Yv[U`zUq4Y%VT,r4랮 ibTWp{xmH{L#{It?QEO>CLY|'TǩoR'U>&y| wq4  ;+ʷnğB|a:vP7gDY zb1HꦸUzD,)q$3f N ΜyMn&͵O/Lwdu^|GĬ~l5VӘqi!(-NM}E+zp:''5+w^Vu>BՀ6[-"=]F7ȕ7kg$+Rb:pͦLj^h)j|JūtTR &\i3<ǫc FfǟQzn̲{~hLotx,C=dYm/ AM8,V"Ş {OFbCl!L*+I E&^`i]$j4*HP WR)BBԋA}_A]VwX 9\zgSghųڋլ6Sȋ G< 3&{;ɡ̤Q`:rݦA8$ @-܍uUdoټڔ8҃f6Ǽtd 8Pzy2c9"Ȫ䩿 @.'!Y]z ]Z ?Ac Upi_҃X-"<X%mˬ "^ژ`!λRwP+38xՙ܈5ūȍKý23fIfDa!뱛& 7OVQGc*&&x1(PDɞ86NTI^f=TKz2/.q5< {H;-Ϫܛ5:ڻfѴi n!vkT]<+2K0te|h[]C;J[9;z<hI",t`0ޫ+6P؞hzlo>|{ErtQQ~r3Z UW] atzEHJ6>+:ǂ(o֛+pEMYucD{bZEk!&8c{qD3u]oI^nqt+,+#:!R,aB dQ (Rh#Y_>?-IvKxJh+>IAQh)!3hm !K耬0ȸ$r̦4jC6 tkIJcR̵f!CQX!;kLe|-?-siàN:~{Ñ<]X1C?d5BLZ?cjoĮq+`4H *R A0bN|tn?M8$BG$tɱ7ac(!Q\'s^!3'yC _[&moǻ՛n&C! T )g^+ZR$3_0# !L*%T@EeFLcT\/7 06os7moVotcC0z",ɓkASG8UZ]|8%Wd.1GUn7jHED9nN14Q!mU\Q~99!I0a$C,ќMHIMk c@+iQnHo\9_`4RƷ}_ f_/ Lr$ {p) MV/CWLvMgk!AЧ>amA#7MWZƕc鴲b#aZ"F!\dN<9PO 4qWG@˿q6ih3xZL騉f/B\VP.: >W-zA4o sĺqM_WX՝?7k}t^qmTpxgaQmΖ"򕲃5&DF{U;:>5zXCsY՚/~s+/cete#f[]((UV@uuCw'etmEvVvDyӕ FlJ75sF^r 4(^֓V5#u}ƙr>D7!Q#palڥY꧗$܁9@M+$w?{f3tV!2Bs0JW/.zR̚[}t'Vw\u.*zccM5#0V ,_ vפ :nr~b Z:`y[4? f`!+ܫL(:ZJ"8@H@7ì^vʠkmh5:ck_B {{$gMХ~_D/}JʢiB!oXny 0:,".xB֦ Ͱj6V.JC zꥰg<_9ow,FcD۰/Pp8b̫VrGCnr=M x^V3뇡1\N΄91aY쎵8S]o -( ]d[P. lQm9ш xio|ަmJ0.CIWDhTj}s*dr9|-f ?eʰvRu[KCyP[@#]=='ET=ZlN}4ĄweMW+Gīa,:\ODzzs6Fw 7,E4ǭb@43J+Q?(P߀:lC/ꂞH뙟gwÙu0Φ|h?\(?!z}^SN]Sh76c 82\p,)+394&[L뻱zv]~` 5t:EI ؽQ(uȲGJ7 D3!LWзxdS/̱؟Ap3̝j9ËZiޮ# T 9m􊣰>}:efv2CHsj *K+C'e2rO%$~~cr|U倳S b'Y&+C,V{Cj{%6(]Qgv?j>kgKm.hjŋzm2퍦ҧiI'ۓA, '/T:o@T(Kk_Dkp1񨌹$]˒DN{t@hvJ?Lvs:M"eaP}1^g^߿{WklTviMxs-&/"Pli`V%@& 4bFrk@|> 8lv t-Q7WO5< S QrWYFI¾lo b Pu^Dv~6s>q I=UΟg5d)#kK|Njhy׌#^+Hӱ7fqޙ<ߥ}3Q9Zҹ4Vt#83;]گmR\'xk&X>]h:t6p*s$$6!ֆ~MAI=,wr . *e~ 8~= ~&$5~U5:(rI] wz!N~29γlu <8EMX`|e@ݢ#.4'ܻ`;rikF "T)PKo7& NNv@P4ɚqshpgYZ49cb28267e7a3fb05034774bc0c56beeff6c2623c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 19b45f5ae2df88080122fe827653eca7fbdfd042 3b45769a3b6b500524c843853f63b3c3e722aae4 6b6991ccf2d1f3f33b17b711108daba0766e6df5 808977761a3bd036bf5817d4886c1db3a3f695d7 86dbfe86600648f7cf978b7e8dff7255930bf830 a862777976091a8d887fe70a801cca0a430f1731 3aeedf07853df3b06c230a839bb738f68aad12950fb3c2d1bb1fe9caac219449a45294474ecebc05