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 ""? D< c]]ZF:threads=6elapsed=10.064cpu=34.840gc=2.172factor=3.467zXZִF! e ]ŗXf1-) enȈA T"%zav{DQlG?GhUH\录T2N4v8ܲ& ׺ɣ' 2uPAYgg6YD#=^X-x.ڸ8g5n }ܠLd7`a?]}+ć[` m* Ѳo[Dn6E{>A:(cNǬTTx=͘] ;:% `^~o,fKtxM~vasKo"ߢs0 士H2l*pr0VfV`& Gw5u ImzC/ggk/37jp ˬg Ұ=p ipH'舰 Hfg~2<0TS."UB6NCp F }[[&Y4UKla2$b `<~zń J.+l\367 ԥ}u Sq 4I )fXE'yQe.5*(m~& 7UKGtlw }8 !-о"eA|)VxK~K}?uckhcOt񤱜EfÚCL)_ K_* {mI: xN/[g~e5A$~c`ړ)WdVV:+--2jǛbi8)K{ # =D:^.ȝ01њJUq ݉UmGdӟ2#HYÓDJ{/h زaZ0lm<:&6khtd+,ad(|LzTb#몏)VNEɡN!@"E={_AGg#lK24:r?ױfiF_hυvE< P}A8o5ȌE;H l2RjoBp^?$0rQt ]\VIT~G uY&cWHY\Wrg2]2 b5,\B'H0F $a0@A;]ٍ[T&os36I}[Wi.S,Ļ@W%o4<6Uy;`\NP#v-G"9_ aB^Fi^>6#Za[yfۻO4r՝o_MyĊjO]jlFKpɾ=['d)g^ýOTն!H՝1_DHR?6T'w,b02o J\i=;>ћ18rثCs-?i-Thρ O[+ZșߘႂZK,(h;L!,[T>@_iz9Q)e1"ZZJlgJw],I\sݻ!bΨ.J9]|^)lBt<3Z" FbbOKFI]d+P%e =E Ja:Jumxpbx<>OYWclZy{2'+dceN ^%IM#;ا|xCnAb)ymаH$ws؋d m{wHn?А w6WDf.|MU(ʠRO$1I&D0|< 6u} jѬD-OrVFԖI+?-9`(2Qm $r(k"hym賱0eAv18ԱDr1Z1X6" 'K͖`ZYwR`/j9S[2x3 b2BQȭS iLF8 Rw-_%ϐ[HvZiL5asݒ/թy~\EE ex"FobZC&T3J8+GTNv P]}=7"yC'gYZ7zXZִF! 1nV]ŗXi%e4r"@fFtKqPij/\ (cWG)$R.?wftZRF5\L<;h9I#`Z L0Җ&Pv)K|d'XB=y*3%W04+b~΂2>jx6[ISF?i \g.|]m<'T뮔TSL} 2>/ v,ԲPMP:暂EÍ[7qCԉ8m }wthQ:aG2ǐfU(A JERRj xr׊uz&vi/nƱܝ@@"ɹ^iwB;YFZӶ _~i{ڒk Im`2gFC_է,'l˾\gjkV~#_}˒qHq?ww&VR389aNs ؓ?nA{A sM% 4ЌzVəD3*ls2c [$go/ߢ Ѥ7wpα6@Ec#d= <u_s)֔ |?hiʱ3U6 @1cġ_Ē&__(0(Q>ULxk@VzANڟo EUt&55j--4WBԁb3C1$Tsa-veg;Doz)E+!F$ @fȳ!jzTh&ʒط+EL0Qޏpq~%sj.F@J߫`#e^h"sI57)" +@INSD.slJܢO7fgX֑trtV93k# -c6B/.nQA2|&a7Nt(_>ܝ/=QF`Itk-20G~MHܭ+_lP>; 5􃽔uSx۸Ai"'