SQLite format 3@ .  YYQ77Atableisabelle_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, "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 T T4 )/]HOLCF:threads=6elapsed=16.162cpu=38.508gc=2.136factor=2.387zXZִF! a]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kxE6{oʹ!N6gr:ٔŨ1쭌L#pz l둿mnoJ} ;>}V=\m#ӳln0&vӣV-2 Woy>Z@9]C,pیg뢧rpf!qtƛŁRbڞة"l9H{x;!Kl+8x&}xě\XَH{|Җ2af˳50 @>w>U$fɑfg _VZyvUK^m"H5O/ʅ4)sݣ$dܒig,F/AbҴqi)Øˋuٯh1T`HpJ`dX+iϨX+&7>:>1;z8Vj$}Y1^C@[^#lM:vWdJ!_1&/6:AwO,]TGT<,cTyUj"y.i4%L~Tl!E)B'PpȹEu\nuءHtqN߅VjHBs1ASFAd@9P45AQx{lE PˁhޟdP4yӮCnWRhWT{L=J[!) !sP"8嬴 Df8cꀛzū7GzVgI—] m[A 0Ud>M 7JyP8r?1lY)urFnFQbLI{v3bi|]!*TeOz''m􌻠vV@Hinxўe,LC_BKs;hhGK`#/RJIṬ%"g"k`J&;˻n4sz!JaҊߙrX!>ґh^Wk %-eOV<9~ccd;{0H֝zt$k-jVY[sDs6h *IVFXxJהzS匑H} ~_HЌQcD:lXpJTOM {er¿_u4_q"|s)@m@L2-9"u懭q4y|! ğ~W4&o/P8C27+Bh^bșXBBbpM(؃j Ѡaa( 0mLtPI>,ڣ+HܳA()_RP+bMaޡ0.ǎBKt㱗ɰ Fgo\ tqca3Β+_ihk[#E^fLF47\ŶngT2ь%?ʾ~;Z5QиWIؠrNܻrn)t7p?%B <چdRba9W~|.zVZ."\#ENnfm2_6i)))UzuDʚ | OR2mPkPhW;-zI=1Tw fҔB>dڠ &ol6w/` tSIU: d"!=~նD"\>`[ [R`3 C<ˆBv7'OU]rjԋP1^OFQN"&Ma޵z-308 : R:@CRyA'XrNnC̷,ǭ=Xy~sBs(Y5OhW{vR1+k>]x \Aۏ .,LMpSt^y  C]o؇Wp܁3>:Skf, lR(Pk,i ֒ WqDH]ٽ(pxHrKf<-wF5CW Nָk3&EBEfhG %<\²Laeu ?mё*JpNV 񬧓8>a5H`-[;)J#63Js|=Wu~Uf6[?DB}3$n7SĦĠ/M'^Ls-Q*νe6+Ea*mpN#dwO}lBwY2tjWP;O܏7kro6ư ȉ NV{y %OTh+?1 ~lG|0;^( 3s,Q˙.t(6> fT\U7gWi^>|YC+ɌqT🇗C""gCaKW6H]1F"&dP#A-3.gYZ7zXZִF! K]ŗXi%qA _Kie" :Px?= %^){j44YEPOY&_yvM3}|0}Psef)O481~J?7*MP:(2t8;J`0BdfM<}ny tI&O+zn\L V- YXs3EA> #J?;/mZGm,Y8Nx˷la8)4 aA0ef (}D8 9)9S4';Lp_~.9tȅsN g[(fLRLem|&ǒA^xY ըP1͘p>,Agގ 82hJCw|u@uqCwoύS ]ߐw0JT_f40.*] Dlfi'e73sgә >d}8Z"؇tvy[3ISPW @~ [H.tu5i$-_ѢU~ n9o(S/Y !vnxMl='!oRCF,Lb2t'LDt/E_`-<Ol2_(%7[i݆s@2] A,!TV E 9$D4g|1ښ0oK, OK}WO==7k\BhNֶP @5jE >Rn>EYA#qD̢[Ɖꇨ z%,ےc2h7o*6L)P/\V"Vǩ0f1cٔ+ zX:2>j(6d9Rۃ?? 04xY5  AHI6,εzv@L?|h/,קN[̂ \%*bp%vd#Iذs~Mߧ@4Z'Ai7s =bh@?|>1W"&ws@NS8 uIC'