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    m HyperCTL:threads=2elapsed=15.225cpu=29.328gc=1.532factor=1.937zXZִF! Z H]ŗXf1-/6vRZX]7b,n3צ{hB{%̅%`2ZJIF!wC-Zhd}L䑗bOִh;K'#37,$T{NZ5mL>g鬩=U<m:y-^K[tx'Q-WJG7 kd%ٓ}bpK - UX[ͣ*ՃƓ|=vi9 0-d 콙١m*Çщ?3y{R-REa{< 5#{Ҟq q܅)(Zcw]6QT%((Ex!K0V0-9a"\!iyΗ~wvuk89& D^zH'_\Tn0iU9W&ئ]2?kuýFC)t5Dw&9-o   HyperCTLOdi0| RsiX s'~ WJe~74`>۸G~bC9>R-p)-]Y$gYYAqtD$[clP_ X})*1Q.1ALrm2QӶwJ5D*URVq~S WE|Rju뷮I|_N`\ j{Ob0Lv?cY?~G|ٵXqv̿L FE;?VF? {'>9 $ݭH;T¥#g9s1"w\11KAO0C.C m $vǐ {fI_32*Ii}b ,| }D*<b櫜]ki0-Th-ZzD; |WtNTS%K[ڜFoo9BU9:koX #`AT_ӟ M(2_ S}%Jٝ.EhC5+۰0m*5yTivR~0]-;eJ>R?J'gqIDX+Ϙ}_kgҴK{#SR{  O"Mhp! ]|,'OݑNqa81v:D/R1eUIB;sE)PVKJ/Oٝ:PK*Y }4!*sbN 305Ewu+`7`cbR:MΪ$\0f J0q2TulYK\]".+ X>s./_ݫ A(;G5;KY}:?0c^W^&udjr`pbNlZzBS߇?4T=+o`^(1#:tX/E2سx]_@sf|u0x#GV[ϴ!NjP2IRɚ5jc8QI`=~s_:TpQ66"UaeAjrndjc43>nr|> *K۷kM 5_V߹W]w[Esypy-S3&hFet_,1Xx8$xvSC9]R~s".X&]sgYZ7zXZִF! RL]ŗXi%S?Ye1xqrڶy(FWi y)+%R4ʇKmֺ5鞀eWz;yI)t ]TJHR[?C{oMz YfW kdZلw3UJ10nVx{ 8Ov\(`:t]AEU5!B@p*MINJCDq xGFMD] ɳrv?l,獩yv.*&vϪD r؏Oi_"ʜe xCj@ 12!('b9d99}),ت'"zѹG𹦋z}/q0X(uUi Qf`,p}z'UsAzm|Mܯ27hc!QtGVSRBi )U`eZr^Io9:n-8[&$KyyE]m$M%ĊA^KhR RB U+C?T#2^i]STg2G3N (pg' z4-R>bCĈxc8Tp[0VY_rF%e|re a!R""S؅3Zp DAt2N,W(PFQPtHع b74 ˇ;BlVҦHW$˗߸z(}V emaht H=o42k-65ko0nLl AC i~!A7-l@;$8:^$Rfszr p) DɃŏ =3w(ɦV?X=PoħY&#|z |R )@lN^2g|*X€z{c[J۟o(s&*72>PΨfa(˸ShDȦAft|Oٺ 䭪m^Fv)XrE%0X_ f`6_m@T! Z99= T",lU w`Cj0G|@EOCͻgSQ >V6H(5Fhm9$ϓ O5Ў6D Z9)ҹQ)J??3*tH(