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 TT t,  CCS:threads=2elapsed=20.680cpu=37.596gc=1.004factor=1.827zXZִF! <]ŗXf1-/6vRZxi}t7hSyv=4R  CCSMrQm34qN(SC xV٬ &n.c?I5 mGY 6U 慜k_<x($MbE@XUʥI cikdV[6ǧPm?%ef?bp[ppelYr?nPg26ymԟ^8߀b~Cћ}qśtňG}>H!7G\mkTܳ֩{v=|Oqוx'H&E~KHTHqt:k+``7/s&ģΩ)|Vrغ ^bR9>,&ph}a#Ӥe4![ -0OD :)Iih؜\Y^C4cG R1l=o_~s7뢦Zi!{>42e;oTrCٴlOku%Ph uzI9ĕ0Tm^ g8φ/qQS:B_VlvXG8 a0T.!}/2{* I!Slh-o|hM7 sV0g ['(<2D4hNaӫQ:FYN$v; "]u oh,,cT錎c FpH:*ڴ7žt$˙EZψD麟SG2%ݽf!_Aԟ^ᨑ8Jfa_pHA5qHfFE*Oy/3|n+TL7ҷʦ14uĴ;Ŋl@k3u43ޣz/q.-멑$-BC+=r/+5G?VG/ӑW @Iثr>}n#%+(A0޺Rbf+XʗcIYJ 2;V ;d V\>CXFj(*S悂 )n eŨwp(ЬX0 I/7 m^00V[q^}MH0pKuI A#]~ c\0w#=wB6FI\Q&ugblqG;W?Mn0R󡒐l:oȴw_qDKDmp~yZCΣ@7fJ#U%$KZ.w/#td*iF+s&d灳3Tͷw' 0:dY;)sݨCXyHej<hbYw5pBp $e4hEІn:.NEb)fa+(Fe2>fG. }j/2FONT lA'|)/9UEDMR4QQ>ITzFh@ 'N.r.2;O(7T_%_,HA`lʀ=&Eθb<6\1ߏ0xؠhiͧd/R)"_ՊamCUuVr7T4c_r7|4ⅉ$ɹS B_m)4淕ڠD>ʝ~RzJ 7&2J2>l殢1Z\BM(l+E.Iǰ}a$DYgy  "E4)d$ EI N柷rTX!vo7V!Po Ib0P?~ܲ-2)f⍉x R Wj|Y%,dޓ̾a{r{i,ZI*{7R(Cך; EJcgYZ01733c6e4c2c1915db4efbdf15f8f48305e6bfb3 11c75d00b612dc5802f9f13afe0ef664507ffb5b 1d63adb9e2f7185391523dbb950c8407e64b769e 21ee2f691b40714640f5145644d0b81eb10528a2 2909ba99920f63a880b3e8e7ad8494ad01c07e9b 2d3de66ea801849aa0987edb5bbeb27198ea05d1 306941848f8b6748a98e5d2c5cdb60c343a6a9d3 3bb47bccf9c60672e53d4b13212d3dc75f4c2298 49d1932fb6b0a8391048aa1c31cea3999e08ea4c 51c55857ce18be4352fdd090ab576d218e59b0a3 5c234b0c27f6ff9f7630300885063c9501f1784c 5c67a0fc959472193f4df04615d8d890bc2bd34c 5d44ca43a410e7a28fed6e241b48c65f85021ff8 840c84568342edf8bac92454e3710d1cc9097920 8f2275b4e3a7eebfcb3f3011d89202e8a4fc2230 a1a8a914cc0eead1b931e4a16a21d49d347a0288 a5ab74f1e75fdbc09f0f8a270c4685962e5caefc afef20cf74339f762775029bc50134796c5621fb bbdfdb18aec08581c66ada7952f092ee36f5b5fb bfafd70a7cd13b719b4067f0e670af8c67dfd2b4 f7cead6b809f1c1012f2032d957f24335fa8e914 f9d6eed25c58952c100f176b559b4a1fc0fc851bd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 a89f02d28a84921b68a3049deb12f3cca8ccf3e6