SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info a/ |  POPLmark-deBruijn:threads=2elapsed=26.053cpu=48.060gc=2.880factor=1.847zXZִF! ୽ ]ŗXf1-/6vR[1u 3ܸ&S$'W'&ӗտF6|r5*Ez "%۝jfː1AN JneB3Wr9E0,T ) :H]J!G',DI=wꕖ?jP[.p/qȜ1*lxعA)F;XOGDH/6Wy#5:} / POPLmark-deBruijn1AXhJ{[ޣ@һ湲`n"eJVn&뻫6f:E- o!IJ}O3+&VK؄~n&ϸEʛuq^jSMSi`^ Iߑ Dw/F˝0Re]^fR=R; oQ 4,PĀл4!blmXZJ~aG|B1GAS*xY#xC'PDeo#(+Y.%-(ߔ9"?+niw\~=.ài<\rJH Id2XF4zRG4f*>79 E)QO.F7Y'֪|,푿ܙrڽ6D蠴`i2+иYS}օ(m]1`,sfqB_?*|.4K\H\Gv49~:o^q¼G=*"^ȢK껵+PnITƇE͗Tƀ[!aC/≜~Azdi/Щ{@Չl(q=[ȢD5u2wL@gv=$Ť 9U6,/ttEZ'(N_>axCDՖA3/7߇M6X??+j! _)k7}!;;&V#'|O;Wk,0䓐tԨSe,wEs;ܑQΤf@v\إr:)EkԟE"2V'Z(H!3C0ZfHx><:7b׊"1ʲl+Фh҈HMvgprÀ_h a\hˠzƃ>0D`ʽe`ҧraHHGD o@yh;2)<3GT3Zk?qs6:tG{ H Tf"oəsU>8O 0!&UC4K|,3$MQ{ {xaQ ?gnH()-ydUCM^!J7yZx1~V kDm_tyPóZ^z"Us@h sX(h/K4$ { 3#<eYSp?_s1 (Y4W@P4z 44u 1ϊO;YD[Ͷkp(\) .v,A]akmJ(ntXaSFM t DY.+4j] hDI* pHr\":,z~{:0ᛑOWes ,sD(ӸF8^!"9 -Wǎ?rH SH|HbsHp)XbE7cW)ΒL[b=m5x`ItY¬=XtU7g() l1Ʌ=.y\ZC:ѯJ4@@T6V%Fb&Lqʾ>Gkd6 vvS,j3-v]fdܪ4wj0JO}hc ثJ#f1-OS/_0NqnLU/>*]#'m(F2zMƳA칐-=iGfi C:re %lX-*p3;'nV%ث ;>@e=^gBpo#&P4qU; >avûvǽkLXƋÓ\l7Fs`{S4>~Zvˢ`F~X `c0:y^!t_("&VU9Fqz&:3;-pjsfY^ThWUږG[:Fph\[R]ӰYWoɆeΊ<'=:M8m_ۂyOJ3R]@@Y]QmJ1NN11L6`[AjbG-PM P~hP}ÖcBKEbQfw9?yrFlPFz+s$ӷ+ۏWҮy[\rOir#ҫfVbmip^"=s;݁ttƌꔍxvϐ6nbc8pXx۶4Eu,1fjf錠-*O(҂l)YŢD.>g5,[c&?M6njHe#/ H@iݯ;>L h3JQb+].™!&}]յ+̚  uoƍՓa%gq%HMn+ѭ95\0a*gm+*ѓW7{ W~=^2^)[a?Fz_>,r-/2B_ln;P;-<݁u轎s]ZzPeΜ+ .unl1Cx`C@p~ϗRUD.gKsA5j_=CyZuy%\ >JT@4px˱gYZ7zXZִF! A]ŗXi%HﯖPKn(_rցs4]I Ҙvn@2Q^jFbYB&wA+JS่Rm4,,ekgsչ9נ>5fۉٌ,B'h9Wuok9!NF UgAZy+qD{ۛms|"q#p?ΟGv~LY҄pя24Ċ0C1ޜ9} aJW2t@&z3}".L }dT!y,ȊRmju6 vA#X]G}FҠؐ\dc1 y&i'qn܉qŌ$ QA?pe$Dχb[b6;?=aC,1{߄ˬt";WM~zJ4u&=#g dV@+xYEjQۈW߷a9"@&gegT {XvZlh&_*S4q;Y;rBL~te1IToKWE̷k~ޡnx h!mYە۩N0[|K ڎ ƤE&<{e|Ds2tRo.Y>F3w>pX}S/AePvK*`B!XO^ݟEsب!m6Gm`QUyϝ|x@בQ+QEkezGeeoUOzȳ#PbS;+J$ _= gNhʮ$yX*z