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  - $DL ] Tarskis_Geometry:threads=2elapsed=55.426cpu=94.532gc=3.668factor=1.717zXZִF! !K]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z%}zg>bpF} P \EXc11E.LOk5ՆA@x2$0)̜j =Z_B5-9,yexg;i%Я))" uFEFY˸sMJ\q&'TvU-Us6q?i#ۊxid9eL9$H ;6Pb[ݱ=tkr=ʼF]&JY/f7Y,==֞m2Aw(=\jnl%N{[,o{w377e (u';i;/J+Ӂ4ˋ $X}iDy2 |JLcRE{h@ WzBozhqeu8DOӨaL|B 78.~ iM*Pf1035dMWm;6).nW&^Hƨ+D~OàFd}JSc"mgYZ7zXZִF!  ]ŗXi%W~Ġ{;x0YSΎDN]npjxOДQ}Sw}-]t3mV80$&ЌwUݭa!ؚڄ 6o tlL .^aT&?qr=89)siP*h#8V" >Au3ex"NX\ pshTnMZA$Ϛ3"-d(+9b?}+; y&cϧ ?Z9`FM1-ۃ!(/ t-3Kp?=ߨf:9̹Ty0I02kd5(֡jD~$n.@s`xe]:G[q,x4tcZzwb&rPhU4NV%q'إesރk6% Ү0=RU mI0Eص$^?N*j3 Qymj0 􉇤[:"?JG/7\ )I2aw& }~򖹔IvqYhl',{i֗rҳۚ#T¥Vдưk_ lx3I-i@ b t;ww!~W:*@D*YN gu~>yhή6b C'޼GnKOhV-hMDR%H5&U9'VmP}h4)Aۯ($9o7Yڏu B:YK-H[h lW.4{=@o0ON,S-)45C 8Ϸ?w`<{)޸|nHQv4QT WBfMJ&l~ W7,i!!}*̘`5DX\"9 `48g! 40sj#͏is}chgB&lrU$Z,Zgo>v>}49^uU'TJ Jv3 +*: DD:ӴRS tYX5&'6y%7X/7^j]\І8}[(pAH j]ttwͧ2{0"gۈS %rhq9їt;|CwӖ}UcE# o/7cMs8we&J[<etMvS`'zxZ̮2] .%e,HnyFUhXY"J}óT^M޿n0KcFRa [~WW$w4[\k0BZ VM]{, 9?ͥn♯p dtHG' XLq=S᳜a ! '" .sy9We-D(k+!uM5d4D/]nmZcrCep&޲=>veD@wІ{8]䶉0c67({,Qmh/Dx_DlgrFe硥CО1xͣj>G!0߸ڸv,tw⎰O1RX\1הqGЍ'idi)=Y[ImP]M.7!RΜ Bek08LԳ-1xX7mXʍ>o;lkRWȂh̬W Е&͌ ¦h j4 #-Cub˞lHKqSb7ly%8|U5XKqlhcP׌2#|FœGy׷ h )7r6>״mþ )pJvrÇaͭ"[pl*ϊTϥS':T3Y46Ni/E0'X`("Q*4-& FNhH[~Ч?}IB-&jƦh5u׳Dž!;AΧxuS@!KJٌ?X+g'ѧ,q1&]G%[+O$I)ت.b'nSn\\x;5#bcw ՜97A6^‹'bUz|&΅\~# RZq'ݾwZ )P6̀JKDߺ+|1$;8*Mi*'R c\8 V<'w.LGi{WЋOAR2&VVF OXʃU؁-P\!δf9 T]Meb_$J WP#&..Eq^?| { "BE7tXr6~OPGAq~O'qBPf@j[*/4%qĔ~5bUHֽ͇ /ì[^xdipKd%7uoE˲uc >wn wSAQ?x6c#%2n%ʦ( կN8eK&W:D_ϯ<t,?яCUXg$<@bPRdrp}W\ /xe'#K('U1 c^&u$tx}< !~|xy"q 8fftj 'Y[v\-BF`FqErh,QO.5lbV2u9!-ǶMJ?u?jr,G4T[wBjRs>hU=&asN.< ơnUyB:5PoLYݹr*1ws٦ckY B+׃&R5e4