SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ' ,, ] Stream-Fusion:threads=2elapsed=9.699cpu=12.596gc=0.512factor=1.307zXZִF! ]ŗXf1-/6vR[]`\Tu}M-*qtjX`"ny#90l)/2jz6?+qfqSLXIG"qKg! iU?*{.s' '_=JcOW|{.H9zHsr:)ʠ%YRJ2 ߩcήI{ 4Sknv|^b Uiwih z! |5-]g527IQu~gYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(vXGERǶ_<p/l^9*:y4{o+V˩AE ([;V}=1mJ~{FR<˿MgYZ7zXZִF! <]ŗXi%W~>?, ; z aPd4<)\=֝ w(E5+Z_ܕ׍3P< NA: d {%FRMt$~JS ?XG$o 8(I~'hMRd[rb0]t:o$1Mn#`|?o AȔ@(麐YuhMwnpNvܝ⦨8->5!]A `eWLӑI-J|LHT @yv"(T<}(VMhzlzv/J;RBuPۑ-ṗ Q9TTk$x܄";. [.WleL|lޙ[_5eC7˺I~[{=]T]ZHD~# iۄáգIt V+IXI+{7J~> Y9pfjO/~ZaV2_\ϑz 3ڹ6Qdie,6YNK)ς8K퓗zEPҐ8- T/P-Cڔ G]5ӾI=6,3٪\A/FR>?<#2iZS=pZ$uD<諀NKpv/%Y?Ry'GA0COM{@+vqYuFHjFd::{5ֆy01gDxޢ+`fe%6G鰷aK%w'9P#Qu&aScʄwJ^P xAy) kXz^ XVDǗٙ73O@ӠXyUPf6LA ɻy}DtM| {ALKt/NfSm5NEr9y@gYZfaa1eb75e7f4d301bde8323ad088d500c78468c6d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e df5497a98f9fe86a949bd3ad8771742cec10cc41 ' Stream-Fusion