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-\ +% Tarskis_Geometry:threads=2elapsed=60.701cpu=102.088gc=3.628factor=1.687zXZִF! *]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_+Wqߏ.9y >/[pKWCƬ< hOari2Q^T=9G~ B"n96&utw~H;vMC ]pgA Be48c?GTCMF(&'dA[DC%N]52xyjs.{; "~޺ŭGM?cԵfcӢ+lHxHԕ+%9vDA wY_Ol(` 3MfJہVyd&tXS:9#_Y&XrĀDlZ0֝)bd 2tvM6<2Y!S.j/Yfc|-R/ƝKkxWgT6T  @!>}YǮ!li: &N' ̪Wy +'Q |Bp "N^+ܙ(sIKJG\GB⛎1gaqܯyFV%tKZrRttsT($h(!!7 Rҍ;5 f+B=ֵhX\P6fL Tv/Bcv^1>fX:" 翂Z8 S$0 :XzNvĞ|זw<g qu œ \Ih·fCT 8۪wRMVK^ PbWObW2&bq1%r K@3rDR@d7A왋KKiuZJw U,4gYZ7zXZִF! 0i%]ŗXi%}揋- @Q^t5D~CTqg}{x,2Cn8 61~.>궂غ!)a<DX`ƑF`FY XlsQGQ^bV*ߐђv ~aSxzNϥB`y9ʷ~+FGw9MT`aN?_pk$6.; I|0O|=[t;nRvg?:ѲC=fvPmBT'L4`o9Nu% u찪qVB_=VG#%=2(c@ 1 hAʟL ?'ƭ5_Wrؔm7. - Tarskis_GeometrybH*Ql =%ǍوrKGL\k,'Z%b;%r{ 6E.5x)tZipt 5U/[9zA^ 2Wb^TI։Xӈ n\p~n?cj,8seY _S[P/S;dbܤPJDKSq嬟4qrGB ;!Xk VR./B|"$o]S0ɦkBU8J94"d/W_u'qBC=y8zÀ%bql= QoR?/\'(t'g^w"%hʫQ` U XRZQlfGt%V?$QϫZx*l .*0& F DW?bʟRO19RSGՏN.>G{c Ýwҝ$zr#}СҨ2 ~PIA2ϻSd|+ yާ `pq\glE;ў)!U̷]1dEr]F좱Dz]N/O^7ךY޳QZ LGQ^T%iMb!$l1P2Ǜhj~ բz`غWԥɁUXoXC'/A.@6?xJ$p5ni pQ)"hws /W`74k nS.jw|uR׭޷dA(hIjθK1Rɟ]"ꪼ{|T}bv)Mqo4\"ݲ|?~\>0H$FEЩއ_>'<)g=vp"vnb"MDx;'PZ OP;CZ;!C͚V)6dCD袘|%FftڽP"y,.m> *dR{[RlZAPH9$,M zJ2WMd%"'β)2 p"e"j}n HjUn2z/N$Ժ\s&{('T&v7&YfW,)ڱW;) qH- gz hDؠWbTkhR\DWg;zfeQ Y(01 <(ײ=lJW2hjm@fKncz*o]d D]eZB@ _4|m6.Ø)j%9O4HD^C6vc18f yֱg EO5=T.5PQezwP&-(~b/}}twvVvX, [YTԧ_q2_+f5 2 Eo!g'i\ќqiV?Y3Ŝx,JF LtI8&gej!Pq;Q%RRQTT [hZZ~\\܏jgEEcK[O3DY>$( "{!IU3H^~Lc>A]'>Q|q`1I=]x nZ~lblv/V #Q9'.\':[j0wNZj,Kk1̗Yb! U fÚtnCv MĪiҼ߱O*x!>tJ,ϵ?Q'IhFAߝ~IGPVnPDp[E0%TMs+q?F1Je+ Q$o~a+&43+,:fR5o`{-9gCAcyO?E f%D1Z#C%JfZX؇|GD{ Yy`ͪ9w#y2fѰ6elR"jvH0{ۊlt&)=6Q~ѮϮsk.oya S8"Ӯ~mUw_WMxA的Ea&$";c3Gg͇)rcQeP䧮a~"9*RFh>nzelPo rCƼK -J!Mg#p~AbVTt6TF[>G~jqu`l.B1Bl!/3p@!g)+"$j?+2M{i>{?G*)]ڄ[Hg0Hl,zrpIk5apoiE")VQҘ*FP\l5Qݾb6|g.aXⷁY=Ё8~%̵mi\Hn[7Pxhr2k&M3mLti|niކMWk W56Y`"owyK6u֕JAxA5rs4P! Q]