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 Q-$L ]/ No_FTL_observers:threads=2elapsed=237.317cpu=268.356gc=5.460factor=1.137zXZִF! - ]ŗXf1-/6vR[x:Y΍s8?ƊeTK(DK-&bD`i>8k%xdDZ帔P). +~NmʠQyUcOԟ ~*AA;\<Z/l 9IW0ɷKY-WW=Sy!Dure6318Y w%p=ɽAm1438G0԰>%WV#K-Hfb;8 )|rA&ѩ֘4Ǵ'u2r[VY7xgH*l5U(^nK @3ܱ]/ά_)Ž`'oÖKCUe rT(c_gq|!A;o+d&aM1kTLXp6!Otom&HU` z mA4t@VA]ҪZ+P_m`g,##M1ƀxpdiJ9 oH :\ x L|JZrCU4:l2y/&pG۪K/CYo52:kU,'nG7- Df3;]/:!g.=js۳XۛzZ'ҕŒY"!7c̦8,Ggl)gD6rf:k.-w躃ĕñdbUw*x0k6SSrc&Tb}DNܞHs0[ذsʆ!mxZ6_KLňVS#4ƾf*gAp!@t?2\0K g_z>.*DYK *kBF {cD072Ⱞg`c'^(LEtNS+t$)A,Y=T9[ɘgYZ7zXZִF! ?]ŗXiɟģGXCX>J2FOC38[: 5Xt.=<QҨʐ7@fuoJ@ L 7}R(zqN,$Xnc7M{ʨ-܋ l@`Ds & 9gYZ7zXZִF! d(]ŗXi%93A5G^rƢF]/}]yXHJi >$G5 EJ'n-ZfoP3=ʼ[1ZɸYqߔ3V/ V%m([Γ'xZ2rBP'c䇳d8ʇ]pN i˙҇K5KmaI`:N`Z_hK*.xdUp|v!>Oʌiy0!9.7 oox7b( @RË/Vi;PN5ɳ{M=Si?.ymHhaseU@Z*܉`@3`{ȾDfxe'Ygs=mRM;mxS%@Bu})%yd9.yaml'BZ` 5xE-uJlWGƶawv,ZJ?ʺ"lR&DBbx!5|dO%v-L)=kW(Snd0'(z ݔEgodJ{TיtQ0Յ&sA-Iߓr{?7A'ˆ&}:(~“fJ?1@gvP VHLCەj-췌D>+q:w4R's؛}-`w-NAƭG,dd5Mᙳ#V9||;`ke)Q{e |!4]FJeq8Ӆ@QB-0Vn,{TXL}2塿eI)S~P007tjK툋dk9{7G}`m0VÆ6=)ނ|̓dp br Pl^ϋ':| Pڬut95\:MPK5o[ hRԣWO=lpCﶀp+& ".y]p1i ENI3~y/Nh0G u러.sj dg5Ԣ}H/f D){wMjKyB>6Z*jvE r Z6ĩ\*Mfn0\KSwރnNx*m#HYb}Zz5  ] ( \(,긦$V>?RD1KJh3Dd~]]T1T7,"|ny{uA>6VB8A8O4:R?*zV wzWjH8J{J *>XW~dH8],KM7#4+1^|)JVܩL1~0UMx˅+4щE#:v~%(z`w!xS[0رgD) !LESc2>in^5~xw}|pg.&MFUB)P YR0cc |2\'(E20)] m `ѯs.q^Y'D_C(sO[%C*OwPr<]oL5{{a&˂+xXnnw$$L k[3k_RnϻϝF&}>+孀*pidisv{6B?"\iPxO'Xt౧d/?FQW˔#t=f8 uZɋP|PZn(?v[U iUuz6>pIވdt;eA_?~KN`lѯK 5a9> %$&aWA*AO9XNLsۦ"6Qu=H\ 1%kF'Nky]8'%t,H`BQP1125rشD+w`KLB0, .T*:W"LYx|? M萚eCJ9i'-'t?J>Osե%1@,d-8g٢-h1zizw{#o^END VFV%]8O|t+O;+2d `>:wͷ>!i*v.@ʜ3[\E!$W#O7Yw#PLۂZ)EcRl#Y͟ |G,iƈMc0녡{N]!6oGg{yN7JQ{aķ"7`(g|U06[sz {O^A*sc,32[0A\#oLɠ'>!E_^$;8i3|1wszɢvo}&=}e03jTsl!udpA뿾2T`x|XгS߅x kj kZFa}[`+i~~mZ}ѴG ܝ N_e™3B|Tvv \4ɵ?L3Qj sj\`u.ԙE9Sd.\v$#(dh:6ZqXǧUGYUM3Ui; Xl3,Fb1T_JC#2-صHM*1V}]>tʘ&ZDpHMҵjvQp"β%ߢnj{C^>FE`)xߋzmAV7vzZ)ze@<8]\8Rg!i mC3 jyruxGV`u ܛ 8bf7'U=M޿ ]1k3".*VjpHbU-&. Kׯrdt.W:)Էm2ͯY}S9F,Rri K%FE4|@ٴ#֪FM?hggt|4:i(;§8,=X ] S]lF\gi](6΋4$)6k`EZ7G z (5ʎ 5\<~Yr5N%rLM ~s QqT/3oRK ,{=ܚʕt hZQRmyB+IP3f l] w"g(lg{i%i}eflT.L'粐!W-cd>khF# ?t MdUƳꯒc8Ze?yZ/@x#+Mr] j鷷)<Q\ |Zx{njY+bZLz'\Iц0P u6%7{omqmr7d\4Cÿ%jw4veQDI`DKbG r,{9@ǕǕ1755QVO;ghQ.-1dFIH/d%f2k@ vL0ie[~2&Ź4EH/O:xe4 ^*Pς#b_[%ky1%x s4NgYLmy9B ŴӴ!cꒊȠϰI/eMr},~%h"`鰃*8` ~Mx;VS I\*QDRN.Iؼ?=˔YYbO]2eAHb9fn#'MJ |b/`@^- "CT~'a;5>9D^Xw{~9@ʶ /9O90k";<&[WOE$v§/vn̸UB<4_m vF#߂,S-uL-닇 wۃ{_͠`l6ᕓSzXWv$ؤ9 zST>tV0X}<)Q41,|5P@ oG4=rCI`jL EhteyA3Cd8*~A[tlUDIN݄]oW8P>41Owz-ˊz:X5Bw 6ahb(_Ŝ[$1rJ[>hM`ݹ?jװ>*W5 Yˡt$ ^7VnӜFa˿;e B:# %#aer'ؚ_!iqLBRf'Aƃ ~*aʻ6 i % .Y1o E+(?osț{l)V`?'D1K_6tB\}g!*cy}mcB ʼnY%S\.v j#(uXIs\M"g F?_ q$ xc/Q"v2%ICur;bY㇥=$~egU*y\&J$0qQnKx4%Q0'm?s OA0Oi>O*@ Dӟ|44dĬ֐oɉ\J4я ?PtzM`RzrB[KCRD bm'1͗K0 |xHq՛2`/*ݩ>. d>{j@M/!o ;`7'G25cdĖT#VRHyR~ g W=!i×{>0|uϗ2l0>*UUk &%}Wh#sxpOvge:VQR\aCɪ*Lf4 ۞eq4fގ2e=eWI/*|vab"O)[΢!x(H@y<[4^ak߮‡%+`A:+:G骂B]yT"5j&'`ͬw>i=p?8DsiD͗(>6wH?vǔ><6"]w 6{)*\:ܘ%6MdC J ׯަs !R·]I=ˢj9`jBeLlG˅H(d[͌aOهoma1t! u]`[R9Ztݺ?ugPoڷjf;G"_n  YUw#0ѹtvjPoU@ʺ,/'Wt.cK]7b+EjL16&w@igO̜X6 M]<"uveakxFih@ҵvBU( Бyq4`v|DUuܴהa|ws[X"l#GLz =8>Tэ_6N먜MwXc]Z#wuy &Eg8+9y$Y3-"xu8\niZ ԕOBaOC2 &* d!=7W ¹ lo3{Y շFp@`W7eK.G+)VqH^ m{}Bg_])yף|v)O̟œ{I%^)L7z@}.dHmtCYB{QgҦ&bZ0Т) .yUG 5rJЅ8.&Jś RݿVTEWLQhQ:fZO lirJRrE>u44>1vPoY/(0^VzZ]*K:lqyygC2qi䥪T1*rd٘~mh!3su|.Q1pVۤs$.ILNx(ZkΎǚS/}ʛb2%l-o0 ?$\/J֚ftڢ657pҋ;豂Tldz* U0zt;_ۀX3 $=%.'^[Om8H!|xiRz(70~ j),@qw,1KV10/)01up}- ^9xS?˽ЇPąsΘ )?qjP4ӷO*:bqP{xrL@/dpsfű 3aW*lKZX"-~I!6{*<} ZO2%;|%_SA+cWjsnO)7*f%; Q6;|{i%dbd Bm \wq|sh䲮փٽE YzӪf6$v4>).X| ѳsPVHon$EZ^sfg(96hġD] S7 }vf)9!;j+FY` ܯ׍zM=y\J^ eE:BZFP v޹*916gn^D9X6R^an*l4&rX)@w3ι/Fr:k^@88 oiki~FJY"B r-TNd#Aw'PfW1[aF:} w@\2=n/ [AѠ_X&plK"w#Ňr @3 =$}ι)\{%XK ω)0/T]?ygm p’4@fYl=a(-O0⠏,)V bu'p:лw\C%vllfih@5FK#@yua;ANI/8g:쬑ջce6476`' |fXOԠ|!/M2`g!Xw19p#ldBnh +0ȶN?*gGce&:T frK90{*m-S`#¢7V+UcZNceF[?C