SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info F-$\ } Tarskis_Geometry:threads=2elapsed=56.188cpu=102.244gc=3.728factor=1.827zXZִF! ᐠ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_n#;Yt ɂ)_Y*0 ;(MQm0=t]-)5H31{PúaF4X>.*:"V>्Z%"> ndELУLE:qµ0\MÑEpw>[!O"\  - Tarskis_Geometrywy(6Žf_VC-޶^p tM~ +I&qNntא)Z+Γ EJ# @175'ZLߩ5:P=56ɴ`v3ܠV'!3)"ZߋcRǦoUNk/Ùzs6yG=Ɖ!D;kY}$Jdz::jxTCn R51jZNX8<+5̓ fR+k0H>mq$"b`Y-c!O*\BӲ6X-sj:v8~2 z3Gx@$sGY_"QAb!)atnx Sg$-<6NhӑT^l[`! 13 ct*߯!/P:L M"4a5b҅nkSᄞʀ߰4G"Oژ+zw>t8vz\-f0 )~nW+N3l Y |0vF->x#x$"[cZe6ä'm*oӍ-}eP"UQ)q;uai[#ǝ ~ˬs@/%FJǃ`u(WWz} }5`dޕ[>ƔetZ&fa7u8L$S f_IL03*`Q2-$*% ).)2Lϩ 6{$XgDڲ!60%&3;10몜;V@n}Dޡ\hSaT:˹bܛD!J%(XMb[CAԜw!K/u2q.p)n}ȳ4HQ*VN %E&{`{8IrKB+ZcԺ^s(}JHmPZxn731j0 6TwF̤x8}G5b `~>?6O'aѷ'~ރ yzk5`$g6<9 kz鲬L]cEyN! yx(0an֛OunEa CzMb8b.ypPV|щ< 6Z읐SMBJ_T6mo;«w~{K?'cXZv Ymnٱn@|qPj~OB^|Š[?k9"ZPh::PO T|_,d3Zنt…g(NBksNËF4=mV* \`9AE5  0FЈf+2^!Xq>`f5X}cJ}[oNI_n9kl! $FQ^Ƿ2\dvtbl#+oE2gx5 #\_r]aS +j|xNvlo!M`Q3լ_O~,wBMa d$*za!#9>RO@% FIO'e81N$B!>$U,>  ?a7UﲽܿzϰEmlQ5)VxM[2k]F}BB7H&L C6Rs͊]mƧJΚʇ"J6rNCX;\M2ރϩiLC7 (HCVEh sEA/H}RʥA쌧702:1B˵jͣE谩3}@e|>՟>),26`- }0Vdhv]ɜzφ|K Z4Ϯmp, R&:\Vy/HgIv5]Ǒ/c:QNRs"(vxsH~gA8s 6_TP TG#xgM=}aiα-Wc;fV# =O!2@R(640LYZ$v/0Fh1TcLddMUo`1ZB&I FPʞHZKCaLm$waq>3>m@/#m=e[ ϑ0Pxld U`j);&ڗ.e`l;XX0YyRϕ8[ZOmtS C*Jf&ж%<[9ΒoYL( /H~(>@ 'wjY3G˽?sNjzZ$lˊX/k!&snw!h͏@&*2heZV2|7CtHbRZε2;܀^f&$ӽb0ެwB2+q?`Z5lngg/ <ڱCz*DgO>:мAE:~7KחHÅ?6)O<{9pZ:lr>*_m^f gF'-Mh 볜LEl'"̈l04FFb,ع(L~GN_ x@LFԎ"0Knt-9_w^ڝEc}V<o=TJ{RxX:o'ٖg0so- TJURdyENdt*dL-6^R*YZ:|EhI=:{>t}4KS#*x9΁>1!BCj H@4}=}pLcM ?)0oqI!uZOgξC0WabwL)u)+_~GfW}k^%7nd4~7OаR+fҚZqbq 5M7`$R7ҴÆ`h,ES,eر@eX߫6udJS Y o+B#BژĭxξNQN_Rmi[; (K 5t'$L|vf#<_Dq4=x;^v@M!5&H<^ yU|YeP^E ?D@]%-Nԓ=O+kMn:5Aw gC;UAZ ˠX+̻p&EbLҿ{^:ޙ5ӏA"p뭶mbVٓ(D6rdwXL&Ēz6D8ߜ`T݆Q$9hk?D%/$H}CW+2cLxČg>5S{s};kGl+:odOpi9, l>G$+%3*E(?&:ے]l$k"'7rӔ5B }(wA H7xba~SZ6d|IuP 29bT Qף)w6C)7;Ѻ2U\9uPXT/u3:9-fϳX^!CzZ=՘rk@X~l#bM= eb[ZQ0ĺvD7Nh);7`m yFviTnd4}1[!(]'35 L?ʯy8jjxCCHbu&Kk)4ņ-x%TWr9;SO[sY+3Xbz'&Ujd⧪ePbRg[@W7JD7 V n8jE>t.2oeT8zL?o+t 9cr^=I~yhd4=*f. C#(Z!@6S;y ͱe//Tv(/T?K-Kߐ$g%:;i8J֞F,LMB E?RF/, W| b\;l<IR(Me:f?"'@5'qjB{ҫZ"=vq&9}6rpǝ&kf;REGPUk %?ys3.,i:0f'D(S*$p5wN)}c)y|@i$N*W?:wNޑ 蓂|Ny nنl7R T N iL.8SÚ `4 ?1*KisޚTGlJ70.|Eog*#/roteW>~}_I]8q*Ӆ#t -JVߖ ݧ%TΉ "@a]O_!g=Ӊcԛ)qX}`^jזUmqz_>#EIQxgJt/uQ`-:Y9^yOa΋?UWgaFt§v}i8H1s ag9, X@6{?<6-63m޼cFᬷ[Hf t1 `T t !9ČV3-*,#V\_]&Ƃ mWlOH%i(>8 |a MU.~OA omI5IQHmKD0" &EWe,Q[ҼaĉpA5Dn:'6&x_lMJ';]]>6ޓu#P3`A([O_`iig( QxMuxgt2-:K"RjzH9MԎBů`5cKg +SqD@ LV}t_TQ;BPwiqOas 4&+\("YUEj/qUU\0PT/;2GcAc2GXа#}sRh:Y!؅n/|j=7 O,8̋[WD'ګ ̂`Z8?qa6亐T r>'eTXdrEA WnS_G=3ԨjȤO-/[p)A""퓢U?w5fR90yX }摭) S7j`{-*"!(',2c%O5 .bn) tg\u wR#2V4r/r!CNtݎ;O@B5㊢%zm] v5 a"܄B28dG3!Yb $!:zAH+~yCaJ` l I%R ~~ˤcIQr- 2Ty7B2>&y@X/ŹA{aP):-uQj mtDdxv牻ӐI^p?b^Q2ɓzHZT_rT~H򖸨T:%Zh.s'ں +PW@M\;ñ剳? r$?Z4뱐{ 175zL#ou(ƿMp/p,Im{亁D7OBc~,̈W13"0)W`x 2i[D`M&fznnD , cYhxf0Aش` lc.r f<'ildUXd{Vp- ZjtȮrK0b!(1eĢun%Xjp[LU|D{}T)yׅ9 _o:6v"J<Ƨ+%җBkgc$/Jt`[pĸ34iSjc;SA!/ oZBQ-| aEah:s1OcmLlbwɦ~=v`8ATֶs= "V3_B<@H us\,fu!y5p1^n9EƤQ]{ڂKoʪ/\11/U : r:TjUe$eq kT K+z%/,Jt0ʖ6=Y 9L}6}ַO/7j®GT#JFnt, 9p⾛?-ø)&*YPkEwƩAUى#|9yYJXTKTWσ[qlBO7tuk j'>;AR-XFp΋4@W`on`(u %Ғ~"FHϰ9qǩf0"$hNf2nPxO .OhdV^~*c*L*,B3;SB]r 2N5lkŠ- ~̬`IC/Bz7TDΈl0lN /سJ! vBj9"eaD:H5Ž"gNC!Ւixc{< dd 4B^JF~)UqK)/3N>iI ƨ_l{F& \U㡵_0%Xe#mSR_ ؉\њC@Y\6#\ U{*̋$#P$zXշM5~oPʺt9"bDo'@]#LM:jZݒ[ rm1XȾ>W9 |텖m* B\3>3 x@qseoXˠ '9buo~9;D K?,eޟ,T TZ#CMS7[yƛMP8o>_:'tH&C}O S$(^90Y%ƄhC[)񦾠qN??.Qh4Ja½O{Da{HVvē-@"SJ=vQjԫQ]nT4{$h;! +$~"egem kOuo"FJc]:?gWr۱+#gDE& JZ"6h%v3ť޴=:h _qOxoGV\ {uPM SL3uX8 '1ȟ@3,`zdZ:- &sc"7!QZkC",\7YқܸD36tP~[| x; $ٶFxʌ|\C i޶Dl{ J2G^Q%pt30$/2[=g☱n5"/U6҆[#ղbHwX6Yϡ̈AYv2|Vԉ;qIn`C1͎{\a:gsF)Ṫ mAsҀԒdۉT0! -HPot|4 _dǗ5/PGEoQ<ai@k9(ruά\$wIue`&(Jtn S\[ ']_V[uJlJGjWND`etVу)!sCZ!|v>p(1x0mf]s0blO!{%*Wq[vG3< @Rqq\Az,WX߳)-fct>H.d8a [GmX0ܨjP.E78|Vv=-?* CWA oגb.#@1;S>F !u2'y]<*cҊg6 +%@  *=ghXHE{:E~POAW\׈)Y;b/\QCbڌ pmÍ=,/]Rms*E>5$Lb"$Z?$p' V>e Mgc$~dȮ)W