SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  k- dDL ] Tarskis_Geometry:threads=2elapsed=49.363cpu=85.692gc=3.684factor=1.747zXZִF! -`]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-'&VJc{^8krcR4P0EYhCbҜz{$my8:Q] =t¸ y 4vFNIsH5ְVHy]ZyL$@(;8fCPI}xL yΏ T Sb|j'G̍ъT9,.uBu  *Bڦعu+T:FQVuloy9޵'.[mUȏb4T#yVaB;D0 eoƗVcQ~f:/Pq#LF'W͎1PF貉CZ]V.9[US B ܯMY,b-|F#z56[)!aipbSzW&Yf7ǻh̥p|\p~\G&h%ˑ/ ifYZڛ*{ ! |G2R8cә5Ѭ|!a4_(!VjIjy lZ* F%qis tD{̵lA t=ЏREv _9 }˾卖]nfj@fCEK8{GC ]J.*!r1zMT͟u6 7W53ʸŎBڻsf a9+*Zs3F$PyxVPҽ HO~bG4g;4U,~LρOW]ȣJa.@@[cmԜ{:D^,P;Ҏ$祥"Aw@Shld4hZ6h;D>GbA #b/ˁ8dlvMTn2%MX%]G**^=l:+Ɉ^)V sTh~F|zwߴu?t>;C1.Cvt`3FV7AIxXz*Y1zJibE.?1H3IC:r+W - Tarskis_Geometry  ]Aɕj@q|o}Tae>uS3qAq&"pn:ؿv ZgYZ7zXZִF! I\]ŗXiɟ1˦r1`*on`Gï=͠AQ%^ (`sdD9&W6AI`c-FÄAïg`ClF)M9{ ׾3qT] [^ևxhߢ<ĨB k PHF~橫2:0UpgO /b<\XkWr,X+*Z~ $JQK9}_l,rhnDCpθ_aG?[DN?k *ВFF\BCWgYZ7zXZִF!  ]ŗXi%>gOx>s1aN [%%CY٤b!. ܟ’X] ed$j<fv|(|ew_u_KP Fjr(Z\[}Gm;f9J`1'?I f8b88>$Y*ATwby=\ĩ~5'nXReVˋ7 W3/@57S/g~ʊi[l2,yl>,X)S;s :5[&h]PfJ]ԏ.3D Y_HI>} Daw\up3|se${?wrHE'"$c͢&E@Ks~`Ib ikq5! ]'"%Z;;CwAdfGԥiBQrUr~sn 0TVړ DsƒB>. '8zs>%Oc;;!Dd[NxuxҰ!q_GRgzJI\r{>y?|;GtxcQDYy;Z)h>sf1).F]ޯ 2)/쎌aࣶ:P5[Ȭ J<@n+)W?vؔ3.P A\ITjcQ&MLPHJ}p yu+II1;`ٍpFTn+”$jY+PvIXhC*HύR%dV)O"׉%(6^zɧ˦DPVdegR*Cs9a)/+p~)nf =gl;vK@h/^nFH/M^7h:1W0 ֙_,01UM9|,s&:89 ~ aW޸Vě4;ё˔o/œñW-e 9X9sE3"};ԇ - E~җƞMs'ص=OMaD\{e^Ls_괲7MuJ]e1A:L0}vZ*=< I$MbxZd *"sDCF?7rqI,TTĩhJ=@L6GpbE=.OOĈkh9bhl+vpNjS"8 #,zW}8glb:~ظ7!Q<~F0<7E-sL ;t<~ǟրy7]#n(@[)R:.W34OL'2HU-][ʝп">q|PGF$Tʿ>PK3-wOCO&|`+\@DoWp}P[iyh1rTHRh.UOƧ$C>aG<h2wj/t׀cF3Ѱ7QB ⛁f\#+0Iwr&BT}Ki^4YPMv5|c𲟂Bǽ5iZQH@bM GnG)>}]@_ayD/p)P RQՓ9N]x6q4`b+5fg[8ˈ >XEvc @+Et5K{yO0 &&s*əknd%߱sҒ SP6*th%-iR,_,3 by}7H~*yO{]EtCɒm.D2Ê&:łPgl)_*$\DO}fNy;dW=(@Yӌԛz;WPBfz#wKӀ*ɶ迳ep bC$#9-4+p7v6ICs %BaqbaƕOJ%o;NLPAw1w~3b)* ش51mLĕɌNc0 Y@Kѐ<^mjEu'ڢpN]1 ؙy5,F2L,gNQYWjz:sc/D14CʼnfdPڬbS=yJD)"+2dkPUCWaZd᭹%kM |B[CBYv_$FMXCyB_B6̞O#_̺k"Ё+jjt[O$=; 1/JIێW,L%rĢzpM) v ˈfR)G"||k/i ]x$TRRgh% bx?.܁4tƅKǖmo;5hMa:bM$2lQõi5# .[J@:9rR8"v ~5VwE?Q{*~(%((-7ҴzrH K'jG՛`q4W&еkܻ #`3F?XQ6YhN!>2inߡЌeQ (ʤ