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 ^' Td } HOLCF-Library:threads=2elapsed=16.718cpu=32.428gc=1.268factor=1.947zXZִF! ? ]ŗXf1-qN ~mG&rVpbf4&@`ꆜSؗ^?H+wM(/)vt<VqMkQ*4yWF ,j[!|L.<ɓW1j8VQ]rJĶ3'3N3JNlNI(E= `t1R07{0yo{LXmK!ϘyL5:Vq*k'ɯt8wku@vVbO\!]NvQ>tҬъ(O(?m܎SF5vmXт M `VҏSJ2w?>V*ZI{{gǛ;'ÕtMƭ`B"963uMr yP1Fv0ĪNb40{H wW^;T3Kف.};TJ>BUZ܋샀Wd_g{~4aRɨ1FX!O8~|A gހ81B@s oqO FC=:4_mD2'5`\zC6A0{W2Ȩx hhzzT^tw@(ACӏ9u%=OMN(uv<9-u \V!f_] f?H-;G}O5qN~.bQu9SL:>d aV/c;pe @ߵZә!=ZO3닻ȩ]XDZgYZ7zXZִF! M]ŗXi%BՌlU'ꕰ3Llli$&4Yec~DGAs.ԃ=Sg;A={jȘjI En9B| y j0߻&t$#w<Уc& 5p2?m` o³OXhB7Շ -.bi3ew"llz!0(ZOoP-܌W D2"Jw72Ug8,ZN@O9]5+ȇauН!YcM~d\2~Xcb ml<~vhLtyS0M@i\261byoMʋ=}pv9J։&g7'ֈ_PʿW1MH 7ƁDP:uѐUNXla*Dј85_3, g`BZN61hTb5w'ۆ5 P, &]'<1$ep(&;Sΐ˰٘B{. <&}3.6Χmg.jtіͷ$$QٷռF dLe%#Zߒ&Pɑݨ .{a%9B )њgca}VT/h8hp6hZC8ʴ_t[ΕE[PEF+^8sߓe/ʒ3x\@|x˫ nbuAV@ˆ s#J֠c.i1![eslxDt %?SsN^ŗ aNʫ[dSQØFI؃mϣ=GgZArwCA#ǁ\p۟oQ8I*fSgx3K:ӗRgFT7' t?Kb=:CIF4'J@_+z"J ֟mdy:p/}{ KgYZ0848979e51a63baa8d6f3c944ec02b165759cf0a 11cf04dbc4e453a1d7b6eeabedbc93d7a114229f 26f9f8d98728686a072e94f3597fedc44d57fe6f 42949db6ca1e816bbd53202dcffa7c9052e84a7a 603daa2ce7c00f846f9df310230d109e1be4163d 7d36273a2e584d94d3160c8724cc6dee071b4ae7 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 a9b4bb4f25cdebd3a414662083538a45c2f992aa c8ea7fefc523c5654c6bf3e85023068785e0870b ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8 dfbf5e85b25f60fd2b47ca8ca254aa7ead91b1bb e16dd81c25115952353dc50e98ef8842c8109688 ea07fbeffcb1368ab04358e4a6792a15022e958f f7d7695b21718df39e8a80a5c0e149dd8fdcff3e ff1a6675108656a7790a35d3dee6aa8137c126c3014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa 5a5946a58e624c203389a73d2634854bdec986bf