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 aa tD s/]HOL-Word:threads=2elapsed=21.947cpu=42.644gc=1.764factor=1.947zXZִF! ]ŗXf1-q恈eO/O4Eh~$&} _ruVy`ޠWL:S؞z8~݂LjQ#2P08#BןY},{@nK a\v-] .Wت䖎LRەG|gw&o_a{DiDRBܝA],)TFPiW5No׉sV8r :ErRSG<l'{aj"\ھ)A&( ^>;b Q(1PZ﹋0ʁ64m`0`ݲs 0NQdQF%UJ`|~I"D@MTwB,+{&˶EXg j+k4Gs60X, n:q3s󜂧xtOtcƷYqU7C' #a"]<}8NFz#d8GeMhRHR7F=4؛n;Kqu1Jhņeƀw@k4 ǣu>UhdC(OWA̐4"AZvSF5XU?v&aZ KXFb_%EBu)EV<-՝oe|!jO|W$ʬGV'- A+SENFjj$֝ؓ':R[w~[0z̹|d{ 10Lo +]4!#+oWj.Q> Wi[<6|i[iP?7  p}`DQ:&OՀS.no*ɇϲ$O (ŏ*R^=4iG-_vE{q'2CP.B;@ٸM> 2L`d;/~$O?;Ie#ϱA<2Gua@/3+D9#C2;"d 3*w)mgp\Vۋ@1i VQ-eHA9φiD$ -:P78LA()Evw1=CR[[QiX#ƉǬ B5$nCG]c[j  k{L҉7B6RB?*BʆH:-2LW^:QS"g"f )}KF {]k?Vuj:uyke.8 v;umrD|?b/-LĚ̉lKrƩb8s`|C ]+]Tc5:g j{Q,hTLvֵSn g*^^ \47xoz}m[)6 vVE[K /p%l__9݁m8PPzފ Z+dz,!cw:=%sOn;kTK0^>[HV*Z85#Z5"a'wJrheiq?9RkE6N_.ˌe -2"0Mrp#tO9ݠr]nQU'!]|rMHC霯q-ASO}S'6)Zq5L'S5g/ |;c8Dܤt)eZ=x rP|}946~IRo`,> iW @Qs= f8^&6Ywba@5~YOঝAdϹ«B2og*^xvaN~1m-7din'jIK@hmawNEa];Нall閌I!4FJ_*Ub`U.cɃ@E?8sh@xqUKźuBLK ZM(*VR0'Q6 _ R+ ԀG] dয়%\^Tc3V=}3rb\Kjۅb񆶴Xuty̟_3޶~PZ.ޔf ˤm#;װFBd"vl 0qÃZB{P~I}"Uz]Dcg±J֞围RY +ޞ̴" M%[Vu `Uރ;='i8)~ +ڜ ҐU_5X#G)7$F>C;q~R6L%\nLb.hN|JSE@7vBJfw(b4*JH 9 B }KܩŋYN 1U85݋0wYSnj5Cםj71 :?2/?TvJf 0yrxn߉holȏrtÓ7 V)]Kʱ^مc^CM  Fi-vdEcU?Sz8mg. l)<|cY%`Mrdfg~wVxŎ&=/#?fS¥.Z>J OibDH cJctP ֍qNV +}rI,Ytc`q>>.* $LUW"Ia8ے/E)"gJ6+$EI>u-2ۻ8[sm' RAP t0Y bXHmiA|q/X= ]X pe>nѕ'R%A;84\ǫc$~Bqbٲ]" +-J>F @mOi&ؕ(ܤ4%ՆsETVn#|=JA [V(iyfʄoI :eXx.!mNL :Qm9Cx9 6f.Z+TrlCz EoN\e_9I:Vm@b*7%\L&4نT%zAR1t?Sq!ԢU %Q\Y :Z)#x|<=%J[R&G)ҞvdGV@#lc@Y;]1=05a5|\FpIRۅH{by'Fi!NQOh-2G !jmL# xgYZ7zXZִF! xZ]ŗXi%s쯒4pVFt]fM..Z ~HKlyK («z zFۦeռZKG/)] I=2,))! qInܩ! 2nK\* eEPi>vji_O#zfXnTġH۠RavӂZw#2fݶ2F.IJ0-bg 瀰q}̲ȹ3 -YHD>fs3F$i ]œ$bIŸtXҡZ/PyY 4B [Χꝺ G/v3\#ſ .ɟ49]d*YOG?_0υi.67fOR5B",$c#XS~8`I|)Spl)cǀC8ղ14ڴ~LCEe0XsOL7y\ "]DmPa3AWΏSvM\CC>zD >Lt]Il9Yy,Cskg3ѩėCq3V`MEwŋk) .~Z+! f0ۮf?&٧#@wv<'HJb(`(ӯQvHE3CԸxR^flSk.S.Ցڃ`:Z&~=SPx\A M>k]G5^ÿTu:sE){7FFtW)^Ȼ.~$;k`lp7H\ 'DM9.C|rZey;c>|Sc2dD)B+tͭVl 6 ia[p3nj]ⱤO