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   U! w Akra_Bazzi:threads=2elapsed=87.510cpu=153.596gc=6.064factor=1.767zXZִF! I|]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ыkK}K\GB+ kK.uG QdLMx33\\&.MEkSа}K OcỞمjm&wRMT<Е*w=ZG܈]r+ִ#=-1A:'g\Eu]NDkhL#v1h2CoB.fNbO_a:xh)e #=niqDّ"QfsL'o?zo>)#_.R:y5\$JpMƉEoU-@~"M`47ؔ-XCo"r$6gt`JIׁy_UoNa()dS26ٖ@6X(C|Ṱ,@;ˏz: O"U׶d^fk+~)(ӠM )/Ɇ0!oirX'|J8jQe[ؿyBI^i`~Ps4$RҎG` "[p9%bk$ S1B;iTۋԞt'G+pUɡԅz~s#P3&xIbz<1)B1XFقQؓs:h^ww(PcSF'E] TӉݼ{ .tgYZ7zXZִF! ]ŗXi%6*WO'jٙ, 2VZ"8,t3N+"\#qƣ8\7#8^NAvIsbKMcuT$Va& +S& gCF1TEF CW3_Ugs 9Fny:T3 [%C?a]$˄(| !V\"TTT>>y* Tn:QL1Z>-Ǘ4uYKР:/Nc я0͆ODW(7w1,uZA C淢2 Af7^BLuuJt= ?BgE/m_`׋kIkΖUg_6>M ɧ ~hŵTc!QSbI},{tOtsxJZGtѐ/ B$CoX9|ِ< aPl> ށ|wɝB#MzsCMI̲JrpЮ͐ Q(QCTK tҸprs7%o}:3𧉌N7/Ak!ЖIѸ.|q?:\1Ǧy:)pxBC.t Ïa/HyV(a:vuv%I߈gaIJ=!ڨBwiVvC($!EIN}xM>UV ҹ[fmeTϠ@k60L҄זENX žiQSjYIYXwlBQՊ  a|άG!.Ah-1"(#A,W芝qقUԋ^-D)SV X'\I2Ѳl`V^Y2c#MyҖYv D~9)x$r @H2Xl7T¼I Awi$ ፭z `3x٘\:=m%L."U>%`mX"<1/I;s~><>*%Vp6X;#LC/00n=mYю@.+j D?钑DaaͼmETNKD6&h[ã [:2,Ҁr3XBSkBt !7k KĢp<  ! Akra_Bazzi_ [}FR}wV^U[ư(aDdw_FUĿӜ`JPڞCNw-hݎpԯO7\Fj|lO,^EcWv2P1:i[ &/bEԽ>tXh(|GŚHZHX0EI-U `&dWq0ڐf<ZLN8)]Xkk­5q+r'- 64)miubrഷ_ e $ N#/€qC'{ZG+gSԘ2hVSѢL,YJx+^UnpTIgp6{VÏYg\G+U8Ȭ9ȷn;!|Sp+RlY5 TI6Рxv|J"+0W8/*~<ݧKeF]de9vi @ <\ZނO] ;E$x"Kkֱd3,A N  oIN)A7ѻfkx!y@yG< ^AxFUçD)/cBU"ak J5p E٫w(/ ējr9Ö,bu{VtqW^5uJ T.X͓ s)X86lJ)j횠;R'{)1gAr\FB7MNa{1*uWӉ%ȁB؝I>6"ON=*#'y}]N[&R%mGI &PbT"jG6yH͝}kyjDJiqoֆ4nlpP˅x'T/lB$bE?U\vy=‰~ rb4sPuw - <{uInVnai4L}aZU;5h>X `x(Hgu e/M~d8? }NHNU.>cOb}}RCLg*b< Thz/nTF|L\pRߘflkhS+AsS(cb^,%9JX; ʅ D; l.sC6X,3#ai4` %vaLk~Lf0Z}[ټ,d ļ[530[ve <2yrժƪʯ\o7MxhE`ۍa?Vs1ZJcgG@Ɍb|$Iò4+l`%nn|S6&<ɊvOv傖a(Q}U*BT~0 ]E%#~Vp)Nά1> Fl2jJ!^98q$UX^՚%He1x㾓iGGc.+hd9G*tmdžW`9kNB1y#D"p3؈ ء.oQdtR-ƥ]A Ԝ` ڥЇ~ސdH.z!"~tqo_4IM6Yt3.RRBjrzpKgؼM9_sXQF4TS}G`gbH;ؠ+wuxʳl`ob6 >Ơ<9]cM3ILDKzC5V!QF0bц16DfgL#ZL*COmƙKkP~q\ 2:8w&U<{@7%Val5 إBue7PŃ(4UѝǙ:M=q?qI+2PspѢPC_fe7z[R-d1j&هBڊt4T_!ނ_%