SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 99D' Ld, ]]HOLCF-Library:threads=2elapsed=14.182cpu=25.996gc=1.172factor=1.837zXZִF!  ]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&}1Sno. h {R ΋PS.im<(QW-\+tce .s&B8K\Vb1Ƭ-lzԉқnI $prtYBHvkQdXCbvevħzD>Z%"6ס㵌`{%$DQo]2Wf-zȣ= ~zFٲLy͠[*ogD:ƀ]p²+4`Bh벂SڿԚ;uzOЋ), %E, !q/{:ߖN%c :@ґLCe؞*]Ckڹ^$JV܏ÛqB>+ Z9'Δ|}rS#`by:'z8#94C-EѣUjԙdgYZ7zXZִF! 8j]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS07BӉȭ򆄧E:dq_HDaSOeB]TR.j6<ǩ ' -QC:,t~Y;G/ oazA"iHKskR XF|+#ivC<7<%طAV|WS4~zQ/'3k2 IB/AtDp.,DPۂ6;ba\# ]>RRWgvi:h#ľ`́ !gYZ7zXZִF! AO]ŗXi%;diZ"E+^' 3*W:[#@ZEv٨VcP m)RCSv5FDݨpxC Z!7#+ZpM#N?تCbժyvZ#CGؠ( M^SjO45!5pJRq8J`7C 9ux#8ĄQPp ot`Ci#2{g tHF b}g=>BrjfrNؿda#hL.U*`Ƭ+&W2dƳQcHLvźU _l9o}^տX8$L"i0kzPz4 !eŞb/B)2HزdZBJ{WI<7iv8M]PB³i5L1=͐j41CPFSV" 䘺MoHXHS貎vILVR ^kt[/ h,*ube%kb`ў#>~C ăጱgYZf925971ef73dfbc1ce3491fde204c8ca8e878f96634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 2ec0a94b3cb0e3e484d20cf2e7a52a70d368dd554f04c780077b21b5e5be3f524ed221d0b7e1def9 ' HOLCF-Library