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 R 4T w/ FinFun:threads=2elapsed=6.595cpu=12.176gc=0.648factor=1.857zXZִF! B*]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6x{4 ?4S!ͯe-Z+qo< PIMc7zr?L;xd{ul\d3aǶ+ɤ<(t/ 7Xטٌ9wFŔJ] ~(gF/Eac \[ƒ$޵{E1iVC 1;f M❨* ܵbOqJEY1dz1oW9ߗZXL͍Á^ڠ(yQk7-X`ǞLOžv8 T9THX$g!@vMS20L-N`Ub-e}잰09u} .F]I NrϜZZYk1!y_-WAx^nnq l*2 ˱gYZ7zXZִF! ,Z$]ŗXi%H'ΡU)'T>cזnzdz?FlfvYaV ~B(uhqA_7;ڻlݩߡuo';~5ù/q.{BaX@ |3W E[# aʪc[}V]D»H%rY`uJ'2 ֔ Ef;2(!=kɊ"p_P.]'c7JT|Jm-otjݞoxBX oc0% 2t d^ ~}N2yqVqR+"*P6!H,nҏȓ!*?G_m2{Pq)tl`!g" R f$3MH6-M$݈C5l"br2-QKVMG-H5Ŭ3uc{W5jf(hx)FskSDG";t$Xd_y$5d"xI۝dPV~n S+Ryus{b]'dMf?xXg FI9gwb KcOjn.YTƘ^hO2ya+.d% cf 62}gr9(m}$9?kϪ5[YoO}?cjr"$~qVpMXY~αgYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 5505215dfa46643ce3ffaec1815fa2ebb0d2d03e 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd118c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07