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 889d4 c BDD:threads=2elapsed=71.271cpu=136.416gc=2.900factor=1.917zXZִF! el]ŗXf1-/6vRZj3ZX7f\{4= EK#fdD.vgAtIE*|Bܨ7n_]ť1=Ԃ A>64a2'ơ( uY°bd5e{՗/uvS1YDqL,͆QČ7;8G+0L2m9 :-?n7PRk"FT?nhA%GW MOSe!{H7Eų'e 4"[}=gDdd5K 5~BBW _}W:iXgOO*߅Tx lo>> q^Ef :I[x%8DaRI &S& ~xHn*s#6lWN{>_^l02Qtw;m=c@:NXÉ[C|Ͻ-L&QG`SVW!]`Bq۝5 *nU64 *3lfx<[|X]Onw-ltA 6,Ӵ'}\dcHqŦD-cYda 4aktL#Q{p ם .-tK45D@+km/ȜԢ\ :'%PYo`v l⃈ E&i@SZR{¤&#sƿ"9\pv5G<::y ^KڼlZ.ż$ϝOu HM[b9B]zcșX(/mFIQE0N us$>oĭq}6}y59&c,o_m'Jon̗x yKi8ݑU-eyPT{c,a'J+_<4NL,L%7zzJ1'NZ*i&6PQ亲jSX. W3mӗ+j԰HQ&Ypc啝Qmz'=Qem쎯O"Ѧu›Gs-ׂCa&Mk!BM@fZjCyl[d$&wPg@'lVhܛ?q|A&x^O:Fo49/f8k+x![&D2U+ !r-rұ-r@oC0ld g0<:߼0,ڠ|l `mJ ~V2"T͞4m)󊾽~٣h\9 RnKȶC( >Z~I ܮsmY_2҆AxfW2_STGfEϺ(BM]MQ&V޾-7}McN ط6˱f-?y3'PNR*ȩֈS`T/`ż LI/ wjREȤ6Gݑys.ΖFjr/̃0Xt87|F/> Q%rz_hW" 53[U|Ow3,M-T4{JtwՅR ~}J"+ !WAl00=16]$\Œg7 EHAEP>@ëefqBN+Kx|e$@â=} < 0i%;#{W`/-Ε ,uC0XNOMAAGLKBPgVJZ0c/T Mu /Uqe%:TgA Yf~8x7tTgf}ӽ0mq"+Ǹ;oenH_5q Czʳ;xA:q$nl" K8<1=$&)=RYd[V-O L3u|ztg,ԃC"7\k3;]ux@[bLD[Z6rtPvw[$U5&rgKG=0ȖIȽ Qr>RGtU%6en!vR%P :rY񯋵 &0H`_ #d Q rp_kMnbۨ`sޱaSx%LS݃ 'ߔ1~47C;- 0IK> _đ]ή+`E$ d=6B݁S:_rY~#р!vy%۸9Yme I,*v6"dRV1$rKS |,2y|눛uQy Xn6 wT>U'$zct'|# H9MNk<}y@:+G`sFlPq Y3}Ѳ³ApqK'~v`iC r\cpük@OWR su"1t*}cdY.EJYMH!y\}x9!K\ci C/N{5<7U7q3'+:Zq̇B WSy*]-my**-[A:s>Y Z7\+rt;^L+#Ս&k2$)j\9Y%RhCQr;S0bW8]5MsPgv^uoH&VH^@Bm k4?;GesH?n,[옧Dp7-h$ YȜ[+x&/54m#ӌFPŵ"3>£"H/M2,G&FACY9#6/ N.ź 'f 2x'E/1&]a@U\{v)O1^j6/1ڐ PMtTԄKВ}ǵ $z+)1eH@-ZsZiMdҹM2w` 0x >;C5!-Dy;DpsiC2ng$\?y+R#Ao[Y"A+򾷳AT(Ó9:aad?%@{y6"=H>Ϣ I^fAV}ԝsꛍT~0S{T۫wRZ[4D6faSˀ66FervOrUhhR`鬀-> Tп?Xhj¬Q^Hlw2~{h Qמ^8.l14_KPa,'W[Ÿ u3_ߗy{3+\ eTiV!@) 5?{b Տ:ÿƦ+Ԥ-(줣lw2hh s(Mm7+X.=Rn(=kfXfsi/-8;oTYFaLw7)MhV-,"i!MQB$ z~EpAn W, *Љ[gGB]#aG)F _To44z0zA#Mͧ%ڤ`:P1Qg]Dhi<0h@ŪPAH7;?Vw#vgF33np p^܃x~)!\ҨYk6k6t+QPzw R/ xT/!X"JR4HFu"TSQ"]*69oJ:zxŖo+my5~JiPrC*ҝ2z%گËx:K~Y->u G?dy16Lp>ڱ"KYa@k2[+sS]⸠O 6#lE1eY s5yG .e[àYLBcQeMs9%X̄~4ч5SKvWݬ.ݣ]k! }N\Ҵv&[0mOMu9yO]EJwUl@xw$a !*5"Ff}}'ͺ|8p)svy1N--46wKHN@R ~pƗ=|(6k\^'YE×tjάp3f9vMf) qJt6O5DN_ :v%SIZjH>tiC盷73!y"4R̝lFc!<;ػkނBvtV}WZ%J%Q}^}ħ*9JxDGQXtu|Br;i#"(NQ?3bAi?V3>XK⓫; ʗE#:]KKNt׺N8L@hCG(bXZ_\yݴywB @ 0|pWo25c0R3~:?"S'Qs@ ds|4RXwysϜQ/|GL\7qnI92 $E[t`L($'yd>4RI *9; tAR}vhhS5+AgYZ7zXZִF! b]ŗXi%!UBIV9$#Q VP2pkI&'&o2RЋKD XmBE/8(suQտu!AW+?FݭoPE @;bv3\j.l>)3BPqmDcȑ$2{tz}n%SmI1ezNj0rRX4_YR_YBvnbN)m'x@c+l0QѶJ*Q bB!3JX0´j8 –Ϛu`9M"t;C6YPW92Vx/eP&1 4=Jx1'oDyaU1#686ddr IShq_+ŀȢyW_6WvD$L9t8Y_elǪk=`G"lsdtbFPtyW< \x.ufܵb ܫbr)S+O[g&퇫Ч*ÐmnIT_IH{ePؙenD4gp1DB;nViQ7金Amp13H.KŮ|mnfI8[9rx[JfMw(7nY|wnGXG/ڀm uK)`L_½?BǪd޶I~g`vC/M;>#&+`;<L_ȱA_6r2̶MYsWE\`A<4*FD-$vJT|` %fNP07aTj/4C*heN}eR@,]N[:41{ m>^i -3'd?߫+:r3vB;=U0=0O|Œ(t rA@(hiɅr ȥ8|u u&OS(:k+_} I5koIRؓkNnAwz=Tֺ7O ds2Ը΁e´)X#}>)V \ r'8Q9sR8}\2 )N< %FNʰCh *9*S<2gؿ_f=̘`:WOv&,d;2ۃϗ7FNK jlssmeW!ye11M{ : ^-'|GgkRbmxd"("s;:42+4W'XPZ1{k혜X 'aeN/oc͔ps߈۽IgbhDcUcQ@E;kFkDªE +c[L hD#.e{5[+t}j:@gC.@XsA-- & 8Q٪M45 & _hW^2kJRQոRJ!%*$50=ʒwP8H$2j~ z⤤Bt:¿_QV=Kc:@ O{T/ԠA]PAm4䄶A~w#e:]CI铈l}-`6g.р[8}umt.,+I' U2h@h5tIF/)|gMMDVBQ;x2p%xJHyFX 圎,:_<>~$;,Kil](v*bz>Wp$ (`C #$_l\dpHP3/ѩ{`yz=DkJf|1wrAFF#jpgQ|^ep[ObROUۏ/Ƿ=h}IOaH"\.Civa-W%C&$:mdEEEqsnG)y JnuL2…ES ! :AjGC&WiMtg22|OfՒUDk 8m>–U3N6SD_3{؅H\w,eOߏ2=m 4`W1:IR6W6h*g"IudcAYxi :|%x<0 G:к{98o"'ծ=I4i_ -u S]js~T\ڰ!?|6g}>ɠ#Kaw7A2Amں?8S駻z?5pk~.dJ{1lH*V(