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   X-D\, ] Tarskis_Geometry:threads=4elapsed=29.510cpu=105.916gc=2.896factor=3.597zXZִF! 1]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-թv |I]'Pgǡ-%+(~qd@{FGFtb⊰ =9Reca4U53n`L랃L"Ⴓ> { Lg >LFU jJin+PH&ѬIԇ3Sed禺Iav?r^T(b̃vk@lÀ1] HbNg` ϙbt- @+l-ZŠV6B1 fJK8$(ԍr&S[sJ4 uVH [j+A-YT3c[ )*}pq6u!P ,Y-/7)${OhnnX`838R2=yng([#./5`=* &ԋ~=+%:_u'#&d@1< 1jw_E^b#ODp<+@ vNMvlL eCt&镖7493]4 %gN^#w% tRNg^'(b6v(14Cr=% I_ZZ߂?\ӱ ɘX0@6C}D|Z喱gYZ7zXZִF! Ϭ ]ŗXi%B8]ePFA ;sw.-";]pLlcNn[n{?NJcD}##`,ywmҝhFx԰`K$x7Cct'/oq@—BL=1pX!X޵7+RRC 6^O˸Ǎ̎ 9d 5g5+XaP#_B^g; euK.<_8wJ{Kv2xQ4 ߥU]0mlU ͊q48 }at'?/y[M{yy(&6OZS:cG0nuE{t$ Za+S^oBb?S&Dl j&$|(aM/ԍ:y QݞF.w4sRjj,α)`1l%Y66 Y>=Oፈ)z:.R@^@'m"=U'4X<#k5lEBEڴˆ6(^ȥ2m3c4QS XeMMrݏ*d0Ause/Q+mM'Q ā,+[:սzfO$)WUF$Re莍{=tn2QDsßَ{b䑞iXxW}!5V<|b|mZ+[ٱ˔`JAiF h1c5i' ~wWtw2P!N@Pؔ|g1"Ym`cdiB研=L3VnLeJJ"S 4柡_mT14NԂ{ ۢDWJ)?dxMȊixCLI_AZӽBsPiH FD3pCb eRJ|?/p6W%[6cul_KbeMq-rj#X Ak gxO?T[g2͡w;DncNiFy u?Ug뚇dʨE r5FtSaW dܸ|jpCFIOU@1~g1^ujQu!otfΎ1aq7ӡS%9 ԹTvW.e@ ' F׼6 ƭ*yUAq|N睙<.]!\*X[@}NomTCEO%=% |w_|뺽XT'%45LǼn ӓ3#=G!ݫl zFN̎V@ɇhC"8sya5˫D7Zzlhç!]wa@R<Ԓ D/Rqc]q'W7nYcݠy;&C&D*3K,r4IZ2&4q%x,' ĩX-5+ྃl!qTJ}FI9[k Ht*ןd wMM2|xWlk^$B~ei~N<׊:nc v@67Hn>Y,ҵ"H;T~iw8y {a}"OW [*oHE:}RF}b b֡k߂m]DK sq|[i{#LY|,Wrv#?b>iϞufeE-qqxQyFa&Gvj~OZÅ#|[lt4`bgfP?/ћz&k/ڽZ컨/l7'f מϲgIk3jn Tg92Ƒ$ɬ ٚz0mUi,Y(طT?8賖8ꇼ28ozi\C[E̽]t^9ȕ*(q@Лz%C gYZ752e1324463fe98b5b274567f6381187c2e1a3a2ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 52ddbfe09c255e7c6906b2f5686e64c16948899d