SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 5d\$ ]m]Berlekamp_Zassenhaus:threads=4elapsed=74.576cpu=262.188gc=13.064factor=3.527zXZִF! ]ŗXf[&\H xtt#0'mŴ. ">) r mc uF2X&@HU`*󔙵VӠe9=^Si\A &}aS}07ߪʈ߽@kqBq؃+<(vwvXyEY a+n-ψm&fe>D]QZ(A-:{_%Tiɚ xgZ82Ny88|jnJAwxEf1JQH.q2n.qNTȒ%T#cSQ~7SLi'uƟ ]c<$,)wfGGJi4V$2Y-Jә}3o)(jO|&dP7%M׳H. ,&N_Mbh>{ ײ|‡\C4/cTѣr&ǙAO=.lt&$C؞.nzQjnxa[Yx2BW_[h{mKJ蔚Bk6 1nI,šLT-co?э{_GP%5ΓT+~V{2pZArX4C; Qi|7lVAD<_]$XT36BgY{<;i'* Y>d5bdb#d2fpF?Kw'G`Cn!i3b\9ݞ-j"[4/g:%0fXB\S/{ o\",גp^()'M@q_SF+*]AѺ_|X;^zſ{7_H? 1-5wr}]x<}O$WaYyV gHpL'Ȱ s_nxS\;4_wE| Cl=6Zi{3Q%:tvE JzUfnWyg2JNHC%x uKJ~"6ܤ!MBͮqnTgV?ꆦi Š!Hi}Qոp3mpSXy5crͥ蟟)%8lC:2MѮnٗ/n./TR7TɼS|I`ÉjBЇg7rL #Xz%I JD U>#E -SSr -DŽ!C5y&"Ւ╘}5=iVmvrxȞBYyw"tiԌ!|ZZY3O`5g.=xeBAГد 'rZbA䈄`Qu*Tr3"PGe8T1<}RR4.Wd(' džVC- S".m@GI99e[M:Cnl@xHh?چHe$U2OШ"nY Ly'vJضPPQEc͠#qrr۱W}S^-mr/ `dԾt])ḢޙWrs͛m -o71LAՍ(c66RFq G;n(% 0uOQL% MΣPX6crRx p> | =[#r>{@;;Iwv#~Qi]0zmϲ( T(شg*ObӿM$g. x]6@ 忬 KkGſAP5F+Cp y!sz L.rH=9:;Qe<:mEx1> 9=b/ېYrjzSK^Hwbc'gbvpT NlM 3cKdDY-'P^ѱ96i `>[w _cH&Ǻ9i;V8TWb %}J&܅݋H,Jc z܂Urv@FSIonUG2&1 ]귛7q™@R!$ÈGGSLIKbX^sZ{ꊊ'kW'qE#/R\ᗃݝ"  1z8TUV<`/d(m1HO*uUFLz2={{b]hU))'>EjpSCM&8#.V~$*ꃧL9)Ϙ*֮IJq:QsW܆ɡ_Q&&m{L[[YN`yr-BA{rq~ G{S _;sdzOkhHƫ 8=,V[Dgnbv&k ȢH><MxQgר//'~lQ,垱gYZ7zXZִF! ;]ŗXiɟ ְ@HUIjT ՚op\3IgߵKԀuS+t?I`&ü  5 Berlekamp_Zassenhaus  )B@[Lì78s@[Oa$DW$_pُ$-T:9iU&ME %?GsOJCuS)*ʐykOIŐr ]JnjvGBǼb J\Dr PXhp9ci.i oMqx[$ˢo;6H2 [}kzl 78o*M"K kϥeҫ*K.P#)ӐwYuܪgH|N)Dj.BNMb2x&sҋЊQ='p`%5n&w. o#}ss%?k^AQu= }iYBèԪ,<&Fޕ) n+Gd,͙en8è$Ux^0$\K7" Cx{i"W(sY#>3~Se=^jMpij=j> '{W'z`cZ\< ~\@rUHsu Nʩ]0㵃[搑V3d;/It4K3x[IiDkuzb4< RDfuuhܱgYZ7zXZִF! |I]ŗXi%ES46,o`%&)$D,玩.U&:_mnibo7 jQ4N@hrA(PF89ۛ[E厩?5BӅ=a4Y4^VS%Oy[3QM-#}DQFdǫj*$I&4tH٫@E"r >vqV-: '*)RKp0|rGam2[掰JCSStouiSy:`jcQkw"PT_ea=`+-PٯakPb!焘VQ 7(Էa#OUJ#{jET"fg0#/x3y#D㙲c")8-|HG;rz%KRhizxHz{Zbϕ1g1,vu,>6,0~2]3#҉I4d, tWngVN1xQ'/m)V~~^KEW8-}$*Ҁ=v[AKƣ1ewD48,zv6O#vԮY!vTwGU-q011 /!(-ƿ\UoO3R"r)ZyGUHcN@*8Y9J0g n"4#ʘf Q߾oVM˷;IKЙµs+k|2mCn FDe:#cuY}↾z` dlYg7^z8\ ]r~W5 :Op9 :QԄA-[Ƭ3k~dj:;TDrF1g2i");2q_Xqj}T 0AWKґDz ڽd(Lp@'y[&{Fymls˯)3 >TF Y+<d [>"Hmsoх8EgRA.[t!ZZ(9cX +MkOƮ@y3_sW qgȰo'(nQ9 <2AI]6KN_KsZA\~TN&eJqګW 컑Z/ڊ*)љܡY^ -O-8`ZT:TZ}HC`M/=*huTNBLjQY\apف6G9({93 ĒJM ٕ3q/zHT#<$^§:eI(ԧp}3=\\[oӂ6tٵq8GL⣞ Y/͗XF@ Ч=_4 dAe;5Lln=AbbM!k Yv=-Y #]O1zyEoALgȧsTp& I9bgra"JuC%X.9hb+ck"틓b[pF6nrdS곺ei`huhRu &g͸ܺC_yvѰ;@aJwMʈ827r>';-0yWb`]*FP7d["yY]:pLJb\+%q [,%nqx6rJ|q,*? 4y ,`4y +k875ۻ|*{ ;~&?Bxrkw űt̯gŜssdf Gx|<cr0龣28rp} w0lj0咨`O(gȎW\\~ Ÿ)?KW6aj{-wEK郈6@Dbl&f8TfU IlQ#Hm,:*sBE{FUɚ>/YJ #nW:x0mKUagO7JFR(cD(E\y&Kgi@OO7m}_E,JǤ\V}ͥ )$@B׆qxBU\c?Bk<?=c@@{N@]".2M`P9>.5q5K[K/dmR;ZFoS{>UyuD?.ǧ;`zWB$ėPpن C@%dqolaJOq=vD1GscZol%}}hDD>˪EʕV'bZMZؽ8X}>iTso'^#{DL$ ;eH[jsKoE搫 "?C*ЮV)MfvIL!׽10trO%=jZEۏd$stp hyڛ,FB3v5*(cUx@̷ py%M2ZΑ<} T*F>pAP/A z'')$TS9z#S$0଄>A%+(lS.%7"OLT3 Y_N5udB ӯ̶Ol=^z` Ucwmq"}x٪4<mwXsi=LuX!¨p?#pO JF(9oi췠dtJol.)vI+gf6;O^5p[3HtuWmk-P\QfLXP9wpm 1B ,}Ƕ#<3tAg u2I%K@i>yn>-cBPNˎ1DMiJt2 CS`AQ@ctR8ڷCS| 4A&5U'tbFqx*:}Ѷ*雚1憲Q$c4/7d|1+bn$~Oa[}bዢ(-ɋf|f(k:2wYO0&Y ͟P8 E JسӏNA1-i4YM^YoW流x,0 $^ [qu3rRs{,(pRѩ}# $\kZ%֫FVb_ZYê/ Vby~NKïOMDL9=>[32WW{AG <&ʋ}`>Wbg*CoG k~2b1;ݯEs5LlXuR " n0/>QJ&"0ć 'n !x7b$W e S ,koA{̳Z#xȬ`REW~a\岮v шRqQZqY* aLawab*=t5o3O Vq9;nܑ&l}vMz#OMN&T`e[2dS?- Iӫ܊!Ѣ[ɬvv5PIa^zYb(;'N;t Ǿ-ɺO"ʆ vߊnL-WHPi)ld &g hIX0AinL@wo|b W}Ƃw0~uP늤4PDP V'LNQvD3` }b7ej˒ne ({uПZ\ Av"7f^}7S]ʹa*h<b:"Q:o1Xy oVS-C 6\Ae:[n4`CploAyо1Aг|W?{b TK]v,A0<$XC tquS a^ƖcktԺvQ]l'љZlֿdĒFђ&4%sT58r?L#|8yg! 4B`0c0Lf *jn,zh^MTM[R5p2& #ۅ5T;JN=ztІ=/>v~(+~TCRO6gu%O$鷻Ƌ|3T]tKJUlh~~Z!U n`u[oH N u