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 =- D ]/ No_FTL_observers:threads=2elapsed=240.233cpu=273.496gc=5.584factor=1.147zXZִF! -]ŗXf1-/6vR[x:Y΍s8?ƊeTK(DK-&bD`i>8k%xdDZ帔P).*I]b{Eƒ/!u!z%5^sTqdAI p=*=ڄQ481vP{(㖳Yeҳ3E3 k׾L Sѫ!wq#7qcm|ɴz;v{:c➮lf3͝4QPu(]NGfpj )*^~$%4hJ踈): x\V II<a)4?ӹȲ年Vb⭇-ԛ _cS)ɺ4OG3qOZ SSW,/!p@a$Ȗ^MH05VǕ*9"$఻ [RCG>M[r]ۢB[gyK9 y!Jѧ>r+(ͣhgTp'S4z t]+t\9 8&BHa.ԁ/ M<_lQJ~$bJ+ގ:Hf*GAy0H"%A^C3hM?K:" 쵰g%Ӣ. ~hx1]ɞz_kf3&!Uc_yLBS7\!إ Z^G3bͻ'ä燈1X7 78̰ck^nabXŪ&AŀǾ},J*G抴lA:@JOԐƢ{ e#F>D`!CWZf9^ldK#Ch<*.߹HI:lV|x>M a0pr(~a5py/kZ@2k̟[ BgYZ7zXZִF! ?]ŗXiɟģGXCX>J2FOC38[:^ &! Q4a58ePݛMDK_[\װXz.kѠmp:ĠxoHsYWb<mrv"lҊ| &Q@mޒVe}gYZ7zXZִF! k(]ŗXi%9#k"[%7:=3WZb0GM\j/_#yl֯hZ48V4,xn4k[e&0Oƭd +"l@^'1GM')kwo܈8B -33'Nì X 4"t,GbughRdc~,A5S*g,3݂UxLўav KȠXNP+/hcX;ޤebV=0`.6A8s _u(ӈNSwƄFjH>fb{_KavJ5gD| "%qt2"WAL;^#♀Bee'ܴ%Je"փod\p],FIGCOjc_=~bY$|s_ ~!iN(Ϝ 0T٫~zϿtۚu'i{>/Xcn0;4'LZBt8zAwQTNφ۫^ܮkNf{AW̊[-g#@2n =&UF4y >ϓd. nxVZ5Zx\+yb9 @Tß4tbݔ}lL)<׍`vC]zsɏʸCnApшq(ARgRh$ZGp~o'+s`u18Ya21۹Uf!uj CXgP1 Bϩ؎AL"/A'7EלD4$t|ffqY*,o@N\xyx#17xrmx9c 6G؁K|\a0W|]dՕ(M ' >*{-A 0Rz98H괱8zR Ơ׶i|?yH- Nor̂="uoAZvgL)g09t ˆ.3L*zn%ԄY#>8?^>>ԥdfkka(|-0 ]Pl{ ?#E. zh[O1|lۇb U4wTm)Mf;Se<9 6~n`I놯-m{vvHbRs@}kRsU(f]3H;ZpD5H bR1T9$s`ұ awy^͆g,|LM4EC bD~΅fOJJ…{u$Zv8E$2!.Tx%{jAx.adY@}HZO&w;<+>O8KKM7^\-jhѕzR6iQl:`>t#亂@[^--]n - No_FTL_observers82ޣk7|ZEG:/fDQg>pƼӉt̒Q;6Zmd0V o= l׭Xг'kg$7[mur#?LA;=.YI†Zc&j 鷎@+M \9 r^}] {kϞo凜ڻHk[gwbD78[99~l(@Z7W ŞAǠD0[3ɯ9v-ə84Қވ׭"ZoPnaZ7\rdt")g|C r_glϪ:VţCKi.)Cb [k.DVv2Nv4dnc;L RkUESeV![w kej-octwsǣIB];)۪1$'0Nbs~oB`.}bZ[ ߕThcJ W.O=pulu9v{7HwȵwiBl"~qfh{ԊPu IPNTJLvӊ²vľu_<NF^eޥNxTh9Er=NUtUۦ=d<9ˬ#Xt0cmtyNcԆYl]bޕDTޚe` 72s%)!;/ Jp<[=\! ,zWJœ~|0JI]V)RV|`X"[6.dp[GLJ0'ah|K)WqOtŠ'Ex2VZ?sx>8Y𿧯.^E_솰rl kBo#7jl"P%'{rC~ +џ$;1@Z|G"W:?k"ECJZԸC*KhĒ¾2YV¡)UZE(BW'&"w"50?`DWJU4VK_,#1FA[<ٜ{݆+9úRq6ÍZHVYշYw|1$z9D{1`dC4Zp.}\?pHIajhhND ctYÞgzs^>a "u%O^ρ6r]t3Cx3d4&]~cI-}N͜Jm, Q&̯;4:|̊n6gG] '}}N}ۗBA5ú?i怘o߿BPHjx`J>1kg.i\_ s%u 9񈇎zaSSE.U(|'W=\CF_p?I4S֘䘚7]Nb-pZ9%gߞZXO;%jZAAw)z W)g,t@m&ҏG3+-0:-|Hfz}(zdJ&[0V"OYW̎5=^߯F-lסqƾ=_=Ei"sŏ-΍F* 'd_C$Bf'lܢI_i#㝮g"7C:0Yw}bHjJrZۜYx}>Z-dPWЭԀ7EɮtQ0韷"H`EN<"J5<^~T5 eWMKH`>8(/)F"{x"}IY3V7#DxyR{7~@u&Rl k"thҮLJF6c4MVs@zӦn7w13L}A\F!Ax43ݛ"rj\ )tl L4GXJߜe7꥙gc}٩SkI,mg0F$6qg$srG~PA'6:緉 QuyТΓDSOlF+͒etSgRY֐s2ɤ/T:Ò\j]{~3N|mY4ljC &+fn8́`크mbox6Z^{*"\ܔcIz TE*ɆcfìƖZJ{_ ̷?("AHmsIhe+zAMZ) /BZV!|h ŽDՖكQVxˋ,!& ܊ |V R@wܺ{% ј 槗6a'`pzk RfüJrRo_ۍL! F&}X /(@,aЂ8Oo ]C%7- w6Xu(-kdx7X|%Ρ?EIhf-m]FCK.dU}< $_rRg}aT(0p?AK5Tj5jl 0$;0UYâvMut.p8@1O4/+d-Z"^ucp.Ф.rTahy Kfҡxq#A*}ȩ/Hc-U r9~W M|ߣA $%!ilI-!u{ќӄDYs(Tu!<5Cgڡh fFJՁdj -uE#cc `z%BUcz†!%G ;gKj=]hjÔT %(P0 jAKE[~H+ qt@#hZܓq ,cJs=vHv3a,|jU֗p&Rg3S1Ֆ8AIsT(兠{104/=f/s:3\NYAMZeRMBѮ(kD~Z>:SgT U 5J[ u.-'}7s2mPrϓ-~k@PyDLTY"[Bįp_p0vLJۛS{f kbNg'a,ǃJ%ڔzjg&,FW!,:7s#vZOiyR 笓:|3G?UAR VgLZįvSucN>LBKv˿R2p/9Zۺ]52BbSޑ>Lq sɝۓed=kio=|՛a>=m!gͷ[w$%b?~R`V4+Q72u+j h:7+ X8;®̒]Ĉ LSmW5<7 ޮ-AVΣcK- L3DZ&0S %1D$LtXª&2uj"%6VU|0};7jH\JK34ܤ=uDZ/Cj4;O=VSQ 9ͮ$IXS2]^<(*/`>]we<ٽڿe2>US~)!*'0 %SbdR'8@suҧM90 |.vK3J pfK2rpG(B]E WaYd۬:+@>Kv2Z|PnLQc- L+;>u̩4J2vIDUm̶Ӳx&_WN7(cyiV8_[݇2u?7sX#2%ql5nᇥrY>,;T6٬0 `B+U[?$M,`+GXYv'X=HABNvQ:]ej18W4_+e4KE2ppfU0B@Ler?;tIe V7hg4@#h$g F@`o%ic.m Pՠ>GW$5ᓟ3;Ԧ#8AOuV,Pw 5d@˭ߛGjz^m:`[حz8Py ja\hggDW bxrLfYj{M|6 fX_<f {?j-:T1Hvo T *t (/Go<`a!b$d2!"a:*s*C/Fs*BDd(QA;o#QURL%殶1O+[_vhc栞;Ԗdzj#  wJblYi촖ǀUA|[TciTa(~87=su{Wd=][ :QznZQRiNOiUpx` M YgoXۖ* uFsDCz3>fpgfA<'"(n\1Cs^ BO(AU6H7뎩ݝ2 -ۺUVmd}2S` t)^Kkh=31xed-EBJX Zka#ў=ڄo l( kT>MwrztۆwyLߗ tS\?lP=l̆Nen-$IhC>1joJw99\٤>*τw8:1C8NPMa m3쐶ԋ3F&IѹCB#Ha!o{+вaWLL}@|qhv,n0a*95ޔ`I&C/BnIiELlۢ98*ԿWF8m%!c3N? ޱO=,yR1qQW$ܫG@ҿ7d3֒@'ka7XpB+PX O$ܐL=Z()79'QAwYvYpMMYSz 'seR*gţYpSwHքK*kʑ3WޔfLKd˼aEV[?'׳# 39˴;5u} +Ȋ1k=v-*i}7"ii*`h5[K4 Cp.F$XӆȰnMj&9Iw.sėYmcY_ s@:mD,|4> Nt-k f+SS}Yp5]17ڹtR b8)HQ ej7<8EEInU3`lj,xm p!L\:bEAQuFWMVğ+ -'IHQ2Œ+kAZOWûDձ'\hە裝Qx:7 w&FI..: N(+&{=> \dȇeRN ֥X3ۃf7a5UWVtٜ5pQ?spޛFF2ew;\u4Jeri陗]:@ t拨c h-8Țkb جUq}M*tOMRk|Vi*r-8T긋!1ӗ lFGۿQwdJ%h#Qlu{8Q/ \zfX<2h' ۤs+? 1zm) P=ڱgYZf51855279dfc951d530cd3e812d4d9a93d96f46b8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a