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 3!ttT ]S Call_Arity:threads=2elapsed=79.363cpu=137.364gc=7.028factor=1.737zXZִF! G3]ŗXf1-/6vRZy_:8/ on6's25J=X ,rVgz:K./9;l4@>M|/NX"p}PnӢGᔏHCzzeW)(mb}`1K]Tn!cR. )3|.j/^0m9ݢ< e¬G.%~MC9KBdrN%ptvc[R9Kj,eQj#z,7&w\9ywb8y!x@!.M\Kj$G,π[R'ہmF}ݶ qő{#W %#hkܹ$L9Kan?|x4Ez $cF@SXGT`A/K<<\jrd$ - :FCo֜XLQުU}[;^ =2bbr{L(ȔQq,\80\+ϋ/tTq!lQU: qE+~b $ָ R1_ywIйL1uo`Y߳hҙcfC|͆φl:0 hYqoP6gCY$S㵌r%}Ė SSXAQ=;U߼7ZW`Վe ]**vA.RG]dLB֭nޗBqjsܥ@i9՞>LwB 3誵N ^$pW!G=7tp(A=9OQYM%p >fY"CiWB\OZo%!1x vF{f0H;:3f&]/G"Lջ]BɃ*vxv˜1?HC`T('MS_H #3tu7C(96u(sCNˎbK9ed)Uv}HbDq&iv";jcDrCx+`+ wO{3>Hq.Z޹Ze&gG"[nzm8>ziդJ9IFS2dcρ+_L 32$-)p-V'> ;u ,rFxb+2Hf. h+¥?6^' U9(aAp<  9 G`l>,pqAL*\4R(@*ε'3~߭'t}J9TgQ5PEfF*"Ia;~A!B?tsowBȕM]?B~^ |狏4Z|6'I%{ h!8yj) BG%˪PԺ>kQJ6X)7˚ӣCZkw=|+Ewg;BϽNל5zDQ>$OWK$WrN4#g!])N;;S±gYZ7zXZִF! t]ŗXiɟy4]fz#jkP.YHG1 v):PVUa2,sMF'DHۓ Tc| D2$H)7>keͽ-pҠO#t%(HqonwtDj;̽#}dC:&C"9T{H%,ΊΠ) ͧ,eE ὐjJ|k>ݠrws t]9w]1tT&#KRxFTa hʈjZj 6< ? Jz>@Q vX; ^ o3,": ﲂQEOV0*rF~"Oʁ2\3ҝ+Q/9:sIhv `To*͈@ϧzBN0W`6q` Pwr"0 sߤy$uUAV&pQJUER̀%ie. ;c{+jvg1]C`p?'Catz6tZ}B.~>j3 =ot3pjB"N@1zaӫ$b_O{t ą,edNa 5)"XΟ;"W &) +p=3^o%ntiyioˎ˲%WJ}9M.p79D@e@C0{̓˒%%$NSPM$ЉgYZ7zXZִF! <]ŗXi%9(SN3?/3Ⱥgp3+NI }ISUb{9cA!8 Գt)&׌VS7c*o) 2=zֆN-Ț-?8z,kFGSwh[qS'0Iҙ8>mP5^!pa.N`V  a`5Y7jzof/l6|Te<7Y" % fun=/mj9B,L52Đ|{^:ᾄylx\zڲlBv^{>ѥO:U-LL!G_YxF莊eZAOhoQBz]^XÏI0yn*?C$RhƗ"  \E]ğsĬ=AwInV/"t{hhgv6ξ8=YQ{M.|=/{?Fp[k^*~x]6Eno1+Ǧl Do|z?3_ZɪGb[o˺j@]Ԧ7:صyPc+N_ţ/hGdCD>ROT4=j'BΎ'55Q0%$)UL,'Ȳ`EQY-Vd=͡VTW#uA5`-_o0sK{Ԕ:l?X[Pu[A|DTcTpD,\|gy2.ƕ8:9A}`a 7IL[Mg;6ǢjtOeHCÑb7%R_/sz4t ;owSat(Dq]I=4jR3jq3-kym+rN4)™_zZIe0ߗt:~*tOYR,xuuU%I)}c_V݀Y[㢪5'f}<+J/Xn~3 6iJTzvvKC";v7OXJwf-\Ro.9Y`ȗ|Syx[;/(W÷MbׯThjkD2 SS]L0V@ci#LkHR!M3'jqQ2]`ŏVђ6&=ewWZ ,0Cڜl)DJ>,'Hk\S) \2>cqL`7R8J]4:D|Ǔ%"Ay*  Jj~yBvU`3'#A1܊%\T릨AWr OW5˖bVv6a`gNs>Ѐ`Ԩ4RT!ݍ%PpIs@~,T9`XN|Gh 7x.'N֖#ff$9KkD̜s9d'Us9V=ƗbJkO|u ` aRVYnM7/_4vb'6Vm,A]F^Lpx+,WЗ+,\m<|u1P GZ : bZJ;.p}Xe7ܳr 5lGbtX~HZs2N j|q:Ж B.=QgoGi&xnɸS=JF@l,tO^ÄRj*Dsj_!8̊bH4,g!76 pwG `E~Rw \@^<~[*#Ys#];C-y\n|CI/\%>T&Lo^C o,)u [8reac ԃm;Ic7KYЎ Bl3?=bDWXw1v>p*`مˢJ"LRpB^r[,*qr1̕6]P}629nR~.ĸZKыiEzDΕ- ڞ䍰& p;r lO*l[ 66T*4~ِiR2W%K*Eu8u)ߔh_+X Ж9ᥩ2\'*zt>kD%j(nhTp< OH=/NAP!dž8U#."W82Pm (@,'ӁK@}Y%0/[)2ɣ~̶yيQU&\2 PԂ?As(P`O2qm<̛Y11녷ՍD/PywQvvP ,v i Ms<b㣡k!.'i鏁<2B&#!]b0<>,DOe,&廻⃛% /}yV>HURp(S^36Rr[yl1H4X.5``$TRIQ"w[X(O#4<=f=jAu+9@o4rr@(Nms ((B 鑒=CA|0k5.>VVZ_ ם/:d*4IW|n'#/AB Ɗe%zk\`D.9.A[ɱF۬w[Rԗ >&! Xm}H^SoW1rm q!-)*gZdiT_҂&LJmušR7ا[hް`!"j~8p9_S$39ـt^'Cio 6a{@f&dSfɬ|{¿{YT &$e"&Ӷjeʧ#gYZaa16cba23fcfb5ff1b98cc19b3ec0a83c145e4342722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 3a17c0ce9290c79b4fd8792ec0f608bfe9382061 5f6dfd8b57df4e0cbc92585fc75fd0dd7a144af8