SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  t ty5Dd ?]Berlekamp_Zassenhaus:threads=2elapsed=148.878cpu=271.072gc=12.816factor=1.827zXZִF! x []ŗXf1-/6vRZkBNs_wlL_w'M^sͬ\i%j8xps$PHL60`ᴡ-QvM|n*VQ@'&}9_eT͂$~M$/R==t~{]2<\,쟶#MFsʈYceuFMN;!8,xLMl#:̋1*r'= ъغ5!j+Ҩ?#ndbv͋n5t-&%hTmL'"`6+ROLC;T*|l@4^p vņVD"eqTj s~ZASn-$: l b^fyO$,[ ԃ>+"/ukXymsoc/Jphj(q2\kӚz½<+ 5 Berlekamp_Zassenhaus43£CP%pqֿFH+$y"K8b$)$ܮmaU&D*|E!,e_L @aL ǀDBvP ?\4 j&R1i1>;ۗ*!S\s 8-ljÖ E3+k aRXΕP21;_)4FKw.fmE^ff_=_(Z&i:aN!O c6+biEMKn6Y;Χb;Z&}FX*BlioQ%y')"Fg–u #D7̿hx+dcRDKv47ud-fJnA;b8 <`/SۿͯC/a]"E7 FEd"6@f@*+.uJZ6ɚ~I:z5 >zW3[@|0b%Y,8hZȫJ'6hqFjc@Ozj.kX"KM,X'=B?0/bYu-zV3h[OĽ&sԏ9VgsЇMe>4zWo`":ht.jE/D\c n-|RA̹s[syh^?9 ov+&)SU֊=OEDN|e3jxΗӒ5 j:#NMYݽE KQ0žarJj!'-|i߯nh\A3x>,v@$ [:?} N|+*14sR0ՍvP mN(",;`ڡwU/T7y+\˾ 0P1mYQEJha&Ѽ+}Oz}ฌTnr+P-&-H~Ek''̈́58.e\K&~ڬl*O25[LUomave5[]0o8N?o^^52tuJ,#QYhaʷogxA 9"-ߣH]r̙igAZJ+C.-!7.}BfrWήM  {yE>o>UpAiӶW0^Yrџۮ7Ւ-\\a{l9 SP`|a5[pn2[[rU6BE{ IcUI E-դgocc5s3?<@Rx0hxjd䆭8ݟ{W%Z#)˗Gx]^2.XՖWl!C(ɀUvY Rbe0&ь0iW #[)JjyT~3H_[(0ؤMxzi#6=% @Rhow̸vƭ*wWg7)Eh$%g|iy+$w;˞ MF`֮.S2Z͏ -%. f$/rNj/+WG"!Q "s0 >gZNMc1 }u2Bintp+Cz{Mh3"a˯PtI{ð2"䈲 8[ 25Cǚ׭ޭ"C'3y2``s} ׽Xqe=2MÑn6۠ NL:䃰v77&г3o*QB#Z!ycAzUw`lraǻ֖6;OŶ8537x&u*qlH)̿/{(n}-5-۾kHSgeI:6r.O啔s.*7lo# ,9:z~17t]~lxB$hp]M+bgz !%򡉾 EZ=,BL!GD_B Ž=nKrb[4V+jgYZ7zXZִF! A +]ŗXi%: (ۃ|/x%^ȯdVm.tvA6#?\pcse6aU%^҉XRvK @Lkk>F@j{KԃaN-{25h.#YSQT@wQCK~~+m8du.xf'2\ά 43LE\\~5)φKNX$2H5O{<\- ,`_ LVT{q9"zG5||"NqMLjaS byLwj&;F֜ZPTmAIpKۤ 7jB߆C´˯A%¶8@ Aw" {eYudٺ`HK_]8څ.e"zd/%It<_KqS낰g$W|jq.jfX$E auCOzK32C^,⽁hC ht/T DYޗvrŊ<_-jO6{näCHeH֌ԎB;ґ}qSɃsKG)h<i9Y]RnrםI"-ȏl/7X%:wvŊy3H#5IKx3u(]DH̫P#:+0kr1-ֶiMF4U aJa0d`[c^?L`um$x},4PO]xH*Cmv|EIh"%XxQӣF|ҸCcIyHk z FL^dN }wDi5l)T<ʟ\o,qhyKZf@!2yP A\2B,kX ֫a _ =Au:V$$S|]AZ7{Z?Y3׏'UŋTj 򉬠L$~LQo2l7O7j6,-Ѫl\Agg7XF#&;jI`\?)en%lúh] :U$PDNV44\we8rxy!W9NσCd2KQC9Gk|1j-Ra\$zEh(shER̭8ߎC;GʲK5~;$۞HT<ּ|ͯѰh+"!jձJ;hb%=!hw*Й/z'azƦ7W]6^ٱSx/OVC 4:Q >Ks(< =8| 4Qo[Ft=ĝOU4C26f y‘i Q@w7ܙ6ΉYu^d,b>;Ϊu)o-yND?ŏz ,]/mQ\ae毽kySQJ(<?&5+Jc'84;*"MH ? |}5_CadC ܩ[7=Aq}㴰JSyA& ݅ceQiXϰ<7(" %sIoVGN,CGROuxiVQB;Lozs^eJ/8N(5/Vpb3IT%;-a"Apd Ј:bL_b6?}mmXd"zZCHUpIi$p/od4d¯^Իyq&u3Żє@[']-FÛdك@4gRE))ي#p X <܉L]kh{@ƔiM'P_O("\ЉhݠL϶$z`nC8nH.8 -WxAQK.vzlC c4^$jA g"n,k+Ei(v4ZFs* $cf26Y1*3"Dؕt3 `Za%Y4p~+k!As_^S,G|kb#po\9 KgH +ݩZ m iҝpГ(gszy_8*N Z ?veՄ>NA_ GXjhGU)}eneC>O i?Y߅?(%+S;ꋦwmo4Nim3"tc17Ui  1gR6R~Җg| apJV$Nͫ;J%cmPd@XսHVy1{u  TUS"u[aJČog$ueZT+ 2q:1sMKϗЉ!驏܅"$Q7GTzhP׶_>AG;cm b]Fd‹#*fitL-WjhQ6U " ?俖)1rWk." hM_ -ݦU+BZlɸz S>##nOfߣw ԛ $9.Mvplm _M>b$LgXnF I E_ދIzӠrO jW"%,9h( gܵa$FH%4F Ǔ9Db/if~.d+1N2>.#O3L -& '1sc/vG\5z$\nޢ՚,bW:;INpCo&w|^:2!XlN?4"TلNk(!zu!ANG;I4U;mv\;-jܼխsccRv:hP;QU-jظbP3*C. ^e;`aMx]U`}`!nWQ<T|q.:1%@KWr<^Wn.g_K"J@^Z"Gmk5@Bh0sټIg)euɽh=YٗE<7to>"FX[*":6|m&quPLH't8\ kr1YK_Q g7:aJ"CەiΊЭ2Ò/9[4DG8+.}؂>w՛뢵֎!B9Zs̒Lۯ@ *9$s/qZW`l{^2ڙNϖJ?N@3Ã]޸e6e&}BXV"P~e/f):Ɗܸc4 igTϖ*ST ^O3 *lXDK uл\t F`mwT"&"1,luأ_%z}/F[~v<,^@[vT'(Ghe+pX\@{64D/{7_a;jID'{ UcK+kDנ^ip%_U:O`ckec4|^2ԇwM.VfnY<Y:M_#|7b-DbWn<֞.dh> Rlv}8=lOߨDcO5_@WSnyKތR^ōK2o#cB /M%Z3 %rxwC3SRac+څ*CUcf$6]P+^j*T]`JI3 G Au4[xk +yRhveJ!Bl5̞v0M I`_F=RPzw?Apz. }&>S X 3ۢ=x}-ۂ~I{m(fYPU @> ˘d\"(BnKҀ0-葎\qa*8l+8L*;)Z0U8J8 -y`SNX7Xf b-ĞdC£6 6CMxytkW%"-4ceW@:B f"_rPXg]yOIϙ+Rib̘P'? z41JzF9 ]xg 0! էZw1q5o im` mbGh#*+ە/&GopE#w05XH⌯7*Z0^ V0ʊFrk o{x˳!dxGhJ(|]H"c0\B6UtoPB^Us@+HyqfA|U,(M[ݰceeyQ_u]/q-.7k? iF,G klK(G#(AIUX.+0R1߰Uk[Jw0]q(;d!*]„)>1Yꛙ;%Ɔ?\D&YԽ(eޥoq}&Q:>sE?ǴT;vRZ} Tk>St87.`gxw( +4O20!=vsJ|I8WwcE5 ]!4FaYg[Zzl,('~DYUVc˨1j@0&.r)nVwsE9ލr :pl[;\mxll@c)azl;Sd+s^%6[qޯ؉(4b΁+w`})D UҦTZUj Jk;MQPϟZǷY7hoL`*ԴRozN;ǚ͍ٻOAp 6*"Aʈ87c;P_t3Hl 5rVˋ1̜mR8Ս0!n[5Ϣ&XcBr2Tl$i* RV<\AW6ql#V,Vyp ;ߟS mf P_I2Tz<  ['}t0=4Mߧ0ۗ^Kȟi2.J Tᢄez+BFE|R< jq.Qr2r*9nN1Lh@wA7['"OoDZXEJհK횙ob@'CwdIST0B)#maywΘ&?S=U5g+a7p1x9V'st={ nYEJ%jBmV)K}z`()TPU9D2KP2QD)1*bci% VЦ~ F ~TA1Q*\}=]X}Wzc_ed#X=(^f ;CX($G*FbB 8vHC9tMEQp(_$Lq`% gpRQeԣ~0< APSGpĤ!U?o1n3Z]8||I FKc7ưxƻD`~nPW%CE_a5#ţrE/ZJC2otDG4i.w\Vùt