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 :- <\ +% Tarskis_Geometry:threads=2elapsed=53.515cpu=98.720gc=3.664factor=1.847zXZִF! y]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_(RX'5zgɢMEZ?c!KZO/!'R;o5hK`'-&L c_]|?Kܚz@uVTUK-/!1Y*)UlucٿOL@Քh'ÊgW9dP |9Oif5c(_1}7<@۞Mo^գ4lf6OE~#>+rxT~6Nr)!Lxд=2eڻhO^+n2QT:U R&Q5Ӓv(ITɹHDEZh#@wa B_Q|a[u9LU[ZWk,@ 1"Yd3JlL0V,\%K:Ln8F⚣=X05V>7Ov&y]tuus%mn4^_sl(iʤ 9[ò89Y=:ɬAyJO/.jqNu~KX7`:|Ĵ>x;?{VB*tslz/H[mns4",\0&lEx'ӂ"jzLjGeU%Gp01Aio4~9_*(}T9O - Tarskis_Geometry2 vwh5/ޥL5\Ti85*_*U# ,Wd;8)q(DLW+zދZ90K-B9*u/eS<̽/\,f~ǴxʱZ+sU׌?0aDk3D6*.XتލHo~YXxyz;N0]| W/h'.J޶`P9;j$.UxFt&fPB()!Y< PۥֹbWv\d?;q45Y=;TͧC"{ TOKX~4R-Ls$J㾭[KW Ua2dx|.q+ad"Sݣn[(L.StKK|;9tՄN~M90F@JeQɼXo(i 7sL*1gmR+aWq7tLf_i:bxR.1!W7{V_@'upHRӄ Mve}.Rb,-0#8‘wSxly YYǍDb ȸ/ַC#H:jp 0agMRG4p P\Ywa>|ǹttUI!boKVkb:-h/˜hzzW><-A-\TSHVck!J~ˬM*uB3E"(߽Wx>O+=wuLL|毒C]B0ZMߦC"WXj^uii>H=f U~;ui`}bq_ èQb{i$5͉L*R (| :e̼ExOqF&t璔2mpmMbˬY-i~p * Pm+6gFǹkJ [2'ހ]A 86w%b'3q齴W5}OHNO[}?+o0ldba7,WLvQw깟mgk*sľ,@E{:/Eo[s~7# a-H1QzoB2 M\qJ O6Bg˧7 yOOUm筜;5U_Ժ)A`cT\btia-tZ) ϏՇ'O׶>,qevDhrEh-2y ΊyDT fX>@ 'p>x\X\kWz^\u.׎P#ۛ=,qjK`m\7l[/.Tlb q{ n^7v7"5I .Z ,Χ҈ؽ>Ꝓ^Du"_!%zq$k{Xo@ϡkڋ-a6P4>޹*ȾE<4v|#4+Mw=nŃ S d ᒏ, Zϥ݊{UKq(BfmpS zm w{0\Z]ESݵs(N}^ch![A@C&APBG֜CJ)*5 F۵wL2X, enb\peibpۖ hP,e/ z%hC9=VQ7W_+*qnJ%x[WŘd>NM^eQ#D!2NrĬHTH=5Si8cP/54[ 5gj*MզnD]occ% cT$`Z&^kʘ0%IJ ;;s5f24XZy%kRE&~W=GSUвK9G)K<@0v4$&4 g嗔#v15v*l a[\jV"֨`?kt"aku|N\*?X̀k٥j|*,o19Q^@J'Q40#h4c lP|aX^ eɂ'g̗DHHg!hmCg3<:9>΢3UuیK8ygD;k]͑rQ&+v$hyEjI=aσA3䴑AwMOI#::ZrʴbV=0[$ BUغBnrEo #al psRIq%SG5C;)`ȳ' fϼHRYι|Bpt|n],Ŵ$^gF}Q, b]xJ3.j7!YpozmKTZv-m?4v1Cm{'=DsSǔ݄Ě}!M`z!Ȼ55$!A$Dn3 ӆU(@XQ"0Wϻ0n+Oy;+"r/D=0iȩ#c]jdvФHXt[ȷMl>EO>: +I7}w;8M: 19(hJ0ܖƕ%66B.pө |4届3!;S㒱g\ʉYd X  x[nVq}*)wۆ?K,pfT}Z9EZ:ȏ0S~ZYE`!5 4-Z3vof'>_+[ ]`rnt :kHƹdc7Μ]fkfe^Ye e\^`~Y# 3ǽVe<0Jjbǩ>X׾mCC-~߬V$+9p 0H>pH6B;Kn;we_b^&uK_z}~qM~~U;_T ~$aJh%@P?Rѭ!9):11ל&˨\+*JQȿ[}3`E /}HN*[a4G^gP l?em) STRӣt2gOOe ,GiSF\ob@ L`Ոٟb-f.oLm q]`l <05fdGRv7Jl/o)CUeXOZ kcs_8nʡ1e1NIYv̬I &bO:$6C]ݚ%BOpo]/gyE3Cl-+ajF(NƿӇ+: %>m͂)UM8yLl^bldC@"83C!)n:p*c{j jqGnM󘨣;#ػ³bcؿʦE RDilC8uIf섌O"Y9_C5sdVX=@dQRN3ɪgYZ7zXZִF!  &]ŗXi% OtX  wB1E]yDBr $_(TYP'q:cWP"Czne4im|( ʃ[naR%XFyOwB_#&H2ĞVQo4YAs+r'{OSҞu;U烾+ceGT`9$Ie^K'| 5Wl|,=P vRp*uQBZ5JQf1e)'ݦ6HiU9S^Rd pTgso2Rߙc&M?^m-#@avpSNѮDQ61@2#qߓL@3ҭox1%8C* X50Ęsy-~YeFf -(i,}I[;{.bcE]Ô+vJQ/, f=q}@w7),6VbӶ2D_W{Ǖ/|g2=+?wdxXaQ"9yXT[e2("=SCܦpf,Xb է7 Нz,ARrWp&4@>~;›c}ҿA( OȨ ZXf mJ0m3&{kQn`:DL/=^Zm!.Uu&e[k3SqQ}t D}r!^NI/9Q$2W)m9mL$ΣD\z%/? C/(mf6Ցx  @T[B/J8cH_$x$nnY- ۧہ+'F) KOƵ2z>&R/V{+)& X}f!|r'qrך`q(d"Wk*G<~x7}E{r<O𑞹HǙ&tQ1@8TAoa}X@w'vr")Sg_"i |1Zs>e‹'#t Wʔw3"m>^]l<0Iq15}69iๅSKh,8Οf#ţ ApT~J+le(pӻ~4Zp1Ηٞ ",y1dp.I:( 3Ҹ*@**sUR1+{~6pIcqsKMM, §Oʅ#rMd 9'Qew↴g1li#)_K-3W85Dj{БdY.D krFsk\.Svu'}V1M7zPi!OΌ3j+1ϝۨ6h16T;:,͜mNyw6*4f/Z(i-؁P?r &UWMMM{c߈ExჰC;"[g}p`x)/V|&1"y>bZ6jʄ`ɱkec9!ݗB\BJ7ka>. {m-&>f@>`5 6%@UH=^ #dK%=< vvy1`0T셶o%2$7#\>^ ?mؽVCkR ަR#i7SM!Ti!g"HCJ)r7;c oLd^§H`(A>W5 !/,r92pOYޫU3F;&GilǕ FHӯ\^}G R :pZ|ઑw$8:އ}]unv8r:Xo0^SnTNĮď[u72.2]ȿ}Ya1Րtd39`q`uŭk&ĕЍee42 'ZЍ 5H8e!Z/hzuJ]Utqd/T!\rZ,48Z NksmihI6@ί=gxJ J[2qt6eV4}EM?SgbBC{E|bj?Vk%GkhkB@ZN"4M