SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 yy|- +% Tarskis_Geometry:threads=2elapsed=63.942cpu=108.120gc=3.932factor=1.697zXZִF! -]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z᫘Ǔi9S8 } -4g1!a>]NVJHD,2WWd:=AL(f#A\k6%J; P^qc 1~۫'rnE:V: &5b* NddQqZX"VRr $f`>7uvU럍 ԉhפ15$!Q z6Uvn8b"=b϶d, L^Gڧ#M5,ީDŽ6,Mف[Hg+%Z}te\UqF+>) l+4 <% x4͠z:IYy6 P)m6>z&+p`Dâ\J$!`$",KgrUKz01}`!QoX̢ ͝c5$sirTJ\GJJ<0|B/{ݺZa%T"2BwypQ=xP27M Yyh_Yȕڬ\qW܏ُAC_-ݹ]y""ӘZU8~ Oizafoi썗8ctOdE>#F*Nf ZmgYZ7zXZִF! >}]ŗXi%6pdZ-c!QDE|X'ўT|R:y>Tx Xl,]q ݟ9ڪHsup d2͂(U6dԷ^;be]O!ƅҫD@CԸȝlq31(#'Al,r sk^'~WśXuW.3@6ak H rfS - Tarskis_GeometryU\#ס)-jf~MVJ7ڼ:kxp)(KhP+jk Hg$T|<t\^^L@Ru)s+ ˆFǻ[d䮙cE!jR".ɀkOq}@ȑ:̗5FH#u[UG_.X@9AÝz$tf{> o,,L:qJۭT߸45ޚA3Poq:`0}9U4: M 6|S?j®VJWq!N3HerB}h0G6Y:m0]m04UP;i]<ĩ) 8| *!}tߟns%4F?GbjX@P_"͊K ev qR̡AЫJX5I'O d˕!xZ"AŒzRbo3Κ-gPذXՕ%!)/% ZGYE0QRLؚu̠q .e=X ½!`Å۰YpՂo\\ !tkM'd$Q9tȾE~#̒l qe@, @j0T27dt!z ҳ}Z{vP量j\88{1.o'ݕLX'+h{QSav4؏8\~ڀHjsIPAUdzhT̕䡉j{"['*[M8TS LX!XXnI]MMHH1@B>:DɎG̱Xo( \W6x Aկ`sҸl',8 =j?p?hiY qSP4K cM]:] +w:{Uo Ka/K6XK{>ϲyg*ղ1bz Fi1rbUvONUA.^i}Z 8?.]3D^ܶ5drUjrm194V#;17x䜼=~H2Rtp{tuIiiNcb/b?XRG%RϞU Н> 񉝻ktAX/N_|,Oī{)NRfSJM5E5:*ĵѳ`LRXI27|=&ѮӧXx%KJ39BN3'/oϾ/PaٰQ9/¸y(ˠp jI*VlG M]$) kڲxj0cPF[M`L~GOr"0"b~njϪ}{,笧bpBT3sˆW+H;I;8ҮR ^j&T[ּtfڳL`*%B6{|fIVBިRꘃb}A +QFV1,fta~-w{b!޴#@F'BQ FN^LVdA탮=u@i.W]A ѷ:8e~'9u߆][5A_I̤)`8tN3ucc'FAqa{L-_nAXU gƫ݉;HeM_jYBENgnFFߟblkB)S}AtEuRˡe9}u':G# .g N >e$…(x$sa ׮*K.5Q6o+[j<@ ȋ;mUErJS!3R~'.pຩƩ<ct?1clPלB\3r zb&&RAjy"^`G(\H|E7;3kthZ;-qG}3+eRvE7yB6 AtAzaiܕ6ϹVT@2ǁ<)&` LR̭㠳{&uAV/" B@3meq<1V0Jph6qtM:L/y2+w |qD4(nYуKxVƷlco݌'®K,F_^sV" JeEðjbZìunХ #[dFN(Lh$}O}ց ?{5"̑R{E2&em#芶qLP