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   c3 jʯxŤ %)*-X*,u4s%}$c$0 pX FX,s<-XzRyAZ+ ]ͻm;y?ռ.A< Ԏbmq?,ӆ&S!S{Drna ֓ f<±Wu*^N_<[`(XvI+MUE9vopkmA죽gWeħbmqb m/'d/O#~9w*E:gV%~=u^(K8$jrGL5m2kPlWFМJ,gj|U_z%͖u{j|٠.ܵF?HH'X-%D0 $i@_GL4S#N7V~+w01 UPܽ+8a&KZ¤^~O)r;a9LQ)vn!d$`n?4rftYWhe3tF6̎Iv.[K$p|jiUe7?78^+6s-3V ezɜE8K\7cׯJ8-~YCn-@jKnaC?ܑo/Cv~mՁ}+$EtD)1^{klRf)'@rgijhqLzl {4^J\谮jO@ߟY`&Afn53}H^BT䯔;NJ6B< l4VIG3O] gYZ7zXZִF! `\[]ŗXi%: mbu-Nzhʔ o,E-?x[p~uA-íW-VIOlVբ_[/m!j6jЇEgLYׂK<5ӥjdۀ1zXQ.^jFH;0ՁK8e,=h2<`҃!ߵrvj?Zmecm?!{8ȁ7'^.NR.=J#ٝS|\BvPKqS"hGsBraVس׎NMY4xwV̈IV&``joݓe2wAYX<D7$w; _zYߤjʜh"CE>>\>t4OHHvǾj6s xm-CZ DJ{*v6vE E:_wO?H:$ExK 1ծ%0hs~ͩjpIyځ@HVpzf_ 1mTH%t8j6 "#Lq = YrU2-v2 |WK;cy[noey$[m }IsY+O856R>^ќ5s=9]ڞ߄ظ犁sEhE4>઄ :SƇcRr@z0r`(gH(LM%HWfG #ݱgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7062f6bc3330331442ee719da0d76412d11266f3 85d794b86cfe725588722f5120e48bfba0313bd0 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac c0b5decf7346f9ae8d66b5f48791a6361cf102f1 e5ee8f1bf89fdbbe4808fce9768799c63e3a2edd878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a120a2f2468a2b45527c3c14a4e57c6342195a44420