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 c5 |  Lam-ml-Normalization:threads=2elapsed=9.798cpu=16.036gc=0.732factor=1.647zXZִF! 5L]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}ez-hr)}9<xh9 -iv؛`cO b쾱EVM`I#tG;n"fv#C,ot6C1K0S2Drh~j1:l1ĕU =?r#TM=s\ (9:B;XIm=A3%))G^ X}Ŭy@fҹ4NpbH.1vpG{Ӄ6dQ;N \[Cs~3"UZJwK=oM8oa "_B%oB9,L@-/@PxSC<mqkX_r7ԮGkaExa{'66GAʕxkV W6]=J@\Zoy|KF'S׸MZ#pVw>6Lrc7F?Rӻq哟a 1gTZp`=.ggJ/nU` S#f^H~u %C YNogtF#-N!joװyX;H2<,ʔ.na(%G͔4@β۩TS-b-G 1&(޳*徶:(\fwWp<[2]#dpEw jK ß[o!%Z|T/EH{4>q 'y ;AJMHSK'.Ż)w`xRX7grO0SH: g(Be?Q1-ԚxһKWPf;f=_UK jd~[gYZ7zXZִF! 8;]ŗXi%zx6S⃰.Ç ~՞ Orfܥ8ko Q}X(6 4%ௐ#;.$PJt$댆Z{+ZD^jd_0Li4O(6jft8-¹>o+/E(h}%;]_޳2.?>gWZerge8y&{hѰ>B_!:9{άCQgj@-={c,Om QG&owJ7$} W֞G\J;Y?q+B2l0uc^.6Bd&@^Pn(9_[;O3.Mm"ƺoVSЯ+4t կ_!o;VYmګ)-$aw; zdO !?VI\-NCiV* u^<{5:޷c$}2XzT3_Fn]lh]醈Zp>gYZ41caa02d23e239f82f825159faa07a2ce18fcc1e 4f85195f0384ef3a874c12c5bd663375611937e6 7cc7e252b39545aabb4716107961e3cfdda9b61c 817de0e320dd9640c7fad5af9e397d95d33e119f 86a2591da0e38d5b2e0727782860c0b48c897868 8d065f375f639d3b9a5b76c07b27058e95555fe3 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d4f60f18aa580163f9123b4864e1ab9c83a94e8ec27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 63ee81803f7315a52218269dab0d1e4729a3cd51