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  - -H-ddd ] Tarskis_Geometry:threads=4elapsed=30.668cpu=107.680gc=3.352factor=3.517zXZִF! 0@]ŗXf[&{uaB2r |1P eMW'aX .VKҨY ^?r0cPmC|N̾4̱JMَOjj1r\4⇛3H*I8{"_W z]9*NS{se-*[[^k~ELك~HM~g#`m}K}Lxr`T˜-sJK2@36f|C9zRWՐV|a8Tkfs5Ocx/9k3[>A,.!^QbqnñE;,vB5]4fZH!ҶMv+<ͣR ɂ^TcW4yLwbT2L Jg}x'y І9T9c$󞲜DL>/g#)@ulM - Tarskis_Geometry  L\H8"+%7j{_+~a6_BD-UQަxegecfzE,V[>& Ay?s(rZəVyfd(DEBUԤYp2"Ozmd›SOX9R NrYt7+,0V6?OʎZ܎f-)[Ohe?bZdf%:k>absIxVr]ELr^-@`j<{,[wǰUU%S -uT*GEj]#nVuxVh @^(Ϲ]GfJNH3m Gڙq#QO>;^(B fi! xsS<3®f-Y`ÙM~vֿ'ҍluj LItP:|Cx>wd2XQ;w"к3~ћ{gH'9e7g&c =86o|'WPm}b$}ۡO3i?A Sy7@.y"MW+/ni 4w  `_v gYZ7zXZִF! Kk]ŗXiɟMr^&%HiI6$ wĄ]p'i,qӧ((T:'Ku88;n܂I0-w'7v?;Ƈ`3*/.YOQ RNrAF/έ"t@SD9/ a?kHN| fљY)$sפmyc H(ę6Y @e zwHLy\eݕ;}v`Ʋdи (wzSYgm$ߍN7"ghtvK$(\O""|אַ ;ʘ+(>. {skȵgYZ7zXZִF! V ]ŗXi%@b^v@Y0XɥJCr(-]08وarr]UMwR"JՃr*9l.j%Mą[;8WJ_8shF {gO%D [BcU0W;iQ#c_;sl•X_E?T/ ,rCmIeL??rjQP ᭱7' gN-)xYȕzSn3$AJ/+g6I/cb..䦅ҕm ܦhXsXT.B@{=9[Z^;s.ip*/!$m4Y*h}LĘ Ӌ^) C̣+m Λ4u~ iuk|leiiA/BgF{w(gt..#9ۮ-jn t%1zLkM!Io+H]oLxX>ӟ$6׶:+JDɟ)H7P=yj2* Vsӷ;f(CB z.E@P0Z,B;h"G:Θ:Lt٣9PZfeWf]mg< N/pBΓ T=iT<TY:e)!?#W5HϚb$Щګ44VpWy.7В7udTn vhצ Z"8*$iːxJ)΄1wJ=Sqk\BDhw+?HWM-TM&Ҙ/7n9X_aᅸZ~B6F[ V>>;VInYidRфpXc D`b!j'#<*WԽ`][w1)merR* Һ+z7kk&~ckjQO}?Nۿp6#p\Wtݺb?b_c6v"x'.9ӰᰃA|<-j/Z}Ȥ`ॡGH`OE<JQ aě+Aٞy=~u^~F#ZOpxF}aՒI:YV^weU-HvS\(}h#|Iͅ v }A jm)O=;7$O:{m4d%EܵLU4/"a7;A1`ɴ8c<ʂ4zbid<5u2R /&7Ly8~J iyإ4aJȠCw6B-K T ɰ68V{@L%߸nM)37O