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 77F 4l m HyperCTL:threads=2elapsed=16.339cpu=28.420gc=1.320factor=1.747zXZִF! ]ŗXf1-/6vRZX]7b@^GaY\K ڮMCH0R'avBngɚ/o)j6cG\3VdY1M6 OPTtoB 5U ^2\Ԥ#(W(Y ,ֵ4.~ {h QeKT=J`_cV4+(F_׳xt㧒 LW?!^*!wm &t'D+ΎuӚm~X6#A8=\XɊ7Ĩ,8Ƌ=O* bKX%47U+x ƘJ 7 wgYZ7zXZִF! V0]ŗXi%}%Y~ɅVeh ^->G Tf59θ__Z=Wf<ԥtF觶t35#>ߊ#u45SiXaMUMunCxs4z=V3QX3ļl=oyI(JC ϺsIN,T`p(#*25@] ܒ046*BlH{6G'#7myb2C^y'mal^ НŸVf%Ͷ_SUdM`k)Ejo;*$yABur6E"HfbAs>ǻQJg@iM1EeI׻mF[1<.05f0|嚨zenW "tL^sQ\H/z!rRKot#24fGzt5lln5 &'hS72egDiRUVe/%HclRMqs>U,=|r>fp8t˗$쏍ы"Q©j1fވs(܆b@|q` 6L a/j_hdfhoVJfP<O 3Lۿ^Gv̧Z5+Wߥ$ @{DeXa,A~L}k'cAXzڤ{g6|w")I;$͜,76U]M~&r[aYW\h q|ha5վaZn3|}и/Ǫϣ(bCzti1SehQVr/TXڻ x}Fcˡjs"q 2%.O^OUmVe xLb)tpQ`V+q.jvº+k@N_dCFpL&^n-ǐ~:Pb҂}1qSZ1rKhՙe>1 =, $ hMG `;̧a1z)e38"lX{!HVJ Տ[j+t#f3LwAWb^>\\bw~^7Y][D4{Q[D4 H;Mp@Ϟ _Fb0rCwwl v Cjbs]@.ܟt>s`QDkqW'LQH\$=֢]lR8 ܱgYZ085a79689514cae4b54ff7d38af148e3f9998070 24930768d36bc0a331697257252ae34202f81f2a 383f905173f174089090ecd177669a4776a25676 3a789a05a2dc9933bd074691cbf66c0acacbbdf5 55cf8cb8aaf918014eb60dc38d9879f43b9a808b 6ec780e2b27c1c30f138f7aa5809b0d84a535011 b3041b9d145e1bf75cafc18ad7ababb2b2798630 c27a7b0460c005f5daac95cf8a605b2342071d57 d45b2185175f77027946daa706988c766cbc243a0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382   HyperCTL