SQLite format 3@ . BBh77otableisabelle_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 j#D,\ ]/ PseudoHoops:threads=2elapsed=90.540cpu=119.560gc=5.680factor=1.327zXZִF! [\]ŗXf1-/6vRZ"P*nIUUƖY`BNa>t\ V- Ȭ>|EWNM[ԛ~×[.&L&71OAM L 8Vc:s\B2b@/ (:i&TW>t!x@49LdaU-FE$N3k}wxWVZ ɅZt1rrocuV%Lp͵yBv=oh`AMpQ$#O`f@s)(5c+L=jE=!L[y_F9=Tl.39?O8X;p5~`=(NC-0CJŸ1W s Do(YXV_hn-2IpDhKzw˯oW3[kM&jZڒS+}/ Xf]wI+x3`p.wT;@I;*=GHE];}+f\tC5 Dn5USY6{ ã?Lwp-]"(7x<꼲/ǙR4kr|uLO6֬fO%Zŭe:=M 5ҧcA4@c!2B*JA7q/m,rSA8E KE'}2 H@9<`!J"1Fջ8sn JHQnѷ_9%C*:;B<6Z?vHh8?\nV<%>(W~l>LZ:U@(g.xr$uybȀ=3+Fzҧp4+@Vk\p.3tgi7H=-}d ĎThb*e oy.D *^%[4'V/IKdin]]nTAeC2x6FPD9D%eqEw/(b7ARS=1WbS&۶. -c0 TQ"9-D,?쎌O-nr%+ִ{WtG?]2 JaԱMAr3kCޫG$zp8uw(.8}SڢP`+]b gu5Kɦ8z9Ӛ%6g T/+/[@ kF9bw\"QC}l~'­kCc4m7 ag P1[eqPbq*:HƁ5n~}Y#mp8ذ/NBSDAKw݇ ǐ!U}ԦHRhkwh+ES>]pG%jv~΀C_MhWʝc M1JrZ dcٟr~Z*u(N#/^ږ ڥV8꯬7^bZ.ijĸ@5*5]ۚM[Sta/x"'+vGttr0rdOϪvCTEfgѐ{PTFni9wIQ=l?q g>MfғrH/PgYZ7zXZִF! P]ŗXiɟ˗ g qmz7 $VVs }0V!:E&>qu {ʸfv'PF #p{@]La%$rrt)kWM}ϩ~vu$ j|_UObSKK gBɑU)}'Pg[{:=u=oc,n'# Ƴ4{)lp"v6~{;{lLBS@x?].38gYZ7zXZִF! %]ŗXi%;c{&r|rhPΚQQ.Jl$~NѨE|O.~gn`GXO!B+E$&][ITUl ROc k= }\`CqR x`q N v0xBc+P(@O2]:ie2]45R7z`|YHɞjIћy OYTU~G*R&4^"Q%?yi Pahf-tu˔o͝d TYӍ)f W BQe{}vCl9Z1-=R;[I0j^|h14\94,8hA`0ZAEh<#;%dߋؿ]AnM'Rj۹K(^'cۢW'&Gf\ 03w.)K A<Lׂh+ 2t6uDK%028?ݽGUo"O7g_zۅ9}κЧc;@h>9)å)K{-lδM{jSio`oR9sFWfZD/*;oYCڬ2.-̩4xbb mB:omwģ&T"q?7?׻,EAํvٰs͸=9c yQ4 +d" k¨C:aWi.IdK1t==Gc?kQENM7|Nʻ7rP~i@{YD_ {/ecug߰Rуl= |HaPMrZ`M9G6Yܪl=-=fn—ҹdu>MBc>b`\Pa?5p rSghڔGr{9>Btb\\n<"w#U9ٱl YB2"DvW.VVN4l.a1~Y,pQ >\!]64n|v{q[:J5oV<ƚg_Gv.qvV`|Nb +`T%6@i8@!6W; B9NfXLJ-Q`~O^Yc*խAz7+&@;z>`iCk EwE=6ϵLx?fiQ,- ߒ$r`WV!C'4uUPzo`خ?*Qolچ97#NU!A?_ĪF>(Yq֔'6G7Y ک1P/JV86eLo=*`.>Iu;~5ʺe@to͎9Au)t( tlܹ!9JJ{M>"<c;Dr~ziIiv, !q2byē5OLzLdG>;qcΒeO7ʼc<0A CΩka5gudpwENp7[S"=H%I%ߧ\҆7jRf {Ym%qoM5f~~m5|wہw>$+jԵWbJ&vvA}bˎANׄsظ d9Vzh 0BlO%t̄vؖtiqAVoʄNչi?}wˎ#ٽ#@mګjqaHumDD20{>_}˞&彑Fe켶~p"n{QT[]SФT~-l+>dۇo,DK /JǝZ[=Nڿq&'O cl0Bkw?74?A&lx rZv%y@G*-Pނ l3)^>u\ />uHJusJժ=ea1+hV:c_N]xp*$FkubĬ_"0&1gG>YA =(}(auql\w506W <'{vִYgxE-Va LURzXyՔh˸ӄ:e-ƵSjҍs%qJ̱iO`mJ;!W 4N# cY孌<'WV@wz!.^Ý0"M}~(&`@ے l'n~τF/oePѯ5 @z"PƆIk҉:TW= d/y|y=K]%*Cgŏ0+sw0?V:i*w"Wh_2x`PB}t?2R84NQ hcS$p@-֙ 1"bJqbc:jȔ- x|YBO5l2`]~ qⶻy—V82ƭ?վ" YY B×ylv={x9."RmjEnh6O iaO@n4yr""mUVYk`3IcU oV6϶e%AWn5 Sl{'[Dn8ƬxiRل=&h߻y{B'-#jE^,h~bJ,&!z XҜ_=t$-BJ~:Y쉫Lp!F{O\mj×.IIށh]jҳ."i AgYZ0ee5e366cecada8efe7d07a5df6baa9ad9a6457b79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef