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 H DD  IOA:threads=6elapsed=7.430cpu=30.460gc=0.932factor=4.107zXZִF! ]ŗXf1-qN50^ ʕmy\5)NzPNzMr,HB1y`5nܫ`qNZKhk]:0/9@X IbO&DMUAl19ܒ9xܫQu.U%4Ň&{g[͓ Ԉse~;;([Ф^o]|QP/9Ҵ'ARQmaXW0uH8f @WGͽQ~Z|%"BfgSM.[Fn,7 i8v &mb&S jBDX[}3 )]p4.pށj''fdFK^Cuxt &˜/(Is Y?3w86|'- X/?+DmS5z܃P v٦9̑[0fo8ye$GYfS[>፣EHFwNñ Ђ4%SXf)Ezn(lDa<7^^ )A^q'J z2{ca-F-8զ{Hx2䊁\USXĦ1q V,{R.)I5;jW<= thJ⊔kke,8c9%SX,0ee:g\K7ߓ)yQiZ" !vLG $$嫂kܑ+ 1% )bp]qcps,h8F 3vRFR FجA%QzhtO¦$ 0b!Fqbۡ8S6_20*sÙ| 90GIEH5 ڛbn5X'x"}aZNM SA ([:OHhHuWJ(\`om)m`FQ)TxE2h@5}cArb_7\9wf jpZ9\2n(7\f^㒢C. <>)PD#i {~_0 ,PxoD Mk{c6vPOigϧzt yK*$FEE|\VK |R2'(&$-JÆoeN"FG!_jȉR+I귆:fG={~xC5J[yKBSq=y^3o} rw"efpUJY5 KWuV< /E-Kd{h]'_廉YQa{ [ZMW i&ƒtS߲2isg>H;n6jbjt!TRg\ij\:`2' 4Ag7태D1>huݴIƊD. )4g'-bR*9lE{-e2,-yj^_a*6L),\r#nӤ"^+|'qb.~uP x /,Į xn4a{|] j8Ϙ?g霘:-nGeipE-ڣ,30ĄD V9aqcY έx3d3,ʦߧxZz4՚:ݥj`ooHȍ@g>FpE2(HN3i]54 9)Ҧ"/lMeH|SssDIaz\}rDs,p0Cl3ۗ5ӖmɭrtˎR3vN,~O#H<'@(ʭZ.XK|ONIUKg8rq1Z8҃2}רg_:*t08ح^L 6p=2%_E4:?Bm R]^ mІ0'[vR-ވ/c튼`uaЖ5o0[1gXRi2 F~c3OIŸ:gYZ7zXZִF! #L[]ŗXi%N@ HgƖeY]JUYUёy.dBJ[r=.q b{DwELBiB^XF5p–) O&*9C]@Ƞ.g8W91;ZXΕQJ]ln}.[_=A. f>X,FS)|C5<> Tۧu74Gj c$)%Xk.2F@TZ WvWs57rv6dvB؞pXw* ^?UDZ6A4 c>j2wc_k R Se`I]whZnQU?\/| .=1U#'ߚx1" zW.b4Z]XKm]Њ&0 \ {ز05`Mttaɝ4d2R[?syHds۲f ʵd[Сξ%zZ4vB|bGg7uf"Y@*iCEmr -!*,06njnRfwCe33ӟ.RB%)[c+P|F0m\Y]n +YXw{alD}\Bu>ٕkFuϲgYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a18112136113a3be05252bb43c72759b745103f0e24756 5368723dfb3f2e1392344c94d5d289328eecbba9 6244389cfd25dbd0f82abfb743a2f3fb902892ef