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 " \ \ ]/ Heard_Of:threads=2elapsed=38.595cpu=63.852gc=2.516factor=1.657zXZִF! ]ŗXf1-/6vRZjVJ25Ijq mʃ'{sk:W СƲK`RzW*ɪNOԅs7 ʚ|x=vHՐmFTV- KkwJwɪ3YINՔ,,8=kP}ǣκYShF q70Iaz*i2ÕhUfNg(q?F3ޫVҊ _YBu4 DmvOk/J ytGhxȨ`t2a `p|Rb6S2q:Ir^$MDW46 )t}>".=g   Heard_Ofw' fPG"caJOXUZ#􃾧D9Tp* T,R17LVDdBK t0cO0tn6tJWB*DG(o5j9e %xjp}`$x~g59gudf`);RN bt My.;]^S#)hbW h!M ϦKT_R'bzV-XJ05"S?o$Mfq\dջU.Wu)ʀ}Q=u |)7 E؈ɂ e M_Q_( (p'%,bւo(Cr$f+Hnh+Б9%ADjYmLbY. (*و0".HOMXQf8%=6)IcEyɏwD5\dջY:ë;(V8JF-x:|5s۹T'e4ܘKIY_CT0KvDo\VeAngYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14ȇJcI'MA3`<H;|vNPp~O__ ,&@|ma!Z%,A/))R[o8tD@Cˬ9brh7vE-^>s5 J4"O~`hxՏxzDݻ$6qh A?{έ^~H,vyŵJºZ/Yܲ7.eY3o#HXT[70XF8o&uX.6U*w*p=l,*qoh enUrgYZ7zXZִF! ]ŗXi%;i/&ǡg˨K#$†J ̗,5qTa[mat,YcϠ`/j2_8䆇@k)umkY[lCMʪ<]f5

,K#7d?F\D/s.u7h&2ѥ89(S?49\9yWc"\1BIکk><"L;1ymfCtnztXݦ^3hY +Ht,J)VT)koa14?]+q̥𷳬ȿ6&j =zWcˆ~l[,z,̭K)P,dѨQNQs$H&^Մ ]' 9aRl䯕.ͻRdgɩ/we;I`ꯡ(xYf" OtT# _"=@.\C lTr!I=bK-AvSA;f;w^YW4NU'Y@$[ kvݣܶIlCADp!(/GA)b_gI"9,^+ ~S[3 ڋL4S1 kԥI[B>ӳVh 0M d 4+*u77\ 8*LRLXWfJVmƫWolUl?4axϞՐhO]>Ò%?~2g?Zz"z]׶BEFFTc-,/%5ve{G5LZ0rr;Ln#CI%LKхPt4qkMšâ£V/Px:(7[1Mw24\驣QYޝi NXܳ]G"{{LKD" U[C PZWO=dBGRN[%2ĀliJaɑD 53PnUS4VP+Ϭ`_.?L#U )=[X 3$zCf/\8Un[)30d%n4Ka \N=4{1}ZhfQD@C&4㯔NY/i&U?\wNq7 @f0sF/#Ϊ-r|w5E3y;2\Ć(uxF F _GgwO8I%O6Pc)Cz0SYjFv q"kXj`fk9˳Tu Q5z~K d! !iZ?ÅjqJsԪ-f+V4~2 sPC(zy<~Rc5zZwm(&DN/sCHaF(ӧgoi l]q"W_t-XU2F0S%Q>.t3^`kYc-vA`HS(dCYȬ]C_aa 5` ZלhJ`F ."`uJT|0\Dq"_-J&<{̓|Tv?_še ź&tv%4.RŀOGP/%V[egIl-J#= ھɿg({G ͝& H8t;TyXr[uc,-|!zU~ LSL,0#ICk΁Aս4en&c5zLJxv=린7ߜy2/3^Eс: .of0Fab#JZfR1/JΐoYO!HĬ %&Q4 %9͜Cvԭҵ۞Űg) nrNf) OBW@\ IϪT]v(D>"A+b|T/Lw'pKtaıXskWXA#^1J8¢y2"9>Ta"3߆Q~ZñgYZ3ffff36ba2286da0465f5de50c2213e60198de02273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625