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  " "S- T<4 ] Tarskis_Geometry:threads=2elapsed=55.382cpu=94.748gc=3.584factor=1.717zXZִF! C]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja ZƊiԑwL_"\[͆0? _ ɛIj..nYxҖ2EC'n^85!a_-^3޳sl[^[|{oc-YtSNP Rh{Aa&hmoiy@O8t'DI KGuGL5 /Cܹ}dA*A#9 Y3UL|o-&1-UA/H䥸P4@3)Lm7ٙī[}cyeZ`9ykvS5+{i)O" %l=ࡖ /g~8]&ȵx46䩽|Wd E[s!T3(Y7IVeV@Cuqn,A9Z{,J29|EP-'~5Y`~i)z7cۨE$@jxU4 @EYгp=gYZ7zXZִF!  ]ŗXi%r&)%IjHuQ/ICZV)忐O8Z)h`;^<A9]L"auTYn܌Vr oy7^b5Z8Q~ ąA,L.r{Z3[Xfmjg%rB@/fg5+pe7@2H (zYc7c?J.I5\ k;vO@.x!-qt1m;@9VOVCpAb a[j u.vנ澧)ҁmn`rnn!R5)KljE*0H?j ؈ R'{~3O{bnF: }f힑suuS39m䭽Qxw h4)C> HQ|Ou}=S/k!BSD/<٭c89K1.o t8I'`>FRu(w;~;6eh,ma [#Q.$>RŰ(IL:Y=]Bs aM8iX0)fT~ \ċ3P fBiM]%zs"k{Ί/ff|Gus!)A(i9sO<+O5`#mDL1޷3sw(rx@Tu'`U.5q"U{l7>8E zJB3q2U-B#,?ۤ>D~wD ~h5f%B#N7=vaoY:,g=}|ʘ,b8F !(@{a;vQn]ߜdSO0 J2bK BC-˱w] Ym _JqqдNc`?j#v췬)$,q /F&rH׺p [lܚm_d2s]awc2++ǒ@UɆ{ܓ0A{)xRP;>jT{s>aE7_Cǔ.ui7TfTm[^isõ/˸J(]L4y>v1{%Z@cF&k?|L!yWƷwDzvNiP  NBУiX-oHU t6f䲯X4m(T!d=MrS!;jTyfv e乴/9pAv6sw&N.WmSݥ"C04/UJLO 90&VuP7V]℩}&ɕ&80_}EK%=# 7m10U*}J-$칉u*ħz v1[D8Wh = IU6.BYG.7n-ZFpdP{?87:JE'حujY$h|JS(OApi'6Ii Mi:`U;H;V $x`2 Rs7IE}EH0^ZsQ} )I6tL1yy+Ҿʆ.4X+q+:2̇. 6nBᢿ ݘ_ەp}C W9 調|,7|$1Aت׋կyrhq3 C1^^_uT+n4U%>'jvKKZ@8%W )` .wziD=XM(*y 淦cv(%</a'nesREKXgpܓQ#pE򊦷*׭gmBø*8ֳu.+y*%] r&*ܜ 5/AήĮvW$ݟ&ըd0VqzvxOg#D ux[;tQ?: N-z5%zs s@݄ڮJ$l`e8=S6.oMbS\5[⇅rXH83vac{St|4J-FHh2N,+ 5^Eb ~KcS% t:t@ Aoy9.(a( çb{5DKX`QeE* ጀ{ 8|:MMrǺ S5`(BgĠ2,恈} YVm Rt" ?2Q rq>\Lȍ BICbCy#)٘=GtP-WzENSkUI[3j%l=bzJk.R;yPحF[x:gء.{]a^gYZ80fe85848a8431e77e5b5c10feb4b5894a0c4978d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e c0bf7b6d5b1b478088a3e49438ef9e3f86d0ddd8