SQLite format 3@ . YYQ77Atableisabelle_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, "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 QQ$5Dl ]% Collections_Examples:threads=2elapsed=97.876cpu=188.932gc=7.988factor=1.937zXZִF! Y]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧMjyI `ы`/˝͞0nuxƠ^ G 1rb[6^s9wѕ DN%%W;Ƣ!Ƚǧ &S,ҙ#]# -P7Tl;+-"Hg wf%izċ3saEh"fVw*h%?4)vpx |O56##N(e#:wKy,bwF,34 ]5+8N*l:3~㒙o~ކsüg7J0(Z'7Et\ADTB ,l.ELr ;,2AG\ K^{!k)B,LB_@L}Vzpb̐YvC W{t (NUXȱR9'g%od}+UŌ x*]+^6}!$ [1lFh+ҞChKr|..n ⥀Sva.+ۦr[ G׆FJ2t(7j2pWqYݻ h9OKs실eǙ=uQVђ*)mn(= H30W_ti y`r+/_2:9(GOeʤT/e>h,L@Zl Ӭ:t2}Z׎#.zvQ>"?ܹ>x¼ڂ}&pJ,<;C7j僀eɄx-\^aUMpΐ=XTkUI{a&:E<眹cCy`nM_\r+t8A n sJpBڕ~M%Q^0ۿA,3ZĴq[Jvc21fN(km1O5,m |Fo`)7kLcR-K.*Akݠ;<!7(0hFΐ5FHi \^=Ѐ(*5ZX* ]~F]7Wa[Do8 T"U\fgjc0M+ &Kؓ;sR ,VkE\^8I}*[&5Q[ͩ=P x=RoX9R̕ޱi-ht^]9*R;e烈POzE7AA+KZ: +v x2fov0-a6v$U]u2C]vo|gaV:U`4d(; bgΟ3˓[L=_19~Q?˴ - [0]C0h=9Mҋ :**UTqN6E9VWm? Cq9LMC$=89{D3RoNqo'="(*،xf;XQi(oir":v˜ oq-;5A$D)Z'_ C D`gYZ7zXZִF! l]ŗXi%60l# F'>~ P56B'2zhXJ}}`Sf8~#+wH245c u(z*!`0/>A]v8bY/Y>_jNU6;tQj]eƔ~ǎ4-0~Rp-8K8ep'3UXIOCb$߁!Wy?u>^>Az뜴P07wQxvOxQ%oPLa=tYgʼv0xu k18d$ܓx`eoOXE}P4>\F/.X "; CbLzNın#򗋃z` ,EG_ӾXj.ɽM줉sw9A`֚7I Wz(ߠЩ7`;Ś UiԀ\Dv F2?9ٔ ˀ^Mݭ$5R>>Toߊ"/?#ϷFihiR]{iT;:`յ0V,sطdH*z1-iz)OP|_Smg\G\bO>q2nU1 wOx`gCo N[)̾lWɕiKY&v67 3Ӣq73UY?)k؁ bN쳟@Y*0t+/w.HK~SB[AXSq'#Y(#s\=ŮsDGA4"{EclWTl>K|0ڹ\)z^{p`l#{Y{%]4RG9iWR@@Lxd|^b2D lu4%_179ZﳬkPy``L!KҠO$Уv?٬"Uz\L K&ܘdzXK2 GuISt,Nhe=?e]k4rl&pJȮKdJ*`+Uao]-%6ΕU ^p±4xfA|#H^d_%R YmoKZY/)s= QщLOB1Mܺ{FPVE+._`-tg.w%ٔw~Dl2 "HW|:FEΡ+b1i\@Ff쉞 D߮.t-?݌k'-VolVn戢Pt;G/L%,%ѯ Pʽɉ9Dó94)BfOb9޵Sş0Ue/?OVjiΡ X_d{f Ipc4\qaf8=A r-!o1VRj݄=ٽR{xR)=}D|6|[dsL i`3u.zX_9bd?>ryyѼMfDBŝ)ؘnqIT^,I ~Yu&0Z&:O vDpZNՇ0n=o4r\ݭ55(gcLS;wo#yy [oǺ*`oj ʹ*u 5fL, t${ p-w+\@d"#a{b+~s/ dӱk~ Zqް,Y,%z fv=ߨ@**(2 !aNvq o,Ql0vYM\'s#90;]RRޔ j*ڦ LjyP!Vs"5"PgxRQ Dx =GWĹ_Mj-$Dic hZZ|tĆ4Gw@&X@e+/7QzZ䥗Rwz4Ѣ7Gj`m[$ɤʍe4Bv T״t~xP(8m]s&Q}qH׹D'a53$Y U$.oBbX7\m[J#hF"C|8WE%҈jҽQ^yHD-: _p T9L ]bxa+tZ,m%kOr–B`ui˞>"fiqO _0t:Bl(iުO&swT4(OѴ;˛.Xg! CO=ϲY1uDұ;Nԏ/2sF8ʁ8@,Nծa*SX[TP;"@73'\2|-%#7!V|YRR9GMER;z5Sd(3e7cL!hTʌL> 7ZMYyr9\6 ޷NN3\neWnK`p^þ HlM>fhPgmHuz ӎYv1 9 A8$²)nKElƠVeM51C*9kdPJa(y"Zb} -ʟa1בt׷$$%Ѕ gYZ88d37792bd69363dad645fadcd3af296c4aaa78de3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 0080e44b3ecb23e316a4a5a70287ccdee62dbac6 48f8b9ff4ef4e6d4ea5aeb09d9fdde3380a7aad9 944d9606626b80a75c987034d1d8157915dd358b