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  -)lLD ]/]Stone_Algebras:threads=2elapsed=65.233cpu=101.468gc=3.440factor=1.567zXZִF! ?m]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTūM0mrǓmV=Hϫ(Ja4[ v]lx<.C*vH]/uvEa=- k-:3ܔ<:I2u,F$}<(RrKB @Blo)~vC׆QFޙS#lhO=agY&XaDH[).` <"'0QG]Tnh~F²_\lӀgqgyJC.ÚsU֧b kE!kTD]"ŭmQ]`RZ1o+d3']| 0.vxY?_`Da !(\E3r(oZwͺj0lyLRxq0^ptܬ: |κ#QoE!=yGP\TEْ-F"% 60 ꜔ '(@D8 Myxr#0Ð5UDzEҎ((Cd[5+CQ@]L 3O P0+jjO{ XpZb7+~ކ>ȋ %ރ:E&ޒ%I1]#D.GcRQ$!u s&P)gFg xנ/3,CH!dW)OPAq/7 ~ ;e!S]$0`H} :F7ZB,,߱m!s\.k t9!SR Z=7ژ\=L=+oDf/ub:m<_'()^AoJD F]=0(sq]뫬]0aBvk CAgkgw.]vh-fd{xhԢ+PTTᚈMreObސy}L,DY2pW)͒uwLkmfadi4گ'dm_Q`xEgbYtS7WQ>:]ʽBo5 􏓪0L>>P`De"|1G]Akmٍ*VNy-P<.0Wҵ@k Y׎7hy#6j+GMBm_s7#)[? *_2XPA iG1UG= ccraA.Tv6?hq Ѣi%io@Zk5QlXQ;oxXSԭrϜ~iO7HT2[,n4uZ69xo~aa+Q gpPZlx>L>wOq<ga Bs'`.Kz$32蚅?sʱ52UY[َ3Ey9 okf+C4MGb$o֯d*R0)"#HyEe1i 6y:_ۄ~F|Cא$w`\6H<wK6^KlOb?I< (oR{ok d2,dBz2W׵9nd]t&ҾA ع6>I[gp^nu#hWEMV~ Z6?0Pǂ_\RޜԾ =^h>aCjwG:/!8pɼ1sxڳjNy? t H0x-7h/jٛ6 噶դ=֒4/Lͦػ *QP+ǧ׈tQwX\NS=_t!uWZ/_Zx//)0^Qn:Лhn'!.Myԟ.fz% 9G=}h߷b྅9隰Yp@sGj&xXnz{65cKH'9_W)1B4$$xޜhV$jtBLsṟƹ\UI걨s~ӼՑtVFK(;We0nv? 8EX0S;waf 2wnڎӤlԦ˂u '( (JqֶųkRh6mM>'f(dZ`dW+`)YdΞYN܈^,mΛZ?Pi%Dvž4n x@ =盨݃me{(DYs/^t=(ɀOPL4 7}n6'wG*z^kev%Ǟ^3~5廼™Ustz"׏w@r\}DP%\ PՇzVaϷUfsF+<.L&bB]f8[m醭42/q.  &ޫdO6<`}a'C>[æZ>%S؂ֻƥ_eu&p">F$ ?1۞wīՌ('sk Q46dM%s0mK Dnɣi엪 39 ^oGm8aоM勌9ʀQKc)=S+ a[#Df4I_ NBGGŒ4^XTCydۢI92R:,p=e-".*+xNd &dL5ݤMC&cmЇXUnɞ+}➑Tj⤳l#D!pB 4uE(p8 hJsO>_4~-Ka(P[$ l @O-Mcp 'N!ށ\f\ Լmm=v|;R?~ * VO13*T9pE g(}U80Ф|jT9[Wkj4(Z!e̊jk=KPé# (ܭ5KE`5eC-nm}4WӚkO5 a~1WF<_@BM=y]], Q^7;!-\a|ul5_x}ᾣ&O5L$ce9%BCp߅h8_aڼ<m'f?HYv蝋ba Lgn)Йޝr aA*| r6uoa2sR9u;\uB^֪?,VEFq&zhrxE~7\ H~[_jLBnngM`oL:ʓ3ӎQQ