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 ii  t  HOLCF-IMP:threads=2elapsed=5.869cpu=10.648gc=0.348factor=1.817zXZִF! g1]ŗXf1-q恈N|5` 6y}P7(/H> Qw`Ы^@Љ> 9:Mp4jF}I.6O܁CD(2tfX9u\i K f(UoQb]6\0ʨ1Ĝe:}R^'<*^:yx띯}iۗ,0@b:ҷ[P:WOv.oY0Supys=0W`[׬ZQshϤx5#̰K*Y9]4/4|tbȱmZNl 6> xv}E&f%14ji'y#7CK( Qp/Cn X[@fa8kϕ5r*W_f:#ч`ORD2iI'WS,ۑ栳[8ץy7 a!.:v?@h-0Yy3d4*T#WՄYt<LǔoպZoޚ4xʘ`Vv @P%gYZ7zXZִF! X]ŗXi%JuK D7u]hJs亅Sݎ}MFt28׎!sxDA= <@fTl'@4D?4a (h,v(Y_\vu ^rGe+e!?Y]նŌ=   HOLCF-IMPujs{yMsLo$7"Y1S\=M׏X!ځd¥.oFLFRD=YA/^՘:a =osOFF3+~"&`z W#X39b ]WIdU/p-f]fGKmN  luG+il$<c^19^1'9!ӧ憐`6"xMR_&TF]na|q45 ?>a2" ]C<HgYZ07a6a39f22715d36c6c7d78e19847c1c19b45164 1219141cb7a32230a95ce4f1c699106d4ffeaf1c 332124682321656e702ebd7a5d933f675dfc2c80 4d142c1f8491581cd7dcfc81881897af56ebad22 9bb64d25a454e76f91ab3470612aabb28b261038 b2f395bf46e105375ccf95127bed02a66037e2aa b6122e77952924b9e0da37b7aa08cd7320e1a3f6 e041c843d120825e77104e8742c34aef50abb14330107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 955cac15b06dca9509d7874f3fcc9889a2391d09