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  P P5l ?]Berlekamp_Zassenhaus:threads=2elapsed=157.674cpu=288.744gc=13.744factor=1.837zXZִF! } ]ŗXf1-/6vRZkBNs_wlL_w'M^sͬ\i%j8xps$PHL60`ᴡ-Qv]~&l30"6l\—r`2m!{/ӇGYZ$p$ʋ IȸQSըbh |5#ǂnfm /|ї҉nk5eʪ}0xq5VC!?}" PH{܂ &I/R:kj@Uf 5pӎyM*:2MQ,B4+?5:xe@cA+uq*.wTBxkH;T׸FJYLIW$ )jox@9qK,bE5Aa ̷ׄҘfɝN:OIa:d\%mLM{ & 7{5,vA`LUZBxьoOaiioh3ck tBYK ia h!s5ERgZ;$̵RX8Esey5ċΘߚ/DE:őÖAõ4)A"Q1@4zÂ\]S%OA?TuNx"Uڟ@| OQœ 'VyYVArLw_I9^&4`}‚ۓ FϮ:];@Gt܂=&u(=GIa~QQ%=o"S9FEAUr8 !;xz<80Z?^MRƾUNsw <ڲ/*y ;C+>vS tR>IZK S'h>.]aPwB.X}.j,kFnz*TqO?K![4GZ뙰ʖFkebxI`K|GxLꩲNԻ;@r|ΆGQ@r짲(H[P9Ԛ56amuѷI 8fǸv_O ķ{ɔG4O^o0's|},U~;LikP'# FgPC,] !Nj͑D+l[5l|we^U0"j !PAW7&2V[ e7R\(qSڍ %5=ݚje.l¶S/ǻ,<:*zY^x$85 37aK/j٪r%:!9ŧRJs h[TBD*75U3#?j IZL,†Jxv%5%xOVoģӛ|5'ژӤX&̆ $3Dy#2%F 4N gmgڰ=ev 3(&fRlY[B1;&IgYZ7zXZִF! !]ŗXi%6בJײWY,#R[c1"~5K%%'/u Z>VxIp`ffR W8!oPs4$Y_ɣ;/a"vb祆ʌ4690PX/uy :%S=p^5{"egqOLu tߤT9{?8bW?-d$q{8"AzE{F7!XX0_'CG!f y 3gZ&T+'[b !`Qַf}T!a]?.-4ru ׀0ƚ,kD_&оި]A1٧_3co*y7ISp[2*Y?1F ]e:x6̖HƳ C%у=3jM;k21rNI6Dӽkfn҂oӘTq6rKQ#G 5yqA,dHT1B[8IvuNn[9CК[17.D~};T~mNG8)8ݏQ//tuj:?#Rg vͱu%^z%~ffs);:mcKg >CtC/j^+ƌq= q@v-78ԯ3934_O'ڿiwO`^ڲߠXʔGXo n>{UGN? g|bcJf!֩y$)&3fEp2ǦFV O3j7+[HLkxqndkMO2]Ȇfj_ @ 59oP~B`C_d-9[=e?!'87Q^ք1醫H?cb_,Evw5˝h*iatJu eK8˿Q$LeӡQ&V %UO}MT/-u!% VN.%_B?m5T/X 5+DUKGVȈy;GYK;gQ8 p$: 3 ʼn/!S){pHebƁf-KWs,p+K`-o c#J ?xӍv5xM|ol L>Ix!O:Q>Հeߧ}d/k/Tfk'[VRH*?90F|1$ AāF^oP8Xm2臶=8 j9;9<>B9JMNJ$BD*$?=P~تr<5I=Oɑi˜FR: wQ 8%gE͠ʶҟL_?d.05m\ñݬQ[@(g8*fyʥs =sbYN i~OrOuv#@~?Re̢#}2=y5[=Tj/ Du׺``BWUa1.}[JPr N9*<6'TDn(ͱ;B)2x*hn&)I$+_!+z&Nݤ߫+0uh̡W5K>3J^~)E1D׆ܹwۻ٬EjEHO21l瀸e@c99.w]knG=d[) b Z&?%*Tr=S:߬xïN^(֢KQ`.ktXA.@o{c*qiMԈ {k 7|d.[iqEn{*{knLP`(+mWaj쪛T|\h m2׹L˴%%\exbT6UGe)Dz~;IAEkӣ蔱m.B~ %!܊@KYЖYyGd"C5V+͞ʂDFǰO,#R5lN=٤6KRk䜻Fz'o[ڭ͘d m; dF C4G -_}B 93lC |M&+D9$ր kKLMe@IGu_nKeT'LSxuƀȗLQjcuqApO ӽ%MeU8|??݆~){QKE)bD6Ljaw(1mO@%8rYavCBOw,>* c.[aAp`8KB7hOw+[\iO7 ۯ^}Bzأ01iOle#)Wv狀O*W5Z_jRq0g.|60xl6DK݁ }Gq96Ou0쿐^].;' 0X7}c ;F/z%h8d*F"KbM)8^~9dQlB2zԋD@\$,77tI5 ̉5ɂ{xƳQJ*F:W\31%wƃY2S'K,Oy*.JSRJeSl:q8BoN=Cc_L1VI"[ک7Bk)3GyWoߵn  6PZhgM!ߌaIZa11"jU5EO#ا u5&BTf궖 i?0!TxT`[?R+dW=gR}Sư[N/|tW^iUGD;-,Uj'ZY Y4 )9=Phsљb㊤9({V7 |A/,$T >~4oz;# i~DY@Fx솠mFt#g:\CƣczC.3: .A2}P_?ZLc0Bٮ9YF٥%rqX+|QMK#_XSϸ{%`&7鶪?4h.s [N#ew&,[)]l:zxY!vCy[z`9YFضnE-$qϧSGZ*Z:vӊ]cbP2j}D5=uz5'6>v|%芈gQeV nȀ3PD@\Qك bD.ŎßOf[N8ʗqtD5_Kz6*E[ #2[A;;"}=2op.>^7OwA9Loe?r2vsec`zU%u( JDGK+wM~a3s^ {L*qNm6þS3 7ҧuE7G>>Qb.___&d"ފ:EMV0K(zv2bC!VF,Jŝ#i)vНj A\[}gq]0b Pv*,[fɬ̭H]Yxޞ"cQ{ ~l5 DŎ&?GLa?ΟJt[$RH2ɞ"}:}b9/Ѭa_I1S1Ht&EM1B>ANjƳy]pO05X+.dSziIxq߭}Y60 dF6 -WI6F ,ԶkbKPgF:ÄU^3yH1}q @x,u&WGЋc[U0**w]$3_A%6o:&8zލӹmŎ%(xY$Pn0(# jC|Az-! s4/̼8 JX%53W^ ܪ_9 Ig pvX55^Kl+ߎ\Ӡ1˴l0R?`ˬ (AԹ?edf,n Qw)]ށ4oؼuSM*i?$ qڒ`~IZ 8Ĕi;β0=(rOOϤ  d2{!&BtԻK[r'dqL P-ެGh~mD2%͈\&'G0}2-d'NvMO:t19ֲmЫJK ?Xe+1L #/M0?@=oCq6IN}wBÁ2 xhr"1+3.Bi&s!xQF0Vv~ĒJQjD,Щg9XǒL h @z])913Sܱ}5ˁP?enkաl7 <~Y((|;G Gx<Y_*^5WWIu?*j9vy, pvK / :YwPđbӼ"A!T /ڻkbi"v@1`=~Nj< q{w_2fy&*v+5'F XRyUH2i XZREg\4JGF`'  _K,ӈSz摚|.ʀ?{^)db"k2#BԦ^@zi[bÙT! j_a? Fa}摫9W(o2[qvg lӲ\(Eb"啓;3#@:Ɖ~*m Zc;S"|v,c k33jC~"ipbn|ش@ov&ݖX cr,>qI3\}n|Jow&HQqq}Fb#dK3V119ipj\#]*կTWAu1"Wt|): TũYo[')%6eʃUCֳ$ F3x7=\#ֳSb{();z `<-+HŖn똺eH^aϻ9 =;Ժ !~X7|'"jW P:?mÙ!?_rNawG$$ƎaBAhE^Xp2Oq{L,,Cz*ѪmQ %7zyAPū޸Al= IKumVH-xg|ol0,ꓨ0$)|Ȏ99`|SNW}XK}ySנf5a8c#s!uE ob?Yq'6PE r_b T1\ggBaX!RxI$Gl Cm /w _y'&@kwQ(/%h87מ |ҟ!\dwƍZlvKojT0X