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 {- L ]/ No_FTL_observers:threads=2elapsed=219.608cpu=250.548gc=5.264factor=1.147zXZִF! -D]ŗXf1-/6vR[x:Y΍s8?ƊeTK(DK-&bD`i>8k%xdDZ帔P).Be׼_r<oxZs8V"O8{24Xds⇌0T~)_JܕY_4q~VfCG[~$ϒT^UhT56Ji8thk>Wz6N"hg1&q"v7T[3&iBKr:I""+E[4؅ܜ>76pb[ݮ k~^sa:ΎjbiipJQ! lT eƓa=&H׫ &Gaؘf@?K:̚OBg0\ 1_ܑlJk!04W Xheڮ;oN|9$Zw8G oǸ24ēVudThm 2(k3muv,13;vŏLnB E4$wbi(ytG˸E&D}i`[BU&dҍz'A۴z JBxܵR\Wp,WJeZAD{Tep&CNI֭T= ]JN7⾐yi:^ٞ NU9 bvKS}P;I-q{jea}/?2LA4!ү5ٿ~ p] Vwnbؾr=y")uϤ!*P?A |͵32W㑦M-X-.je^շ?~p識+mvD7XO}a1:e]3&ct$41"qIqwj 6t m(a7ì),>Z|NYGƛe9™Z%uʨ:<`-M":};_|1׽xMnΆ!Z|9(TPhF#ݣ2Ix4& 4 샔x,.~s3Xu\Yp[&[*#g{)&dm,Zb*-K ïls?Cwoɉ$~Bmzg*n PO4\u"$\-9tl{@N%^#DH4S|%Kdr:H=KԄl9 :bV9yU/|45 æӻ 2)3 E!*ltͦCJL~*Ul~BX^1/'ҴU`D,+ t!89k,'dYl~҆Z0Me :dmЀ1SJۓlh', r$rxرj+/5nSv3rem3qEn!iێ&NfT\ӰΆ4'V{]Ex jeuaJBu~vH23TIEsU0Oץ5`{< - No_FTL_observers;W8՝hbkZ,ϑDV!&3jBfqw$~Z6dW5,,tz} \ʹ. O Q_'' m/,L(a* V_7%U޿1DZMwrqCK7=Hwji8IFLv%Ck74yȤWrqϠMv7vDksi^Rͬxل9.2&FgMɦvٟjo0 AYj:*~8Lj5ݥ0<,7TiyR"Ă-[ā9&Cy$J`=>Q"QS`r5JCZ~wGs;"Saa:c׉hO*VUfaTr6-[cBdSiM@>nWD (E!!jD$\Xz20;dw[x\QѶ]eLȴԖ]ԗ_sd@u!Jkn q$"Cgi{ ]:~ [Vꏱb|3/yjzA(Du=? ET{m,!N4fCc/K@I3>ZK J3 &#g(̈\&0L[Ug{0:0=dr:?J:?м\\ Rel U h_mDR\ "٤ic+XыZF'KM 3'~.~m\>rE Q+ED44Zqދ@r ʥ Ual5SeEŰ e&M"<}\DWrAU@wOabuZgIH}[A١ AwC`MH1޸SŕXt=8;3aXI_` psHaT(gpBBt#Cs-J}Etd͠z}ďneb.8jH`E RX S^XE٧n o:ǁn ,p={5]A.PSl[/A2f*OB,4_#zzƺQfYSg{γ={*+E|:=nƼc)vE!O6 4H'FqK Pݮ{z!x;(qȶ.j ɨv;ȹH:x  2MF'&!uHo$u\3/Uw2اL H@wӠ92~Z`#MCѣn^iYcb^i0P+`w~@FxOm*{a\Wsf`Bv;6BףrD%&O41.A ӧȈ935:pCw@lctaQwN6Bp\Ϭ9dw !>z`º[3-4Xej3^^ N*k9Y\>:7y 'Fwϕ)="ɗ1S "ԟ@=CdRӡNor8ځG?AH;3} ~FL :?~x LU].IESk:F}eQ}zTc7sP%O%Z Ҋ^F$a5g8N-ثӝBM#vƈ}& [F 8MvO 4ޡ2`DžЦE oY,ܔs / Ne %=JvMl FgBy.1,_'іQ~u4=0 wzo0 г` KՐ v|b0 nX(kyΆX$,iLrAx\&!V5܃lU5B3y0\dp*aZk說 ޢ4z%V3k$_)3zOsiGԵIBB?E-BI1p/ՊAsR>g#%SO&ɜ:MXi`;Nv4chRK[^bD< g>}/2JR!Y_p_G]Ea(K71 0uݽҊQ9t!\Z!"CY _ee#am{ IF`uۮ,H9L0egEQكoLgdou+tǑ~[>fK.U柛 5zLLfE_LTGyH8'K "}i& Wa/u FO3 \G,kK5 Jzz%=ɭeƍQ$(L\_gQK6+_yFNz2i>rm(+4\A&+\s>gRX%;̬M_"Se]$ wαln)# 1H`n)8ΥKL484q|/Y+g/,RλV oՇWw+ xaCl|B?_4¶IƮmp|Z$ö]` xXvCTB*т#S)Fj% >[5MfR(^և+nM2mǹhb݆_~$lgh^ :UPYk oy]|#*kl ]op sJ(#:_-AP>%{5Ħns>sNĪ㛒_ؓK5_y㳯'^P7\ _c^ 8scB)l: @5^s3j$ .}Ե>XS-D a/1TKꬦ0[^kۢW2Tq|{ _ Aj߰Up?}+Qm!V‘ouY"I?_^NA3 ?tjn-pJiz"g(?z3^Z)nBϽxdW(z w,wy#ظP. $}%{'I-|-4Yn2!P=}Z{Q\ʗ_^mSk4 1fLЍ^y$ҫ;[7*6NZrs<D RNC q8ʫj>u8#g6^{v3i}z?esl];Uf*#AեYoEGiqUCU-{\R U8 DnyU4b}nk:>FYn=h[awT 7xAr(j\clLJ;(-c$Enh:!h~y-\!ADQ?U c)}$#N_?;q;X\J{y{t8^M 0r6%kɏBqpMz='2HM|2B|ˮTwu/Ŷ2CxT1F92[3GҬ(ؑ/ FLQ$_^z VY$ͨD'tMuC0S! gS>NW(-wmYq`%V*Z~i]cOtMhlBjag8RU(U5WG׷ô0 /@`;=R/#&]ض6jgOVj×Ҽaޥy7'pD'.a5mh}wvuBc ׶MvW 5 ۗdAdhˇצ{iFGkR$t+m8 3WFVB)֠!p4oc34w*D3QW4pK&W{I.騻{V )&=Fy(fhTH$VX{hʎ0U!D?ٜ| `0?6>v' 2aw(\D~E]^Tr[ig0oƸi#8?u^t1rП^S.Po=|bVXPL_cYꝂ| .X}׌Vqi|J*Ş`ly1iG@+tg:&fޏc6'`3ր(UtoHn!K5 ADTވ#6 $jdA],7%;N}DW ꍐKCƅ֞@Ņfko)R/9+Ii@ZY\A/zzbQIx_UefԹ نB&1ix3wP歮k3rw5XKTCMT/Uo]srhmԚT:$K۫w'}ZT-ɋXA7Ύ UX}rH&;^n;wmҕ M ֖1VG݌)^C*5l z6GxT1l}>`22r~&U)2̾]˳C Uy+;*_ϴćoa4ڑLPƮN@,0jf> 8;EPVrfozhMX}9;?b$UcP0C"ʺ]d%etC t/-r9hOQ4:&|#`4td?(bNWQSbgh5#KK&lDz' Nn.d\27q{ڣ zy2xm?$qjXŢj﫩U;2