SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ); l ? Stone_Relation_Algebras:threads=2elapsed=52.388cpu=87.404gc=2.712factor=1.677zXZִF! ]\]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQĄ'6qԃ%̇gAƷw_D[ wtJM 4٪|ldyFҴyOڢ9<׃¾{/*:Rr6K:2oogĽi:?y l5sK3;)I-,IOhPZ!&'5 C]J$j[?GyYr"8s7R.  KW~[D9.?l틈-?gS_Jz@9?AtC@ĴHm@SQ1|ir=TIW k>ka ƨSG8۫`zbXV"N&(K ; Stone_Relation_AlgebrasLI[uoF9?zA2_t!DM\_y Uq*uB}7o0cV$ pC<3ur1b2rBn]يpy̔Z&<3lW,s-mmv>K]a;|ʨhtuǮuf-wT65M{2;8 [03ZH*[`cw |-vKŀwHmǪPN7q?%1'фb&)J)sǸS=^Xxw wO*@n˘QS`'pڄMLAc:d-ˊ5 /5X0q&sqIA]A)B!NԕqiseBѣ˕?aujh'S28LAP`.KꙙD0yY8 T ͷϨ:mއo)Z z2@m29eQأve7$no|_ύM͉%ܞڏE5kܞ먄H|S(ĔuOψ%n(a&ܽM[<GW<"#7f!FO~"\=Ce IR2OySѲc:( 1y}ʯY+awHoQͰOaUe.Fea7H+)kKf6,'үtV\x!f vy ѱ;.XsNnjMN]"VP}@iZ`VLEOZNu(6Bm&=ZGH&6Qt6޵KvzkԵ+NCUpiЖ%k9F^QV`I]i\ы{/ ڗO Z<KU>6EGZf"\*=.ԏ&<:c qrOM=`0^SМ)IЌqMSz# 9z%+.MxztuZo/ ޴)&%>llj ]#||TCL^0VVߙqwUsO$wFr~ͿoCe㶥7#jNJY=ޛTs1 w+!Xgp T)ߕ K.Al#]D{]?"8Ueq^}dF45~.-D%:9.,DC.0%j5G [jB$O8T-tĢ  iW7jk@7gj!SBX^[̵TSYOAذɩT|žjd 1n8. ZᑉF'B nG<_/dEb-E~DH/qH%¢!Whf;#'q-ǫWߔ1:pfFH^R4<0 +Bjd$" =(㯌Rh"j#Z9osޡ&EG7]#2=]J>1vut 4`D?Ų[]zS,AXoGQ}#VcAi|W5Zt%U4m=eG.>5Eh ޥT0V|ݚgAZ/PDDj+fBvJ )Cɪ_#,*yUvbZ/r6Q1 mGfOzWP޸逮NK-G6NR1]ԝV&hYrUU{dMzjo9~a[{ῃTJضT XEQ(sy85g$]WY$U0FM 8`cd?ܵo:JX6#&Ĥ @{Co sJfO5{PڱfrH6P \ΚL}sХ}p_ׯj;ob5;03Z=k[OruRLHtu_w`[7o7`}=nN%:pa yOCVV+תQ / R6^9Rb%`\aǾ cO_X'SؤU/@0U=*E=[D;:j J:?Dt?Fcjm}خ`zD_6'MFl(mʠSϼVkXszPx!Cݞ2zFa~@)Ÿ&|`Nt/v< ~q\H{ X3z}90|߮РLb=>|mCouV Lv ) .)I+K.f W@=}kͱqx:7G:>\FH%[ EAm+Wl8~6:k㙩j1;rgρy/3[mi_8[_`>O;~l`'&?G?riI^{4).Ш"KӐd wco /jTEj??L/jL˚{;v &^s` k-bѦ @D:PXaNFʘ"\G^V{6܏>s+{ *zm>E"&MM`ܭ0ܮQs"?δ5;˝(v2\0X F S'NK;u6 ntr#LECHz,0YomK=&#+5ZbZSo_ƹ(`eB-ĵ#%ܭK_+ {y5<:Ap،.qbA&vM o.#v7f >j9)ȫE>;oR<߮4PǦzaj4M׸%r!@װJ]O+GdڷYב4M ꫣic߄6Uc3H~Ⱥ@Fq\ɘyϛp1>2'lؑTBe!lH7) 'a=1O6W?2fCa@rչ3j(I]5bQaI1Ҕ*?FSHYR#u/  QM9URy+Г']f"4aEWá[3x&ҝ\sWA&Ak&ݺ6gYZ7zXZִF! 0]ŗXi%HOɳ?9Zm_ |NGڠrDНE5 hgxj/)UŻ:GCu leaA&%BgbfX~%uEl$m2MHLҷoiVԁLR&__?s^{ZT.Sb3ȑ$D<_ٹj$JRơMQMiTǬlSoG.7uN$(͡bprԠvGsf :Qe-md5b܈QD! /OBs* <ǹ8N_ ݅:i[xy+ߝ~Li)$!'KÂΞJ$ 8Ceü@~¸F}ڋrhTS-wTv۶Je8 k @I"mxZաL0R />܇_/xO-d.Ŧ !c&vˉBT} /n'hȏߛnw?h> 2Mk_2\jtF|1$JSiGϒAm)CMf:.*WKfo[͚EX*蝈{ ;ڿ۲EcJe=t~bv"+VGĘłh ^;@Eώ~EAmbH.bWi(96`Mڲ#7ʔ~ʧĒ);|%`u AVl-IY'!ȩb xJ~Ldm X`ڣ3Z5qI9wA@bnxIةfJqL 7#`9ce9yx v9*JJꦡHdV~Q Cc MSHTL$İ!,N3q<#T }]/-6hdr~G!3Y-I۪<773ٯדF2(;RXss>C!p7ɂn[ߚhFÜثm* E57zX[^7!TAwʅscJt>mip$fz4yE@O2 |}0 3mrRS4ic ReW{nb}(^ ;ۀᑨS+ea:+% /)}N|=ޭszO8ByM:WNN Rwf$JV{gaK^n ttcscVv~$Eט)4j>N\;,07 53/D4:z`dC@b]|Su⒗ҙf|= 122Aё X!`vW.%IcXwOx tGh=Z5HXҼ'$wԓ ^3ne+Z-i)C,η E^Ƴ㩔)5H\h̨տ CDj{cU$4w uCz6g"'žc5|*~v#.pɆT$`&li+Mh ^$VB}w ,J՝ȡ]%' 2l/p\ٌ鰖k @y*)S:d] &d?ކ7 GT[nl񒠯x=HAa?s B݊ʵfߟʎ?Utϯ=gXjX<ڄ/O;7r0iɐh8Pq%96$5Z3WgT9uG vZ4kAnZRzz-M*;l3A_GOXl=pc(h[:Z-{ t\* ,.2sO/Wq`%''͠KL3V;X<53]p ,eo%@0R<ߏMfoֳfz# "wzc8mxvu1=}QO|?C.Uz BW#  [_Sh_a\+iUGh/fХ\x ++u:Q=_yX4ͦ1Qҭ0*1I:rVlp[kt6ŗ]eUcfgX寄$p6U}= z,g}gl^$T=\\GȰQB61hCDvd