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  k- 4$ ] Tarskis_Geometry:threads=2elapsed=48.427cpu=84.276gc=3.712factor=1.747zXZִF! +]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-53I m25TDL8ܨ^H躣VS;Ju<ã|Ԃ9ֲ|o~n65 )Y`1Ǘs=然r'#֦;SS鐯d\'''ZDr('2e<2iQ&J|;a&c-,R⏕\߯8wxY[g{.VF!b1|R uah@ /?Vs ; \N_}q@ʰa#J XA;cn4$^"$ "/s.OQ+""d'EM+(66cf7r<ޚP0 FKw]1tfETQ4̃a*nq>H|41=1xsf$C}8E=ldÝ7G>$GVV{:ٓ2(2}f mJ.EPnBhGnxm%50\6w`bV"QP|xmM}++̞~7jj؊9Z2ĶkluL!sVT z m]s7JĕxKYDfD&7E ښ3I9d:'d0njV@")ɔc t0{y1kMoMJe_n/VBONg-.S.LұI@rH?Rş_Fg #b>S!\6;Wȕpa ;U-~LPZtП~ - Tarskis_Geometry  IZGcʩҦN^s(.YQ=V[o7>1/Jz4'B"N!^BGPQt47?$cj5 F$fW~n[gG~I]HYz@'z2R]nA WgYZ7zXZִF! IR]ŗXiɟ1˦r1`*on`Gï=͠AQ%^ w$!W+͂)OS i{_ʈ p`ywV"w&bwk }I8bPwa&`Fמѧ`Z2y@ \ :U<&cD3DšW2,[B ?xݡzɳa}UBv)"LUnʫtO7\RM~C;^$ G@rDd^;Z/ktK'hW(V>#uԊ 8gYZ7zXZִF!  ]ŗXi%;32ZW(RwWp% yIRzY0GCeŞ4UC<JF'7[JbXbsdHKR+<|;޳ A^;p.b~x]~&vJ(KEM6ASjz 敥 qɄu淈e2ygczA$ʉ J.88(mϬul'^\ca'>; %>{Wpnni᷈88Ù&JeN.GD.xٷ5n("mP37os9Xe8 -}.V(Wݳ6U1!_VLȢ eEa8H8AS399vw[Dڄ{DYQ@W^-꿬?x!L`p < \ٺ$k1RN^5h2ϲO`R5Q 7'TOeC-6+4R"|*rKI@V?B'h<^6QhtTQ\y \c`hdSF;!4eb2~_E*lYNR0V33&nqgj{?5:]DZ0)I}$(k CjfȁCFdm1~YkN!5z}\aO(3-U,T ,4Ӗ[ǟ}Igcxˑz7׫SՒaS ;Tf{1R]!HH;QsBo̥[. !=磆O:cck^hm3-cJtLj:=~t>зPV2 ;`l;( %/]=a8ߊx׵*-lq( n[ES+.,gMG9w6Q\'lh5'iB"Nrъ)y6"aXB}N7j|Bu"Vf,(T(8h _3B"FC(;ڤӠz 4+-qEDTo`h2YJCOS5(YK:갸E:^'枘Q=~O`QoQEҾmN]0۹^_#Ш@ўj~u[|\ l`*BOZҟr V:N<[P"y}O}6 eqy-ti%0-NʗH49>KQ%dPZ%\/yU .7kF tb 6zti`5+ɦzK?g`vpfjgsAU@x|)7jOn 7Y1}aNgzKأ{Wi NuhRmTE&]]_y2ǦKnWHng'\b =nSлU7