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 9 \4 ]/ Locally-Nameless-Sigma:threads=2elapsed=40.443cpu=68.580gc=2.700factor=1.707zXZִF! "o~]ŗXf1-/6vRZBh S,Xf³@2 4".%-p|0ɀǘ1vdzi]80^OJQPl}Dc G@Z=Bb f])15H`dX3l705~1pp3jrmP1Ԋ%g">C],HܵF<G\넲d\ Zز~S|Cn0 ceg rO+5OmL+/Uy?ߺ1 PbJ0F`;LL\ ~HqK7yy7-gF.* lnC[  9 Locally-Nameless-SigmaM#E ,no!O K^2@rq&ZUmip3ظBc:Ki'iB0Weÿ jV;\l~Ht:klّBV# y6pW$|ʜt":?I1abiͯ:VǏ8ij/nlԠubr` P@$55zQ^x'HPF^[pο.mdw͛fq` x? eVW@q?ij`s.[߱ J $hH8QL))З '!d_VJW`9e s%S>7=K؍tSk i'(ch',jl/a q9QB<5Bgn,}A(8Bpk"<џf(h Q̉lSڥ1R-8 ?CYd{Ng¦zVF-z{sSIvDS}2)7=roZ yZz^AUoo[\KrT_,?F#v'K.-i.VVb蘫3VZ~<5QF@j%"UL8ٟL!eƠwj "e  gZnF#SS?^x|=dgGodgYZ7zXZִF! ]ŗXi%;уqIű>WН^UYb+JVOve]tj 4L F ]I)z>,Ԣ9#F}Q>Dgϻ DƖpvbcE-(3m[ĞD5v &%E7 D&s Lh<%[IiɹAiflmˑ-V ٥bQ J#d-ơیzv7]nA~},*ʑby51vX峇b*%(1?Eˁx??;V!=—\ ; &YeGGGTc6R[ߺI|KV_\Ҥk %d0,'G%LpɦU{ @P|ɥo@P*c*C-X ߊ04dfkL ZѧIu^">'N7}PHZZ_ܯkߨIFV8<6'}\5<ݙ0$ozwlXS-53XA7q9 8A|~AqPĭHhFͺV聕7w.Pҳ~3bcDLQ n<#j ؗA5w7Q!5x%JS`fy(dAxN1>#\3yri\*n紫8Ě>>yGU(}dӠYΫVE9Xs4Y&;<26l&-3=MKڳQ4uFR]&uռhkXs|ôf.T {:Zԑ;1t&tFڕ0Jx_cNPuV>^f.&Ē>YX[.[õ_\xT $f[VG#2o48c n}bze*7BTH{-qi#Yu |oa wwOfCRA}-p|GI \&#y}3pFN$;'Wi@pƫN25GwJ!ej*o=Z+r_LzB!VWחJGFXmn1^SJvkEl|z݈Ljl0"5>*81t'T3EafVmb}QZ0v١l唉a 6 &_paWsapkѨkMCh5:+Y9NLb%f(m) %НG*뜗k JP&! Y"}I*2F.YV}?w@+3MЀe߁ceLF&[MreSUkO6Y1N.áI;,epѡG$\Zi#|C8,쇠(1S)(+h|Sx{h{LJ#eSģC9HQ^Uۋ(/h@,'=f\/ ;mhZzxHZM!*{Oȍ&,(.\NU.WC(d h}=&J'ozovTX(UJ0ԬH*OZ߈!Uww^2>2z)(S cxV@]к[L2HT> D6POɧ{H(OwD򯟯`!>3a mJ `0pEOHrJcFBqr];8Gq Ћ