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   W- l<$ ] Tarskis_Geometry:threads=2elapsed=54.644cpu=93.724gc=3.580factor=1.727zXZִF! ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z;Ԇ:6!eSy>刟@>bkoDRzdMswH >K/i2XᣛL݊P*t<S`Eڳ5nCͽpn p؋ [CkQ\+fR-lѲiӀ?6uf(ϜW]9d;ihqOQ䭋IBG.a3eh/QEj-|GpĻפEm6&CP;mKgAY#BO6F qS!9m*sъI#ψadB;zjElk4jJnMt}ޱ"ٱ ''5 ,-#4 - Tarskis_Geometry@zet-PgIi4HYj=CC/]78ӲށS4Ղ7Q-A)2w! S@r7gYZ7zXZִF! IX]ŗXiɟMr^&%HiI6$ wĄ׈o MNH%B|WLfvM";: wb8cJ/yx؆pE鮞2ADaZ_ 5i:2c֑F~"N]O TVw+8y6PZz%_\ !N j.$)gb*<s+oq_O?v1by ->_ ]l+>TA~jjY $Fzř%Kn RڶOOxI zy9WPn٥ay8A&( hu gYZ7zXZִF! + ]ŗXi%92Aje{F>~*HX^hh2j m:7Gna7ezs 9uq@N^G ĵЩ6t), sq:?`GB:8~@Z$(N go̓N2}nG-6t8ub?c=siQӺ^AM4l5-?h\K^0GHAׁ98~vJ3 %.AMVcFkSč`}/@0ўXml&~@F0@n}NOg@,0hc {yJD,HO0e=kjz' Qs9ƽNc-d}.:WA}ܚcaЙa Rv(v~lx*R4(SV8aZS&2 -ÔZ,:-o3[zF}-RpLOCp|:HIBD-,H_!lt3m%>s|׈g V3nyi"eY Vg-PWF0B 48+D>sGwLJ~#tA䅟OgʮP9Ysw$K̻+y*'&$J@{?`%,LebD6;[1X0ĵP(kqK'`,m(G~;1jA^XğHߘMG@M+Rj-=|:wgRz'+FNԱ~>X}~Jj: P%`H ([0{DqnWDnXq+ +*˓lԂ5rOl5`? [mῢ]t l|שeA|hЩ^KkwmJHkZȁ#,F8k[9N|(J$,貧xV+Jl;*Y7Anq?[PnFW8=پyKʰQ=5xܸmHդhx\|5'=6im#B'Y ;<\/J5g2MUn QxyCƌ%)kS{}VHK!F8?/v㑀'?L*,]8Ƒ槶xVIJx1srk?O8 8=,|jKP@WAO|DūmU[%s*uS7{xC%D\ קnxmúw'ㅩ'~X+UH97+f902ߡLlq5}56d‹I]:z[$MTÉمJ۫]cG51fN~{}58㶚4`)A 0μ{o|ʎmtGPlFU:7R6Z!½`1eGw@P6s6nIjL9>n~s7r# !0^pzм6hFvU,w`T8Ï.h'u*{9\Q9NڦlFS'^^1gZ6̳S9xci0ıD6)eixg<*FD`SkmKF^$e5aIV]tdP{adu B;Qa URSB?=^G\8BUi*C8߭|}'M1!!ڸO $GO.؅ȁ{-|*z[r(uG8+`sS0NT9]/X5=tK"nwcɯ\ɓd26g̝7yg r> [gGͦ>{$X穪~+䠕/k:~)͂t6^ 9f&~A)R,y2zA"+VMvb (u'ǣQZ. z 韣-%z`xFk?-pϠsPn[Fl>w.5?@tR}8,K[<jbvDu':[|]vհI :r+ܪes:|{(.Eo#P)Ϝ>";/z_YVs*x;"ȳ.d6-]Ś$-zܬˢ Z