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 D L s/ DiskPaxos:threads=2elapsed=63.125cpu=86.380gc=1.224factor=1.377zXZִF!   DiskPaxos []ŗXf1-/6vRZ3`ivF>qee#C n./Gfɥ%jȻT~Ls"(6 WH@?҄wbsΔNe$!O34<"] puL,Nv g%@G[aXa~Ϳ?p=V x֭^Z,t_ycL F!|oAxO7 ws~҈qɺfJ5Wtn.u2F3Z݄$Mgc6h,,MQ3_x2{i;EMh\KmW-yqnZo#6- *M ~HeavE$}O ͜*b\Ń=dxДg}A7Ay;Hݎf\@ܹe}d+3+jOF rHT”>i؅iiL+XLSW8l$&7zmufۯɺ\6GJ,4b/7Jv~y!Ch&p@B[,"( #+0gy 1SV|jB 5g P>mEBwMKVE2ԒCHRm`BjȰivP q h8Bxhh77EfXC:A):h-b+Έ]a &&6Fhfޫ FگWQC,ߤT2+ "?/J\ƄUqI03w@r ܕT*`+ۥQa }{3&=83 h؀e4>,C&Mp#%O#Ě `^zb5։̵$hZ_m,I'mWBj ^6c(yh|0!JW }DQ!xB>sJN-ZБDaXk o()0/АX7 TrlYeڡǑip4$Y^ڠA`GOYI>+yɢ}pS v멆BAG\j *Ʒl⣶δ<"ed!$aFsj2*y>,4Կ۾k|ܲwR9B]G2k[ ~4]2!ɀlMS7$4]_JPWP\)?)(.H[j4^QD~nq5Tw14]v9aݞl;"tAe7qW&AE/iA(HY) +UR`\MsKyt1z,`(vh  U!xu-V Ӏ':m/:U)܅W?AO->f` 8-U wSo ?MG-(PŵpIk`$k? z(kB _Q.j;+4iծްK)G6Mɚ1 Le iJ_xOG^}a%.Qh٥o,Ɠ=@FҒgB߇|z|ꨪ]i tl2? -jf!ZfVh0] 8ߦuBjM&l:lͻ+&X|eT7AM7Y9ClL[8W"HiEb 1HbJV||֋C"ʨJ\mE:MM\ni`J&t q1ue\˖)NI89G@'N*i{eh=Oq\qO>o{O I (:UwKsⱙ6\jKj@"֋L)uY\Mo<ځCDa]F$)oPTV ?1= 30%x].D}MpX~ WHQ:m*usۧ0h<I ~l7|bͨ"/}5~#?{w")s.%Sa B)Pf4S.P?xZaGE(/tq+[k(_RʓQE6l%y 4M_ndLH`ਫ਼$6ةyMȟdd9o |q zK^F?.0Ak&$bI'CI~F6:z5!▦#.P@G%,_ D&Ok\v/Ӿɛk^_fSgՋKM[`{qV?2H@SKTߝ^[p6Z ?;:=2BWx|[(}w?pm0h{?߬TKxmFFRD< ׉py~uA6<*:wǜx:qbm|'4C <7[6~uRFƫns};x]Scx{f9Ō[uyyaD`*~:ISaW. %~e/I,,ALP^Qs6{]ouk_WUBjII8|od *߿P!G#fF;3u+X `xHc&iݠ _69zwXnFdhf{&bWσBδ9l ]m 06ɑTmɘjSh,fiٜ8fOu=Q͎U*;TnCZ w Ew hIr;0sA<պn ކE" ]ƺn2LkO5&_ybuڒښ!4U~K zl"jMްw:X,G5ؑ[tKR țg7\p55fG6^] m }Y5)un$5bLG',8#g)9'N{Ff=4 doPzrUƽ/|̐ s=ђw:a8Ţ(3i4<ăI]6phE̾5N OpR3$j'U`inS 8Hܔ.J mcV)T& #7~qL-+(:LWwg8Q59/~8\O;ܵvJ@ʠUӍToѵ0ɕriq~pXRJR)"WA[>bKj^2eٗD!f9cTp%s(Ŷ$ep;9}3G/L/|W'(Z)t}[U5Ge5)f?kxGp0eOLST4mYdnHˋ vC[ k2"ؑDDfMǡf]LIWd2V2DS~Z|Y'ۼCh ܆e÷l~O֔^׸]rYO4 *a9kN ~/53patnw/N1[PI~d]\8+e}vPUOGRJ ًi`́ Y;fђHFe9ćww (N#BߒQ ۜ`Bף/Ogb]L=ۖ`킬D{,V8 m]X1(RrͶ2]b+ぺm ٪/.ajW):!i+֔VYH9\ku^|,wjOȭq(%ԯU-&5\|o#nlI%A~& hɼ,oGMR%|Ж B.po.}wj@ q]sP l~4 QӇaZb*?"(Fcth[:, ]/"8 e|VHmG΀AG2 ri מjb{&6,ҭl@0tηe'R1ivVn։@|.9>xb-Wi'IQTŪM3DU"mz$e>Ρ2x{``e8k,V(plQkFxҺf<\]}tO*GX2,`[h,v(mwrׯoT8Ŏ;72mGBG [q NxaD{TkLA%1:|~;r B@CuJkϳn;mt+rIV; ,Y%3!ljXdHY Y*L7:"a)us{1F¨qe,kwtNZ/v1D7i+gOĎr/xzH``Z{ZϼVA *i3B hYxX艙wWg.jh/JDz+V ;X[b R%!]Ƕ_L_xNVf2fp= lU(8l(r;MzkJqQ)+(̋eZ.ޭ f% +3 SAtq/%0&f.yG#rGϹϭ6F<}"E١`[ۓ|RټH,(rAՓ a$wXHAk]A>R:)?5{6w6ŏ4`u6V9^=ïȝImb) @zwVR^] )\4dt[boC#