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 UU Ll S/ AVL-Trees:threads=2elapsed=18.408cpu=37.596gc=0.900factor=2.047zXZִF! 3E`]ŗXf1-/6vRZ\2_:oFEQUUo2ɸzZVTUW\?l,--1@Z6 /QY_yU&.rWԕ WQ-/A"8u  4xIRd]@ vцmdž(bL $bZPԽ^!𘏙3Vb/2?mM,`R})1e^֑IJsE]:$r%dO4/` k g/W șJV)}O8gZҘʷ Q9F;Q8퇌 v G@ྒྷyຎZƃ9G~æ|> VDq\JHFn{>Ke(6 {lZ1cVk%[&X^js݋ggi=/s]Qq1&<">kߪӈIsz1 NY[.20k {h'6zTRVZ+94ngb 3&.2}UzCZ( \kJA˕irnha/}e=@iѽ&XâC"eR+`Pf J{"qp\ZR/giR bYsV$iGȞV1bǺg2@Y\(|<\f&:>ok컘*_`/`Ӝ@++47MeOZpZ#$K:eYlaYKyH۴ayjj!.XE@(\<[?kZ%q" g4Ԑkt*cg#ߺQ,nH0ݒqSSi d;yy3!Lk8G~PI94WF3k$ԁG_*@|ABB*6f6@ gYZ7zXZִF! ^ o]ŗXi%DQ>;`w#aQ}qRdE0?KBq*>ZTu~'{?%,RQ|v@~3@:M6Piī#D =!S]Jǁޣ`ڇn4py p 3X|2U+ K.Ilw U2;f⡘2T2%՟"U>!Yhn3yu@~!}4*4ث3;%KK5%!6bj_|K<3ptQ&~# ]H#:iYXAU.{`"f;(E*h﫱gR(ăPA=Q~LNKyxɴ<K2Ďa 몿RsHECq kSncfp[2pi26GL|ъP;U^1Q%rfӐ1'MZR*lQfqbBV)}GJ)b@ׄ P*˓4jY(9P#q˗&aWL+L 5Viza3> 1zC ;P4g rEkdvGuV\ Jxv%{,%u|k<.|9[E"NY_).Ev/C\7!]_x%J:DO1U,!Po{c{rü4Oj$!UŅ\/eC] ?,ua[#V+Y'_g+~8,{hBk~ yM~s@&'zkQ~yG*]"loQ{dT0l=}_f-/긏C=SȬ ih|E 1eU]Ωb)0j}$+ndzv=nCzd J<fD.OA62v KҪ5:iTwIPw!$]W9@_ ʹі-L8$Ԥ7#I8,R +h hu8V"?;ҹT~g`Wzm CpNJ~mֱ"ib,8b`r< 9J5j{Ƴ{懛 0b _[gS|~4~>piJ+j4r: M %̾0雽^i"? ChR?