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   c- t<4 ] Tarskis_Geometry:threads=2elapsed=48.607cpu=85.308gc=3.600factor=1.767zXZִF! *q]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-tT(ikR쓼W%d|,ʧ]aR"(}=9BUrn&ho-W?;굖[TX H#𻺇n C@"ct8Q,4DG+Ld1{n^&Q%_o6~ݮcE:$fSs~g =S4Ȳ٧o+_ S̔!?4m%XA9:KW|ʅH_nW7`V@>jֱ̣yWڶ@O%9h/o/ջIQ`? ͵h|T=7k*TOE U,a}ASpO&ָ](V+纥>(:hd+Je]40֝hU>`WeM`;bX-iDENy<%Rma +Q?B "E$~#$+&-6?KdzIh$4b'Ʋ6g棘)Vʙ%@bo9ۡ7սI?_E(^Uݲ5}/q!keROlc9#9g@-y_^}zWct{A׽ׁao:;xhesȏgT˒pg R{&ؓtƕˉz:ʳs@Dlfh_ G<]݄W #ꑸtb9olq/M )1SÑ2k8 - Tarskis_Geometry  uM(\Ņ%Lz UrgYZ7zXZִF! IW]ŗXiɟ1˦r1`*on`Gï=͠AQ%^ ?5\ʽCovT Ŵ{qR(^&{th,auq*D[c'ͩ>Oti_IW%f&sVE($i4z}2Eh4ZJ6x\WI(\<_1/+2R[t'ʋּA H r[u*[lt(r b(#s .m=A*2{D%+Pyb2Sh߽{?1u{?Rrxaгp=gYZ7zXZִF! b T]ŗXi%>gj`8F9:*P'EkO%;,#$P 9KfoK^ЛOOWPa]\di4LD--+uNhyYsUFgIm!q>'ܴ@,,*K` 4L×|kfVzPci?)ge d%:L1}} 1/^=y0ў>]٥`?xKTсz5r4Kzbϊb?]czxYT0Jx '̥}ԴLveG<?,!p/xN]V'kB:1|V+,O= t+2dQkwu,m|rhl$X W<Ɵ1-#zrUWfdCQ5l K{>=݅἗~.;q_a@Ƶm90VU܂nrL\]f lq|lq9ȓQb!y(\HtF)&4b {?3Yh[nw`X6o5`w{Zؼ FnI$דx& @s_q-痬ҩ7[qb%ݦG(P c*ޖ4oڜ&S4 CKHʩlV]7, ?|X 'NzG7` 8;{cwWd^ {r83H)ka\NDBޠ d683fAYp~6lo#?Ȝ]imfmP Ȼ-=[:ř6?:dt:'EWb=p(& W Y?3"5i~@HCԙIdvձH Ji}4W/Iij@W?DP%O* ~$Ѭm>):yBȶ&'$UmѫWѯ%xCrr*@'Қ+Vw"yP?şXMT JHh0pA1N*gC` @p)aUx wxJKxPBXUmֶ?:*v* (l Zm)b #8J gDڼnEoq!D ` Ӯ֖ tu/Rӹ.ETBeG k9O R'ądު:+BT>`F7a(_jF{aI9&<>S7WS XjPj0'<8y׋]L0ҽZtmf0T aZVD᩠l/iەƨ%ig5 ҝ_zn7ђᰍL'YP|ݖ.Uָ}啜{P-KJw_gOŭrȧ'";7įx^mfi࠼\g>Ю%Pm 9 UQ&4揭Ŷ$Zh]ӫu!+5ɺ G GT:qrKEU]mV=% ;nrӭ.NƼf >Z4D޷Үo"oM-m=S*NK-!7bX)iHG]8^'?nm 5KVT?˦Op6rb5:TwuiQBZaa8GV]#d祐冗 @^uن"Ŀ9M qx Ok{!;1&A6cwB:oߠs($zחͳS@[;$jܵ375q.Ab Z{~P2q2#.1|A۶3_ /Q~~2ߑ@C2j/0׼cW3V'0NUjXb܄yȇĕl 8BZIƠ6$}GYsÎ!b`YBkHa s: 0N4=Ng`{p;xlڇ9bY3}?$=ړy"?QP@e`t&a0xJ8}N/de+>űST$ͩEƙ .ROe]üFFX75<|bb"W"RXi=$8nv0J\9ԫ-s)anB3"`T6juEGۖUGyn@3EZ:JLV$\Y76 \myKOyGz{<}ƌW=jb!n1,P m q~N-<|Y(Dw5ԆcRy3Pl9>z+W&23̒6t9‰v6[Qנ/ Cvj >Sxj(} F@S(RTSOOey7TLtg^v(iݢEڕcgYZddb3becd00fd2d923f898aad84cc80caea8f3d33665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784