SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  <-TTl ] Tarskis_Geometry:threads=4elapsed=29.015cpu=106.128gc=3.984factor=3.667zXZִF! .]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-Ā\BStm#w\C[[+&n. XAF];hn~//ב~ wls0bvf J#fޥdqLyu9>@eǗc|}"T&'Ѕh"@9ft}Z# %asAC?d1cPH7f_ON""oن-% gxԙ߉ID$V.ѨiZH>g"fQQexFɦ=𶁵71n]kn RZMrxlV٫E}I%z/Fn^=~b{2b: k@VqZOs\ e=!2  h5|}jl5DUe YQ~f7 Yyn#;ml>)ߋ?> ω1vAkI|2Qŏ2O.yȔtuftPcsO6!em7ҷ,t+Q"=RAg^P}."8sM+L7:y.Xo]oQYyoh@)vLi ,V03K5b - Tarskis_Geometry  }$Swst5SwcCVL*CR]yRbz&^zOyny"4/&XWMY冇bK{+tuR/;ka)݇pOLf"Ү[.`K0頀*O?qgYZ7zXZִF!  -]ŗXi%Eb⬞G|+0:Qڪ;~-Pwi%߳g0BwD=ŋIEW%H]'9Rb8? ƑÕoeyGfA]!}1…G(72\œFWMSKhu^$rFBkV'ލB B+u\.LS`Xq2fAHk2JÛ[^lpqxC>8hm7; Pv0ZwkkBvmwj B1ե'JjB# >ryiP-"&DBs%6Ѵ=+- 7~&*W$eUFc5'o#Pv8# 7$V@+TXPlH2Y b^D;teKYYGKe 3:%^ S C;KǷnL݋uDz[Xޝ"Xn9Ap[-~1,+9(/s-M2ax#-+}zz2'ݜ.j;a1F؝~ЁFSY! ЕsO晗:\B{'tjpnP cg'p.bqҢ^Lf RWz2L˙h_%UYכpQ wL*z x]0Eiƺ6h:mD& ާAfpT{BqLu @ ̻Sº,֊^Vp;+(^IkHo1ቯ~DW^4~յpy9)=% wG㸧o;kbk84q) gү_sPi)j"gPs"@2jƿ䌠ag ŎR[؈S]d?%ϼ% ].=:WhDz8mrk񓇧߂`":=`=x(bo:mR|`Ƭ= ֻD{ ݒ&aaBAD'owґwQi5];=ױmH"L#)Igxf_1:Wi݄qZ9Xq̀vLxҲ#l_"ev Ӭb[{:EHߵST 4 ZN2=a0v-Dҗ f(Y$n征e쩣(o߉/GkPf VY { S @I~vhUJOeVؿm>aF\G%P[5>JS"R#\,i$i[^*"3A+y o+/oӽ xJk`rG3޳QjL<怌Ho;%r[6#sf-93.T-f2Ɛ(~Jfʷ[pf 3u sκAJ^?x2#7Xrn"F Yg9ft\oS*.13N+'߽}R`T`K:&aZNJ &Z _h;L`:I:jYd/@ Nzo'&L NP[K_~'o*C3}Z,'`FbOa2P(oɚ8-.DkjCΗ" řUsh|jMz ?a_"S;L'baW׺ץ 'F"h9aTXEN.E@9t&g0_]' Y>Z@enĪ'vTC<ƽk0y מ:ctlN[Y1R#1U`mfţ꭪ ceMdNc`xzE3gYZ22dc2d5f6f436c292ba43f47e8e3b805232a861f87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 c50b1f72917060442ae58a0553f886677389027c