SQLite format 3@ .  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  5 5@-llD ] Tarskis_Geometry:threads=4elapsed=32.600cpu=114.668gc=3.632factor=3.527zXZִF! 5n]ŗXf[&{uaB2r |1P7 K4Y KKvb;lJ6oU1 :%5e7 ^ %4} L#bP){:W  Gx㛓^`mCnrQ+E2KlyX(ڑl7,}ƶ|]Γ:Pu@a BbFX:4-xl\TfNt {\+)n3#Cl\>uyLqBs0Nk c/kim9€]o&54u 핌RGd5˘f4]YzG AP%i%g{xq:{d]J'%FQ%4 n12pIlcv, p"ҕZ L 7τ>b@H](tLB+s-wH_ _&I@ߗpif#MPqCPs/ްD^O/i=[_C ]FrxaX7v&צ8i\7JYPr?YƵ{+-4De'I@#ftBp *dq@h&oyWD.:%#5>5mjN,I>"r<~DNhkC xjYhNOVo}ҫ~Yd;sGj=uUG1$B!в*ϗhKS ¦"MbɝF֊Wih6X 3Y!!!0T( |j, ƛ"%@dxf =&EN$.yzl,Rꭉҏ'({gR=yĢJ*13뭶=Ǹs]<$l)E,W` o`g8/G/Ӄ,vd1%^<q~ O_ew[0_MCOVJfN6AYwYZ.}tUZ @!l 55f)Ľ׍di4azИ^d - Tarskis_Geometry  E>tRlJ+G<ݐFo#X>hD^fŴb;|"y/}5'H`8޴y7jB2;FEfD b+ p'-< =; ;u#P;̡0J^ ipgP.lw lX->ok;Uc@#T0h8s"& r ~~7gYZ7zXZִF! ]ŗXi%B .Cw,7Qc*ko[>dRVYHlW06x.ﶵJ왗Ȝ@ tz59:vđvTՁCѫ.qЇ;%,HK򠩧{;c AS0T *͵~VaS _@m>FDV76K.s3ՙ5+=50ds j>G i*#Tp{dʁ 7'.+v9 m@/Pى@sSs+u9(NU ~Or*g ,35J".[7"0nLYPV ݊0N@`<^1C#Be3ԮF.P)/c]4|% 'cƑ7 7 &NRꮽYoIjQ6k Ba`qAV:8.LA9*+|vce,04nt).r#<;`g=j]nJ֍YH4`ppcv|eiA:Ѿr=1~ܒ ձ2g y{< }U%>HtQ]W $Rz@(Y:4j$cDUޔ5Ւo/D*ҥMEfedg5v% [/n'LJJFG{}eX3a"".4}E ?D9%@WaqBp BB ʐ|^=ݱxp3q-\>>IjHVYR?R9V1ĒhW@;dU}/Ly ~V!Q5}B~F|}iv#PR^>$A)p#w C]ub緹/ϰ󗝨2 㝽v+KǿWX3T`江ׁ'-gL䌂N*K*FY|Edyo/ZCO*̌_E?\{-Dwmm9WԼz|e{/RYJk ~x,_@C=3,vSE^2W>J&T/#F4(x0֊hxWPR _Z !Րa*G:؞,K=kLuIޅՈnPzš|R8nhj7 <kbWY&ka/좵"8k$uc*r-oXp9MŎcy馈91 yoan74LABN&1j[ G6)Чt}*'C"wW)K "]YD:%qZg_, -P,hޭ;lI$8j!-WpJ߀\5D,2Lq[Bqs%UM|$<[t,5po0?.˂ȻAfy@u l613ڂ܋4'c 86,腻Qo[n!pTkWiԄ|dY9.Y:7DF1U'EpV'rur/FPXTKRz.C9O/Q} >'nT4ʬS$ڲf@NOPu1a͞z8GGԾb"~3.6z(ڎ wU1h3n, BC @RcqAse6/B g܎rxA vX獤!9ĝv ?0z˼k,5؈ڳ{g {P|6HVH!4RUYtTy$xe@N7O !\ђS?gZAdݚƺ)BxZ2)cs> sW妽i@uw3 6y::0\(ƅ4֢D ({/OYʴA"~-x]śeUM9]A6"VHQCػ> h8hFtNHQP_tlfELh KdlC +_uA9-ΒtolX EJ`en9T#e ^;$s !Ԥ vcGu>q6{o>FߜkM+- !T$Nݒ pBe<u/(zݜy/|U gfz]#Zv^l,"v'He%S]boϐ*+vr*[mmFjU\ m.Q#U~y-.~ː-/}C`q(EAz[%MJk21i}=;L{ʚ[w_?kn{RWǢD &de 9+^Tmث0t:sNR!I,ۜY⟨u;$a/ h aBWvM_UeQ!dfD, f]6lyi-4_&O3GL۟ȀNZVLzdmh'gKCF bĢ\m ^P QZ$ZOmS:jOeHQp:H5y*P+q޽leo=N v?~՚,ͨhPCEcL