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 #\< ]S]HOL-Algebra:threads=6elapsed=47.986cpu=160.936gc=8.756factor=3.357zXZִF! ] e]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!ff%֟P8BRT@vas`$=rR"t}r)Nm՝ 7@H>߈4)h2xMv:+ۓ KZnlxr/,ֹd5B!ENr9tٺME5LyM"Oxef~J V8 bfjT2bٸҝ VBx15\]cBz@7ͯqό.ԝZsoX!(dHur /h:v5I–KDܬݘ޽M˧2J-gg})+ #ȕΪWQ%( &3K"Ucmmra Cl) @f LxW4:-0A=x/ȈTbookuHcBE4+8;*qJ0 $PQFI`0p_@GYKɕ)ͳ5}2..Z[Wn\<@nmkw) C"l䬴Z\i7|;b\iޣ<|4IiZll;YBI1G(*FDNͬB 'oNH$ҫO{:<$Yڹ,Edvx ȶ%#i붵қ3nS6u `޼auS4*cbQqN:hMZXT[td2ل{/ܬ+!%P&`[$ゃW_0 L(-w4:^$&#ʑ F#]w`5Y1Whu_7wH(l:ўVO}RD5iѫfF9^ js#1K&&Hn=ؘ,Jo-InKrK{ 8ѧ%ڗ6| ux4 tDY/pݯPۿiFpykVg9KZs6>n<1, S>WQ ǃ8F{^Qm}OJ0=ro!=ᘋtb"U0[Ц_:*Z?t< TlBa`@rdF `DfɼuaQ(ؓFh}L ӑ֟@*oD뙴3C/OU/ku;؟(@Q4DH@zNuI+_(j17Նc\pW|I(Ȯ׉ .olccMQm[LJ)."ixN # HOL-Algebra^6)I ɤrIq˞X< rL@v;AZQD ^u:ح) Gf, Zq* r+<޹V@O|#b@K‰vK%HP\n+7e㡯|^I*݌خNp:RRHYq wͻegYZ7zXZִF! ]ŗXi%6K3/jAך>uXw54\}.uw\1(Q!wxWWQTfHEk_ٜ>uE? #T5 y=l\ֳ+FUs`PkUgHy?Yo?^ @N+jA@BmnQ͉SMN)RN֋0b/K@I0HH-1E58o'tuYT;5@$ئ"͂s~ fcYZ6V_GYCWE TQhMC(.B|0.x/[eR1di.s .ڨo7T.vjG+P}F4VMΛ{dbuu^Wi")'6=IkV _NQmsDŽm,c=zqо^{}_RZˈhwDԅ|E8y˄y/ٰ]5=ać}l(Fe}  z۱ hoK2mnՕ.LE½vzD7l9L> 8"fD\n ]Z=ҽĹxʞ$5_}]8eȯF\XnOv Eb" رl+ K9ԮwskK([ &mcvSe<ܹ<*W[**"[=a0 6L& Y7 4s^5>ZFݪQR*[(?.޼˥}Zi_}}e϶T3\d0"Zᥜ{LX*t4I;ғQ)+=a/b*cH:0"`Qtq UE_1``FHYVQgހiV߂uAY׮4rw+}).T #$O܎[b_:)6~^ p|:,Zo 志Lj~y\v*U$yQ))E݅Q[? $-9/ױ_Ľt}1p0 &x֜Ÿ'"_0elgp=?_!]h(=Fp>_4ρO?p2#i \?. RP z, ÙWtaT׻GBMAͅη0?"vԎox %toAWDfsaDcMLbŗXaf43r4݇ CQx"vU Nf37˩LroAꈫVj{o<(;F1X{\ \u]P KsynƤǟZC5׈SS1W9ͯFhy<*>l5QqzOl~܅192!!cȠQY'@_,.c5`" ZG < /l"iڑJh^_'lU,ٴYu$v = ۢ5++v_}a/Ypֿ!q%` UtY On[ۏNxaL:6=}a 0<1~ʲ?FRleV) }*f̓8/WJ%"oT z=S**]d_RqDl~9us*HMt"%OHbF(w֞wAs(38"&hd%$}6Z$bPmԠ& {^-،O /|I("t.{ (*:9z.֝}Cd8wOT Du}}tt tܫ8GR]+!zwzIaKmCL% (qͯJT4pxdRyT8M‚Iw5P}6.sk̗*Y_:jIh;ГP`aq uj8̝Ad9_5Ӣ8"i_ WBj̅ >vۘuzhN$Lj=?G'5w$ L–'l,"$ٔ4"œlT׀m&~MUw+gr[p| peȚ<^"lAy'B@@3%3|=3*`]|2aU<]kӰ8xI$;pUÏz3mqhkD<C|o-}װ<* kS{| Yf o$N˽~gYZ63b98f33f919b1c470a24bdeac7b6b8345afda11b32ac976cdb9d7611cecd21164b5d37d166a70f2 7833fe06054d8c848d36bd9abf4e4e615831aef4 2028385119fafb7bac5001679cf939790c300aad 31c2b22aa100e2ce55c25af4a5330302de88166f9f4e3c0c120763757cbbc40e3ff0400b3560c5e5