SQLite format 3@ . BBh77otableisabelle_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  m- t|d ]% Tarskis_Geometry:threads=2elapsed=59.123cpu=99.872gc=3.644factor=1.697zXZִF! #V]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Zț7&X/0+Ə؃t 0wRՇ"m I.fm6_jqRUƊM; >cEn"* Dwœ]Q9y^^tܥTmdq<˝|엘?ҳ6O"Ҥ/#mi4q M^)ZQ(CaF̻=rC0F|EZzG.⻦U0=Gm݇Zpx(]Ȗd4Ҋ0ԍAQMV<(X;3ze޶ wܾ$v 7g )@$͊L᯿R;z/+=qۣ3{VҎš#yHD}QZX궷n#A}#}kDHA288#@$7[z2/C덄}%h^<[@% >e1k"۔+ofMCCw[Bo)u)>b?G[ycJ(c<M$2*+"#E{yםpJaHbdQg]U - Tarskis_Geometrya{F !gYZ7zXZִF! 7]ŗXiɟ1`?#6⪄f]e߬vO?qM ںn(VVM Dl\-M|l7"pB,h V:zRi >Kegq2j'UzN2qO5 mWzyCF hS e 2G_RSbSNᲖY xY(#9뱩x%}hL<0,nVJAxݘt uΆCg}$Uš3fɽ<[{\-e+FgYZ7zXZִF! )` +]ŗXi%6\Mمצ7Ռk=R<^WN c{jE7M(;E=5`Vƃ'|EpHE JG.*u=8EE dA:O*DJpbV]!BHu "z=B)SDev8⤴& 3$]/ZW­&ÿNX\<}BAcE!Mo/&/'o1 SK'dd7ubFjFirD$&dB+ԈMjD K< 7 S7JR_jv^:lAiJքQP˽K~j)3Ae U _GIN!Xʷ)* ȡ>^TUK|`"Kk D^/jScə>W/\_AA'2rZlHl:gYew:ߟ(4-^.ӵQau,Ρ|.B9K<֍I6zw{(0_fy^g3riG&?`0=Oe@:pN8wZ[z  /'^ BEȅS2>ht*y0(!vid8Xrٖ*rkڐQ>ic59wX<FUa1GQLd^* > ڳxYg!Gj C}dzp `_wp8%zGҀ\54FP͓X Q2+a\ 2T1Y?@bf(0)^ K$ ^gJah4jF_-ʳA ͒lLw^|OZ*S9Y+ITmWgGvpѪ]_iOXݞ,VYOȳld;B{g+~g'/CkĪpd*&\7҈7CZ) 9E7Ou`gtnw&WU\o;eWHԿW9*n7?6Z!=8+?IUtw1Juƒ2O.e&~Ȅ靿~ԍH&a1k*:i^ąa*/}2Jma  YC^r0:gɻ1~IFQye~:_.QnG"CfSfz).Ns˳IPW~κ}9՛|#SFb -!AP Wnz2QzZ,ư:JfDJ<[e>?#=EcXЉ ' ÜZp4==uNs)Nojʠ][T]-ي}LoJE c(j7v =#{H ;9 2l^PvKvfޚja[do|V"4ӑ5iOCK-aE;[̪/$aJsEU >t?fU)Ϟs"n&&cu8f +@+ϗR ˯8YUP,UJ]n'l mp)R\Mk%1R- MiM#MnGE H2h)Z~3|y#y1ɝ*ԯo7gdbUJF@fO92 ۻ#Jn}́,|k^YGď?ќX)zo:W,X=TP8-z:6NMR%Ǯsa#3#M< =ڌLD Fgy_%{.D0g|n7[Ήr'r_4 ќF ΅3F x 4)jeћDɈX ܥSAGyW[wR`rKA_F/iЀ;{#L&HRH仃ibAt߭ _[[F##(ȅ;r>PRT DXORJ^Q5F"lvW-d{6=#*D} n'C|v/c$[}{0lfC4#j7y'w*N1V'=)P Oʛ>OrKwYz>,e@xu~ׂN&[Đ;`,֥8j.9TͿKjW"|ӝўmXrv3nz[kW`hdQum1I䘡XS5kd: N J؃Ɔg,CMn=i]P,9#^B^ h0kGǍW= o,OVl*|P4'p`| Po+PfX׈) NS>j?;Y-KT F=^ʃ%