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 7# D ]/ CISC-Kernel:threads=2elapsed=22.227cpu=41.436gc=1.608factor=1.867zXZִF! G]ŗXf1-/6vRZx>3ddCQXfh^x[++謵3fFK汬X2>ee8ڤ3"\ py}Wp2f35POWkhhDU"oP*꓿^FPKU*lh B[F`@ 7C-=o =0"5}qNpV!miwlqſgi@wi9>"ͩi{=i_5_ޟZ&F\%-+oǮ,"^gp~ڗQ>4NA8G>\\O#C%c[A ڤXQÐi5穭qw2.}YD@Є3sB\%lm4Ƙ!qo=ǠұgYZ7zXZִF! zh]ŗXi%60nFv<iY[5QZU?=c|(cê7f?\t2oq H2)*׸*/L'͂ cߝ`tm]EMnl 5UKXӯ=Z>jVS|8hh0X@{GG ѶMK&P%m߶ iZooK)%ݣ [k+:!Hb Az@A̭C{v=^Lc0ru%h12 %ŢTB& gdmo<ܐ=H:b@ xHh.z3dZJ b_i+&^ E"` 8+ðMgLU_ iڳu6ߑ*R}.jK}V<> \o{O{۹C3w~4A[ՀЋ03E@8D ݔh{8"8A"y 4}"=QVAjGӔO3h(ÿ r։Lk,ugNljW4z{^>w%MtMÀvyrSͣ)? $4&w4АbjRG}C{ 87eʫ]7MַJ^XfA[OCw9IpLDPR?*A$w (<)t,.d&z>߻{R(P #u~P?_.@P-ba̴fGuU@qHu 2Pбu/V׬暽;X{5XH%:"_6|R-qY-'Oll'bfDU?0hIKBl}FkŸOT 9LPjUAb=?ᇬb)5/@iQv `}r6gjz:w@k.c=׋MqyX?9"/UI&+%̳n1[fEQSsEU܈GB ZfLbt? YZ7U'BO"Sˏr[ Dhg j QA]ZoZ+zc"mgb 2A81߭S`0핾mp //wary 4͆HZKS< t͖+e]30Hs. }F}/2rz^6,h5S4=Ԅe]4_ƚfqg^)VŠ Y;t!%ĸ0S4eXq@A>t/5;9w^[3i>(fL+`*W|m=ҏx<xhrnP^gNa劝}Med 7o\̸AD9@+5+?-`ePd:O9R5G>4\s"ٔoZ E=~/~bne?L`;Wz|,Ho`Aih p y#܊< eͱgYZd7c29c414a0ed516aa88d975e0a67925d713ee6ae3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 # CISC-Kernel