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  4\ w/ HOL-Unix:threads=2elapsed=8.428cpu=16.684gc=0.916factor=1.987zXZִF! -]ŗXf1-q恈>HAHIq"”a;E HvGl cJC;%.Tgblz+*/U$aB3x>q7n@ 뿰X&}Z6ʿolH՟fI@J`o!.؜SH 3eDݴ,! Y&E^Hy= ڤ\]ECY\ 1ⶸAc#b̢ l)첱WL=29W@PY)HnO l4a>5۵z2HĽ5̜R~B,Sdu-اv'R2wN"v7HJWm-Ea,0۱Q/߼j=$,ߓ.@Br)p6:oj /cxul./zoO8yeRi'\iAK;,w ۚHŊ nVŠTglf>  ϝdO=*{DQ4RۚJ 8c)"BfFvaʠ)Y-;crLQ 4:%FHRv14}J+@@hV7 x<dfFlȦ|UecvI-Ru5{0Mdw7 Ocjv#9حyM 4RvnHj[d3 \ gAmÌ&o }HZ0W b6b[6˝ !8FBϭ*dK꡺ zS5ۍf,#H]QH׿aT"ͅ1(k1Q>?g<%6CiIڠ~́T |I)cÙ?9IrY?tk&K\(F8 [<#gYZ7zXZִF! 1)e]ŗXi%32Tm" G/@'q%:̖Z E;j-Q+ ^{!z )jπZ8*r2`}F꺛QZj^T9e%^g68lZ;-] =rAL /qd! i7'b?3u6ߴFWC_P}ztYTWi6SG4`F.ǁ飙QN^tdT3̕k: \^27 兑 5M-mxW33J70bzD_ ?8Z a ~=Fͪd_CVtt=}y[Ea eQ@4rs5A 08]u< wQ$̅IĂ;#dʙ7,'2h:΅t`$noȓL?s 'U PiU[_TC#YpriqtMRuxc[c홰3Pw|3 .'y5# AU/H-=}ĔB}M3Cod&H4Z=)8@pC'+ ( 'F |FOǟC6֘tJZ5 p;Z9҆K`x ֣;)9e0)QKg&2!t8e XN7NV@"iJ02>{rTd=! {53@Uq.RYf>Ė8" .@R^֪DgJMp42F!=ȶ-Y:*B78(_\Y7Zb)ͱgYZ3fe5941934893b5422165e490a489238302826c5 45f3aa0b751c57da1400acec441fd85b51639ad8 a7fbfa86d7a8cc469388fae396b1be315eb3603f aa408b872636f21e49cc2cfbc24ef0d8138861e6 b5581e3ab5e61331f93934be712f61dd68330759 e28c86ac4b7163e702238f89b4ab3f6326b78555d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5