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 HH-DD U Circus:threads=2elapsed=52.997cpu=100.788gc=3.632factor=1.907zXZִF! D_]ŗXf1-q恈͐7ӺV 6 hD;V& _w]ӘJLU( Lc-m&gy/L`RLPڙ|+g?Ϝ?O("`5Pr-$lҺ,!VM׵3^6pDDہO6 [8|d2p S$JZfhh"0rRpʣN"eb첮itR)Ġ;CIV)I"wQa6{ʸ 6Uvx4&VÑJY]92Miݑg1[s<ɆPIZpOvN 'vI[ %#C[ ڿg6%M_j=zGrHG I_Of.0ߧcVz=MoOShS9q1Me71ӽׅ^1)ⴘ26 ;v57wBw`:ۈ)$m{ gR_:7Ƨ,:}y̘XFaE Ad uuD#E6Lm H\RjQkگЎ ݆~_EٱgRnkyUKثW"v-DߪmhCMd' ܔn%?E4 !Ole?Oӻ`07浖7K(=YdzM,(҄ysƽӼ)[NM7hEd~|\h'J3{Sޮff YV4e}F7j.jBJ?EDHr& 36ՏpWkK(BWJET&w^-3)zBAj[_$CgECǴӊor'3 BO1nW:HFLLdϡ[NQ5Oί"=`MPP{g{vE5:H؛S] LlF#lΗJ: H_H0 Hn*XZBK"jD%p tgYZ7zXZִF! Lp ]ŗXi%6zQ9ɛm%?ysyә*jdOD(|/H-k0Do^yϞGHorчǘɝW]45SL ן$.TG]é./U8efu2*9 MU]l5zb4]GX\W`ۀabltE;,z0BhnD}ِ3O=Z [ bP H罅G?]kC:٦G>c3t:gcHO 9"q:+NQyLXsE/c:3@`(_~8q!:wBy|nR$K;>%T9"xrwvFjo,՜̈́?W}xKw$z{M{F|:dSYc-v};>bPiFу$[L4E /^vu9aL GM晆DT3鐛,aժ6^=yNS]\`YQ+HI[{-ET?x p2>$;6*Z7 [[uZ&!Oآ w[.kֿ,W=Ypѭ^E pGOܩ˝.{"ͺkA _tqLEo$d 1?QDrɚ[Bf*   CircuscK4!P"ZDYIj`/Ձ[!ԃIngƲ1TLҐ&PHgC=z[p,jDl89ie ?S99 cV4.@yDD*COnƌ1jW/*)"TPm5yZ \ @孄];q%?%z,K/%5A7%4Nۖ=2[/l$I@5 陿^#^>('OiCͰH{l2YHXSC|Zdh˔F1(r|w˘7bZ39,ѡ(ek˦ <g|20de֌@=sVhjmZ_ʊUh.pi7MDW6dʞ>I~ᨈ 0+p-vwV" N9>ʹ? ngW9`w~c2?zNMxwAi?uڡE ͆څ;r[dj l\=EZډȃpj:̄ IkJ(Kx!z@ I=> CWZSw€r'A+/P[E9d5PyX;K/"5 h,BF4Κ0"< <.dwQrMo~D :KKy} Nma'[=:HX[IUu%!:;|Li~">YhAI3ApXbwtf4jyFA]jaa\$?(_w|?DkӟA06]D;b lm0"Jg%kC3oqǎj ܱbDC6F ҷP;k͜fJbz`}{JqtKAto7t煠ۂ~-U0+i/Qpl"kG P ѿXKY EUGT~`zte[qs H,+Or %"ȘIKgc"FI}jG"?ˇҚ0ط}#İ3Y3 %sJrKO+If(;r ~ ٲ.%M6<4+1p?,?gZ+9"p٠N墩_=;(Wjݎ ز^w )WStpF%4DB6{&^ <:6:0VP)+uW BJh$(x{aLdʹ:Cfs7Z$I'T.&~{spEP[A+m+}ᨘͧ%SxٖK&R||lKq۫R%-K/ym ;_+1^{c}㖑-'ň~}GY! E8vw 9 "FLCB|*QXU 3o].Re@Fry.WQqнJKvjM'Uދ8֏b_gX-y$z)E]ȵvl;uM~ܠ4}OaDsy! ~r]^/ߘ| RfNo. 9I3ԤrBZunG!%3&C$l@r͋!!g\şgy#F!vԜzH&pkiKM{!Q R$qWS hgKG-P`t *&1ڤ:v ʘ k"x *`.NOl]ݪ5w P;vY(1wRSbs ٠0OC~/I%(.9>{4:Ofm3x1`?PR9޶g@&%Po1Gih^ܷ4i={q[;p`/LSPbPW"Z!Y'6