SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 rr!||d ]S Call_Arity:threads=2elapsed=71.210cpu=125.552gc=8.276factor=1.767zXZִF! BL]ŗXf1-/6vRZy_:qUr> jE1guշO8bJCdts#7gݧ3T mf s)w5F4f9Oƀs}Z6c?EՕ$#}7-g$"b_ 7(- N~m4PP/U CbH)E)F-8mȠIȉDӣ$ְ+" ]V% NDYmGNK,w39 4Zo9E *OB k<5$v瓷r#(IIsJ s ;/"Ђ b|+u;]T Iuh% vh켰,A+,DXрRiP+h]Ca퉢0"1 ]@dl]NbjmdPn9r]X:SZY&)(g;kྊ8޼3e<@pPg4emQgZkK)WnI{ICL`ܝ/J|}6iߩ l#,(0ʌ[%.uv|'T` 1#_jcbNi%-'֔V$_K91M Ɔcqٓ22/H ڔ߭+x#O@50@؟!2 %&$O,֧'B.6ݝ2&I*@0yP/v) 2`z Ζ'D BX|~%KB$:笧GHsUuFhV>Lǖ9//Q_g]'׎j&QpAc ܆H%K5m\(=℺_2`Rsz4ˀ3_Tݓ9S 2Ęz;Zgg@hmB" Ro{4auR-`Ij QEiMS, @s x]5IC0"I2 WSG| i@UƲfFm|f1EP~qfI͊S"2Xn΢W&ApmOr Q7lb3-Sp0Gt͟|aw_BOnҢ- UM".+ҾZ1ɂR 0V;9HbcY~ybzB/:οnY ૦R7Yl AvΝVU0y[Z4os~pXIN&l}Tꎥes D9YĝA`2#]#%pqNyE9CTfv@D<>:V`byb V&־]d;TY!)-aG 3~jՌ#>ͽ}Yo 8/UI ^D(7n g-1PU>zE<YW]M.lq%b}g W%ݟ Ro]$֋ GVVL[K ΨM(d}]DRL9_h!$M&PxXѹOM¡Zr%|i8G;tNŽt/3,mXu tNygur=(?J{Ds c}>x@FШw'<:mNƊERҀ$!)E" 4BR 7$ηk/cSOJy2b͛%91?pŋKCѾEj%'6cրOJqsfos+lqw~C{u2jdFVۍ|QwfOgSϔ #i k*)$ mw7v/Y/IޡE{Ubp2RuF@6~HbڽCNB^L@!5 P="P|cur Bn#X4𱲥3p,3 8ۭj[b͕VOpuo52N!>>j#Mm?aI ׈۞߫}~fT}p&i}dAJ$eBgYZ7zXZִF! ^i]ŗXi%;,ο>f{̴-d#QU+-i ﴄ !F\ K%W;#wnNBsMEt+qh>W~ 8K)MOV*|Cq{BCR;e0#D3P9")؃bj:vL̿,l c 5lf}M6.,kB5Wdpw~$/46emes 6!0[#-! _gvEC&BТZPd1|k Fo#13Ё9zS)lDNYEыVm9ɢk7IvE_3/4j߀Ջr`4^aˁq@nP_,X^hۂHZR|D~t_;|LM'!MrD(D|Sr=FU\SohhTmZ,Hf-,uQ*gd/kݐ耜 ;}j_Iy$'frd[;p2rrѴʗϼdһZLKcd DK(V`cz q}TZ0%.Jg#/FGzL4Kۻ,DGDRiEٮC;^QMǑ'2:"o( kQWp'>)]T *Gh7_'K4-keך^LK(\-ʫؙZQa' N*x0ۺtF?D_POZ̈k<9lm.QqDŽr8X^4 AO!a="6IhJq(Kۋv 5)®$+A|'*O!f(S@\4ytZE72joD/9 [fSK4kӮKmKȖ7^j $x2Y?<҅S zK~"y5;xQ=hV;w_7 ozp[g1C['ogo(JΔFqg`P#X$?HJ}O׭sy>g`TDp{.@Sv;X؛@R(h(GX(~1h t\U%of.`j鹸F~o;aw ѴPp4G}QuV*QpL'D>w[*/iQ brX5h=B'OgLA2=H+6$\ao{D8R+&yc0bP)NsBBx̾XʏCbaňo߮4K՛C'*fթ[_hs(""^ ́aU@ytht>P:f2pR)|3FH f+Xu"7vbFTޙa<ZL!8 >lIkjVQiZ@)D.)99Byn(,3qW/%rE\Z.0z*!A ZZ)q+[K¦wEfYth[uu8Jr&;g+b ara%gQD&=zͷ{2KEDŖfώNzX3NKI;@v`'xR'&.5n!fV@l)#ԃ>)^Nuaӭ](ꀡ 3oB,$ZBȫIvh OxATTߥ`x $(eHLVf9,L9q #wCZ ^b&a*9 <_KqI]or 3؇6x`M>O3aBL[@Z^/@Ⱥc1F 2~:Y?j.o}.fU}n0uc =q>Bg?DoZImXo}2nf1AƧS#Ŧ&{wi`|)5Vjln+HLz ?D'#5UP,q5a3;ڔ Z~={ I:;詜2 0ZzL߳2g),k.j)O?e@bVTn /r\o([5-ɩjA?,rGe,C43_|tRw. JO 7%1h\F{./4[Bќl^l}It]š&_PY,$,:u&~FuyC]LzEnZSK '4["9*!eMJ ~WdBs@`)#5 <,󧔖ieRljnRr@1;.V~ " Z3v֧L 9j@&*XDD?خaB2R%7TQ`/ˤd ^oPZ0κ< RH5+cHu A`;/iQuxOF3[qfjfLdux]Y^E]=XA+yr ;˿ B|!eckW^t?IriɍLiҼ(]t+NȃB H4d\0ѧ3Ɖ*GAm 6῞D.`xN(q⭿(1HSWRltFK$`WDޭ=|p)-!=m#2X`[(R0YXAZ]WMӏ:!EH7Y x$Xr)a LFӌB $|9JhOG>Nq,m>Ws Dfϱim/_?h PNj&$6oy0qZ3*WMϡ*&=7~jr-]+.}q9?&b*Er@O/~= g?fwVgF aqXtOA(Z=f2e9mb9R~=5ƒWNF*sVT*ϢjExn ZO@U1meEE eP=k֧R5z 7g)'EÈ@$6)Qc"[`PV7(L2I]\d%6CYdp,HBq4!xmNgYZ46098137e558f1a46a727058e86e3de67fbf171a79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 f1c129de9d48b6cad81787697109da60e36cf859 88718bb23eb0d74e2dc026fae47cb10d69c00784