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 Q  CCS:threads=2elapsed=20.268cpu=36.536gc=1.008factor=1.807zXZִF!  CCS :]ŗXf1-/6vRZxi}t7hSyv=4RMrQm34qN(SΟ:u쵶/t}*DOJR"'O` nsU|υa~Y !űLPO("6oa\ ɠYM^=7-A Mi! &7H?3 RL$+~gX *!u+tv3G:Rx(2 jGQl8wDv3o ۸CAie +ui7˫˴]&Hwrk& \<e5#. @]9owX ZxĘ=dyX9 jQY[W4h5G_p%íTۢ\NjpDX,t1iųTqV i9vTy ^ϭ+C8|@jAsCi}jz'Ozȫ}տ? ^]bD܆Xq+"ϴʞF]7)É~yAbH:N#Bp anRB>X3eN 5N[ xD)8Ӝ I$In"޾] 9p߳WZrZ !e)|s _/hțǾ%qqT(u%X&~T'üH*ScU79 gٚakfsB#0ᫎ>c5JYK+یcR,ZƮ;~ x{NgoFg9t#fN\L\:Q`]SS~ȋIX^Jeڻ/O9⑳P c1&Ӫ6ָoЌjgNiyaˆ-99 /pfN}'Έʊs2څP#ptup~Ό;>&. DX$)G]Pb.|7yB Kod mfvJH>6o1ZĖs͓WJz[@=PǍT`|Du;٪'FvNĵ>28mFO͸1!hX7dHVL«`q%C]|ljꆉb2}dNϱ2{f׬;D[-uXVc`-l7l`Ah<*@n>>rS'6Ï4n0lHZ<@/:`04LװҴ=R[Ug4flwaFNH;B\rr+Gp^&yуp30%C6!Xڏc,حvg`n0h tq:gYZ7zXZִF! i]ŗXi%zxg}<)3\K@S26j&fGm"IB@ -6:h$3>&frHODI[BAjM74&rUlwʠĕpL(?ʯh `IGk)"Ɔ-/;?@L@iOEFaD+ʨ*$ME0Ĕ+feWL:7Uwn}ZJH{8-hU}az3Kl*sdv6Muq[~^|A\2ĮU^SҪf!R2RQ^ 3FR# ec(}f+v51K뎴Ak)s /ún綊u28ȦꢭXiXZ@ x. Q8;s;.c=2Oz.H궴&"ގ!^? ުHPd& (U Sh)-h=4랁OCeوݤ) S X^38%l5_xb Xu%5r y/VY@ /!⯻ H^ڼ?U1{*/`,y!SLj8ǣEXN_5.Jmz̜ mQd*fQ& i m"iVX\AĎaA@$ӌ,t"KMM:T8]9:4 |F5}k"?1S6?R+u*o_1m,5@'#q jiϫN{١áf{x75wrҪ@eٍXPӮ:B%۰Wu:+jJ1WVOD;жm#C5`- n"C%~<LL+hp763ۤUÂk~/1ĸ$ѹ-[^fU?eL~d ahWJ贪>l{7: tN.Ta h $r^h!XN.3zT ogYZ01733c6e4c2c1915db4efbdf15f8f48305e6bfb3 11c75d00b612dc5802f9f13afe0ef664507ffb5b 1d63adb9e2f7185391523dbb950c8407e64b769e 21ee2f691b40714640f5145644d0b81eb10528a2 2909ba99920f63a880b3e8e7ad8494ad01c07e9b 2d3de66ea801849aa0987edb5bbeb27198ea05d1 306941848f8b6748a98e5d2c5cdb60c343a6a9d3 3bb47bccf9c60672e53d4b13212d3dc75f4c2298 49d1932fb6b0a8391048aa1c31cea3999e08ea4c 51c55857ce18be4352fdd090ab576d218e59b0a3 5c234b0c27f6ff9f7630300885063c9501f1784c 5c67a0fc959472193f4df04615d8d890bc2bd34c 5d44ca43a410e7a28fed6e241b48c65f85021ff8 840c84568342edf8bac92454e3710d1cc9097920 8f2275b4e3a7eebfcb3f3011d89202e8a4fc2230 a1a8a914cc0eead1b931e4a16a21d49d347a0288 a5ab74f1e75fdbc09f0f8a270c4685962e5caefc afef20cf74339f762775029bc50134796c5621fb bbdfdb18aec08581c66ada7952f092ee36f5b5fb bfafd70a7cd13b719b4067f0e670af8c67dfd2b4 f7cead6b809f1c1012f2032d957f24335fa8e914 f9d6eed25c58952c100f176b559b4a1fc0fc851bc27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 63ee81803f7315a52218269dab0d1e4729a3cd51