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  j j - T,4 ] Tarskis_Geometry:threads=2elapsed=47.408cpu=83.404gc=3.820factor=1.767zXZִF! -]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-R&3I m?+ τ*DL8ܨ^ ܗFr|.y#΁C2)w"wПJN!ؠ31: f&b8d!Sx$ ']]`aCҝ!&l鴒rZ>P̌`xpUraf# G'6Px%/`RؼiKNM趋ᢑ('DhNAX[0KYU GKC^% qmiR*Zl ><KN.1${ 0/#Vb3`D]DzzI׎>@u$կZ0nx3mI3/,r"X2S7 ̣s,@oRA>{JHϮ9YI+x,GL{b蛧jpJ-N1?l2|Lͼޢ?,pٕ\ -O!R\DSW-GImM"qj-WBWq{ @yG#kJ ,OC\@)PZ1)m{p48o[sO?5gu>vƻ4|:n+JP.=RT4c`^;%g)Q&0`1j$o(Xיrg~%QQUp v5|lxW% :kVnJ~Du{ޅ3kƤTLyCDBO.>'?bC~8 sYG~7c/dQ΍/I N/8<UWN@gql{js7T9vvP3*pl/݈UO@0!bÝT+o|{TA?c.ls_{3`xt5`p+i4Vt/nza3`'kp{&rT//Z{ #5wj. - Tarskis_Geometry  *TyJ,<q?^An<0wݚI23jSo]ې]MSk@tH@|G"Q.ϱ1?fgB۝%yVs=)24ǯn^ L pCQwۓ*U7j Zk2gYZ7zXZִF! IN]ŗXiɟ1˦r1`*on`Gï=͠AQ%^ %G&w4,Tذ)$aYZFeP 3l: )qH`z㨾[}{Aw 6 'ãr3O{p+c0m-mg'۷ЭmHͭ,YHKSha_0J}DDHGY^~U~nc[69B/z{O9|Ŕ>i' ȓn?+pHZ|[Z+Cu իgYZ7zXZִF! # ]ŗXi%>glRXx@ rټ\X!1=ВZah$P%|1^Ɇ\E}+ qxK┠oI Z2?;a͟t܅% DM 8&|PrRЮnW;Scf7 -\%`77QkxإV;S%Ho0`.bzn P(TpћB|Y2KƑ9ް|cNѩ\ f=XZzdH䓽pOgnlCAzܻx_?*w^Y3KDPyv \ 麮i.3Д4z7>?k9MD&Hk]"~^$㭾-Mk"Ȕez@43С>rRtS8vw>7(B{95/_ ҆$vL[]UPIg}Ђ \ta|a?x{g6 TP㟙e ;njBr(^3Ӹg6c;ثy5foU- _6p=|p8< D8k}hv vF ^C[#RJvǴiVN'Qf;b v8n$Ş5.5vu!Y=K?a'c7 1d㟔U3.ͧuΌ,&j^~wOXD2_x0rw0rWgL^YJx!H/Ŧ#2̞(a+Zh@IkSv/jYS)#'<9XG"'4@L DcMpg!o3"'p]E=YDY ' WvdR.Zq\&("h'!-t`xJh Yh=q1 1ܙ@a "5ޝ^*Yv4ޜSJj6h9YT]cua@4iaRsEE%vH2;~ p v)CJ%*P)| ZzTaD _Pbz;jծK[s?w@@Q< ?&}ovHUfHWHlZZ" ѓjs4~5{ض^ P{2`u etADh'5T\a=33pN#ă7d $DKuYv# :0u O0]'3Ddv7r2|)T4fP))iYO$"Q p>ն$lsp?3b'ewku6Ǥ^xlZ1@mQUVpۀ,7)➍?%㍱yd,lrokHn9__#W R5`m7%yb]i:bE\a5ܚbx-}]寙gpzږ<ܽXS ;;#b}ώR=Sm& a 0[Pط_A^]Xjv^.NP0/U?ӣ4eP j<9}%$XNyyCrp{k]i~T )[[Xbc0Z$ *S=bAc<}|D92u Evj'pV퍆۹R9n+ڟ.r)Y'Rkq4z&D5~1Z&O.2I`S^p_C cT|C^TP;){zsчoX_z`GH $|C5ukm[V0;c ߀>KXtίb "djEq_sXC%!$n