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 JJ  < U Circus:threads=2elapsed=50.185cpu=96.348gc=3.280factor=1.927zXZִF! W]ŗXf1-q恈͐7ӺV 6 hD;V& _wҼߟ=\ 3Tջ6Ic'SѳaBelWB:Ox|h[R%Yh΄?~WS d.W/FJ%C$eiCxB(x9|m0n}+RɤFs^^EF9 '#]$#b:K0F+z$: uG:Z}To@+?\#(1NYWE|0l|b*   CircusSfi甝_s |L.}TFCyl `lXTl F&O)[t)[ ڢ:|RP@*UP|Gމ^Z~z&Óo K@]q8u~p|1oB^;%~)70?st;Tں\W'od2xuT `mr9>ǃ07yLfډ^^mb[^-(َ׵*ۤ]ǕYԿ2),R 3ō SO+9L{s 1k9X;er?~VPMs&<|6؉QOS`v\5VdIeۋ$Q(M"0j>fgV4篹J/,Q3."},;8.p ϵyKz+tc!yB;(PxG jSύ- ܎?9j!R+zkIk؅M:{s,6Tj"e[EνDw`E$IxRGp[=L%-wYx&4Ϸ>Tұ)|-ЫBQYɂGLL:oT%,&5 _Gѻe7-+K>Xyԅg}~f)P^Is0 w⡗w[^$-3R<*(Gٖh3 Nssˉg9: a9Y߈;>vs]댬OÜ+B`y􃶌 :`YEm$rήyXʮ7-֔Yu}ʐY޶ `Frk}V1(7M_ CSo,hjfmjtHe_F;1F[ʇ4hr{v"zߵHƎ^D; *QBpҭe]7U)1D̛i5_w{z=ϙ/{N6y4p{8e`s0d?X))r F/j=+馽R[RW'WG'Gʧ2bB1 Ҧ,/V_>zL@)k * ".ؙՈ0@P,2$W8n\>tK{vm8& hF]KR5 !~ǣtEd=WA~ wD7uOV2aՌA @#?CCC8,zTO@L~vcKBW|.?YiҪlMbAI+&IQɱi\5 F0uirk1]ܟe]@4Uu2m>d ksC[IrAQCQ qj+  T y2.40v9O$H#^'d%Wu6:O~Cg댬qriANMp1$.7̉+ Ƨ)<pVo(7&"x{ jLzgAjNxAmi^ fz\vCҩmo(H-),* rߨ?0;jIf瞌3'񿠍n" VU\]5A.j. 4b ;+ n8G'=;34chL1.1j7?^{^ ŕ}B~vf#?!hUnPHSܓ%@״wX' Uѥjq]X Zjmx(ӫx=dWP9L5&?Nұ^8|'"(- w xvc ُV6|gm.jmRBC# /T A$4w_5 » x̝uV)t%#-},rkVC+&Kps& t@)r!=I@p3h ҇%rrSΪ)ZOM8K 8z'0*2)AېT`5zylfN(6mb1/Bb'hiXfFwН6G!纬ުֶ md{;=GX;OIO Ojc@5;^3iHpF=mfYՃՒ姫Nڶ)CR p"_L&Jd@s6*J&o2+WqqJ:WVb̛#l֖OorKJbQi]eDjdfֽOy<xieaqJm` eG͔] z;򉬞&:Ȼ #xQ[ J #\L ֶ I^oS]eix`5(Mեqè@Tine_/~dˡbt?u<)7,>90ZUS u2`;' ,=)HLI֚w:ઝ.? B ͆yPHq"Ib$>T^q=7xz&[fJqeۤ(ա/Řt]w7jFǦ5W:#"5g7]`ʪ ds}Gdž0q0&8K_`.L>ub0OzLwQKc1 A4dJ)vgJ?숰 BA uzB{YvEKS>PWOD>2gmpXZ(b}&z ^TKms0%6kͭ -N35f^y0m!ʯ?)m6Jk'Kb)Sۥ"Κx;obm2sjՠ.(]*rX=Yx*v@\bAB}*Й>%؊ gYZ7zXZִF! > ]ŗXi% O"] Baɤål.^Am:4&cOv+7m>7y ax,aܒzBdpƁgMJ"9:F!?KLַomԩ6alV*.$5#Dqx9yEq:~:ZC8YFcD/*p^h)Aۏ/T=zZ>arNa!- 0 ~y@=ED7|!ۓR\S*ŵsT`Nⵓa9qH"kH&;T_`-8m.%(&_XC|90d*y/L, {_no_{$RF ]YS·!z跇0iXH`ͯY4N)""\"ꢅ n((эRd7A#R^܎}B%oG["G%&Dw̩K{o}3K']]+ Ʉxv8; \c  #H5?46tE|?u-vΚlm) ,|.ń Nq*W?Ɏ8 c5PݶJKiip:^TvK̽Ut~bUBf6ޘ 5TFf=Zrz;P߄ "'#x?R Kw6/_\WkMAPEj10!?XY y q]kuyiP,v *BK.Ѵ;&02 \/]KTi/k'(\K2{+O|6yTKxM (Q|INϢ^F\anºȥvs-yEښiPcIscHx=r]pd-E{ӫ)SIn5F܆xrkV'`8z+.WW̷Э7K 'Bb2^c\=_i7 '?:!9`OO7yt;]JU*=JPy? c.(c1ݩUy|A'gUN mş؆rֱGt ';y7-=租đj`3{\|nO_]Z)cUo~ Y}92w\k׊vfA` %̑jhme!h[ek[J 1u탓Zrp"!~u+N8\yu#*7V\6SpLÒ0{u^,w}h LEvO'oS.yeuphCJ8LKo=sƆ#z`=K6O=^F.{xq]]"O!y5]#Y. * xZN| q? ({b oP Ӱ@Y>)A%F҇;ܺ 70R'mb_q)oMf m~?9X0y嘞gjo UlzP[w E2oC~|s9 :ג K35ٙ㧂{p]Dz$*)l +Q]N)*bn.[k@X0>`ڻ`v` W -%b}P 3V.+`P "s܈1ظ̅`-YTLCP5Gt1VݣIJfd:$G*XG%, tS3i +Wa޲o~ \$O_g}IFCQ L{i+TB :ZCZpUE~{+&|tpԝX+$8MOT"x6h:GZ"H8&CUkGGXtu4CvN|Dz7R^'R1xyjkhȲZ)–xrl9L; 4?؇)m(M @}ʞ(M?ױoSz؛b~,L _uM,tJX,7%0?0j'~xOR'=Rʸ-B^J{:2CF{{['>\X]6j,nͿ=7hAEBK8 :c,S 9Sp',]cE= >Y}Zh!ެ ۆ̋̚WTu"x6J[×(%Pɖ~KN7ױ=nI}+b)ۉ](I@H_e@&@!'Tdx!92&:U@S+]Q0~ f*@,QE4,FB6F`oI3]g~;ηsٜ/r[Ɖvf0oʇ>QZ"@ih\}tuLR]x:E&Xj1M&҃8$c;˞@B "7 G\(iE3 "'O{FAYT"8mmu3`fk‰/P6(\J#Ȇ2f^lt\A Rm.#-Î 5A 9*tjٓAġ4Zu+8/#TT㡿L̃?g2u^ KҲo=*4