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 ,,=- H,USN%sE$M#T[x)64`o/Nѧ4KʼnFt{n3ϨU2;eqY|Wb{0Rgrhb'lr hwkhwzb>G*٣@լ?UZ0&² صN& - HOL-SET_ProtocolB7ҹIߊ{yH*(x@zFq{˗[n,(8rM^_ 7OCPqWi`R Lk3" 6h&S[YvFY#~e-sm<8IHfxx+/!bR,PQ5)vh>5ܙ w (&+ܮ'{E1mC ` 눑<ͱ[L~ 9# &f[)K qXO4xIzvv1M6B#bGe3 | "0R %hld/ jCxJFcο4e픸3.- URTAo MI~fwmӞ;Ʃ R '+d@&F}r%vcCfM/O3@;3nށ `Si <8jm?%uM_^Eag7[*J̮-C-OF>4'RS#g`7O\<~sȴe4yRa`i%"9i-W9d{ߺ0U =ǟdF_ "Ђn?C qkvB.w3KCxq=A5Bh%Q`ѫka`U)p`G E~tv{"hM뮽@uڝ+U}U\^0@p0궘zz5h|:>!wO6~5&ASnVPL^g|/Pt ^/mmUGnEiԨ{ ˎg\ _[D.0+siysiX%{ Z͊^_Lg "[Jop$ߐץANw A @VQ|@:`gO+]"[̳ӱ̹0ȥt():of soL !1Kmk JA"іqTn\{w$KrhaQ9/?ɜAa;=_e&f!$TG,يsHk]pyFXf9~az.?>kQn8mL $^r08͆鋧F}o#Z&I|sJa<~WIv``.lSg=ZO $KMa| ywN%vDQUP]$ӆGˋ8} u% (}*  vLN[eڿ3}T_U|Ɣwg,