SQLite format 3@ .  YYQ77Atableisabelle_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, "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  $\  Category2:threads=2elapsed=18.147cpu=34.436gc=2.272factor=1.907zXZִF!  ]ŗXf1-q恉 :NCG 8vۗ?xWfkq6gF7.RGxfRlbJEw1RăXCB]Hbt@ -{FgUN:#@'Wϊ]%%Wza2Ϟ'mR/)0YcLH$Dfxeqo*G uS| G2ź8ƶ%g>}'8vٍ ޓ~..ЃVu{6ٗRaʙ@[ &؁ю.SeĸV8oxlK|~I(H\_ { Zrh&F"O7 IY_my%? R?Ĕ`)z5gYZ7zXZִF! bh]ŗXi%6y4"'ӣ}dB@eIU$Lԭs*']=G3y^%!LGB[9ã7 dЃ`gݡR3H2wfF`q!W(|_O_OMk_F]Srv[$VL.}X' kw0^^u"Q>TX9R(crIkp#Bi=X)6 D՛80,atNsU}$~s/JZ7@s(Yc)6w-8E?m{g P?$ܠJˤgSs"?^fc^O3 w7턤~YKsSP33)#;+5KVb;M h1D2X:) x▏=_1%FvOntU3.L[@kU9/\g-%PbIbЙj]}V&؋ 5ϝA$CGe?7J/!K(\Flrzj c&%ܤ#vOQ|cIn];^spEV̘ 2gYZ00cc22d1e149de2b56ecc5c1b1c9acde14f756c4 1a85d643ff9daa78dc2008ddb49d7c4038929bd2 2eb5625e56755fda5ce3401b40beed5169cd2f93 513a81bf794efc8deac8947c77c06afd61249e42 8282a16f2d860a70a7c6cee5ef8261c8ae19609b 86fd7da255e0657d15e775a7170bdc58487beed1 8d27736d7b5020008fcc2f11d1d6e066fbf5fce1 9047213262f305724c9b6f8d7d1941eb424a1a8a b000116ec6ac689f1ec762430fc478a93e7852d1 b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 b655cfe8cb22898d4b4ce5762e1e15db5fa4599d c5e40c169c35a0861c6b29bd1a845974a762f502 f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71f554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a   Category2