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 bb{ ,, )/]HOLCF:threads=6elapsed=16.352cpu=38.256gc=2.176factor=2.347zXZִF! O]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L au}S8 vC*"!ߘƧD`Sa Π1!..MoA>m^!gE; 肔"921Cn&8m8|hw,;da73-/7d?6yE(!2R ofন^=yo [h%,>x,PH=6O|M?8PmdHW 6w3z>Z;ݣ.TĒFkc\z]M::j;Jy;"5SzWEww~Qo͗oh3kal?f@gܞե0vtU6gΥYc]|C# L_#F1 8DNy@"#ƣD4C j_H#NuMp3M]ahIrVQ׮xHtN>-f%'m39wHB|4zcK lloƾrZ-q=!b y,zKwMD빺Tq? zTvZ-lK.J5wCQA`DVۤfۡ:FjrxͩG{hTZdϕ$QQ. Q ڜ=|} * f/FfQGYϢTFdDwnL bd\:j5^-%G-j4SNH-)6׀Z=5F̕"κ4UNM)Q$D@ 'ʑhkD(p-KG2<d-Hm^B5T*ے!]>+63^ݍ+#}IQnݽ5ϭ7,E%82~t:Յq$8P҈W W ^^36L:°# J}|JOcˍyybbeӛy/g\hZm&ڪJ$b'EM-L/x~s݁%Z,j1:y7Ǒ\kԛb+N)|Pڿ*\~ *qbܺ_Ubj2Im}B~v[tǙ%e-|Mu(׍v=Tu#GӬ7s4SQ'2GoԂxѵPc`#'R~ud`ܙĽ7Dp]ZȂtQOGW$GogL\T8ORT"ֹX*V3t\q=bn'+)!3S>éӮRm6ua:Xڅ݆&½]m"j]46&g-jO2icce='2k뿹)@L:NLx$ёuOѓn4]ԈZTI蠩1W<2+ڸ4:j:{sdelqb>_MM ]=DF)?C8F3ᒔn_=Fch*ȒuZ+5.66}aI b!'yKgLx[CC k@FNq=6JnhN~Kg`GzIƥYg Fcu+>^Ɍ)Iwn8_w4|?" ]jnuU:ܭ6U%6 KsZ9'&w]ڗf5#=Yrl$8\ RCJk=Jt{$T|I: J;+^ErM_}5n$ [G8c"ϰmJ~gDö8s x^IMR:Jy}xM^c) 8i51#{ HHU+PuF&UhmㄡawFμ-e܆Œ12$ r|bfdAWDEX'(qY d>`zeshҲoH-h #ca?փOJ㢫m6 ;̒viHQN»(K[-9 ƒf ` ptpc/T Νek,e\ɺԇdJTgo/Ul0 $dƈ6,]gL~(T0&|DH&F]>"?2=!0ͥ "M^Um";. Xw>]*_ܜS0|{o"y:*U>`),gXBDW ^30^BIg\^VJЪZY^"Hb9pYs"ᙛlَ| aipȡ=^<xKND b^:FV"pb/e%{ p}aDXnFp]p{/Xl82ޖH`JԞ. @*<{Z'P{̰lŇo.DKHeIRP!0&ϥu&׍)%?cn^%N g,HwL}x0P|X#fuܘ9kS}ZmM{]v /f[%+𹰁fdLevuyW#{{Ͳjcho16nQ %qjf(2Rh?w|ѲG(o1(ta`ttn|QQg5Y{WYCQzyQ.͡P t[";0P%I 1P'PEk ~5 4paXnhsatܟc&t{ynZIdR'`)܈4d!v0"ǵ2#Ejf6b\s7 XgYZ7zXZִF! M]ŗXi%8(ﴳMZ@D%]j~nENHZX)gWo :+d3&vӳuDN,ڴ Um#p9ݨ`,~$rt;TSoy^YtY 7!|Y8Wu`!{9טh[LĔ?>`:~mϹwWǖб'uÒ j|||"+M \E5 m&UinIy5%s $ UĆn hpJ,_D[S!jz|k"6d 7@!!FK&׿!#S"}继ǁ Occ%Ts=:H,1{$q X:N$‰'N!ÀʿЗs2m\; Y6 ,:`4fc;Gz7~v;p‚I\llWWhJόZd`l5~}2'KZ .=HmnfIM />l;zu ثa,Md!h7u10(jNī{ _L>mLk+ 9NEc/ []~6MNqp] 2]qdy`iO(n-+/xx` |>p>P,>+Z1"8aY;̎ȹIWhM\*03+WE[E8#r>kKě1a{[γ|ڲ{o⇵}@'*2"U@ OdWȎyC, # PR a%h@AFnS'7mf[1{.?m2g3Ϩ"7ZS7P칾\A#l`tbGH[(dD  To0 c.M !g<T<0xޞARA,lbO149itM ޣ7bk3U\&6#Ƨl K0hov#al=Ւ" p>p+)lW&uur+l0*Q?x.˴ !-ܿ