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   U-,< _S Lambda_Free_KBOs:threads=2elapsed=63.294cpu=109.560gc=5.372factor=1.737zXZִF! EL]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++, B]u9Zmׂz=c5-<;b dC*8M5fS=x-&NVӃE@dG-on nt쯩Ag|Dx߶{M"$W o?ҡ+UDz%ܜB.ufANb)-,ދäWg )J)s㉌š%4?n΀PScQ%%u@\W;qChڥnl#ɕʴU9P]a!=K2f. w[pF7ML/D5|!G{ߦedCZ\ًho39&Paed3pq.59FAΛ'~u)q9Fc»TyUcۮ?jk*}z~,.B=ʹPj+f*q\bA@/=La 3guCJ#"X >؏~bͽf~$ [z9V-Sa4M{V|Ӧ 6®.-K~'q/Н'| I2W[nWuM!6?'v0x=,BEBJ |W)HS-%ǧ~g*}\sʔjL+*ʀz¼+-|u3vxEREQPJeEt̤w2{#?#Hԝ[CyniMM|+c_Qh?{e*,}8㫈 24j >؁,.NULv.1n2Wymڵ909@90[S@Ea>=y=k 'ډFH$ȅ>t>D-ˁݘkOKe[U{4PT )ID:´ *hF$2=7J巨BJ3Mηv;'L ࣻ -ݴ(+u#~g%g(Dū[IH5b:$1>,HZbpJ$*)R؟. 4' M"AC8jm2-Հ^-MdFQunlQʼӬM[ҦÎV SHSe:‹./9+}[(_\nrS$/&2HIJBYt_3 +E3Q` *7wN뗝<)8$2\"++/da3 =~e$Tnbܦ]O {OR6;K 2ZBPR.$Z[Y %*Ðq $̸3,=z#D̎x@5מ8w6e_z0Yvg?h@XM)&*L)S7 V}ɀTMH<rI~57jȎq\WeSa" A I%p r%igW'N[!c 9ʩ6~ p >XAJ~\%DeR -2X0ƛpd:e4E6rn]VcΉxS8COSvPHjg%ICm0y+(Cpe:ShVN~K1 YI7K۵|oLI(r%~X{0ˋ'?E@u LG$cjD : \2]\ KZȂˁe7P{dW:o|o4cᰉb(phx vmy, 8,Uȅ 9&SȽYQz[zMsi%-}%#EWUy=G;VRl9i%'b'5<Ȟ`1נ;,jw͙t˞`GV2#;`Y0٩: S[E&;<~@TؖK[*SW@M33{40Ͼ?N 6L0]" ^CM'Z6F /p4+u&'ԃ\[ E}{wiߖX 2~pUduj}A| qwFTk>$' @:Q73slƟ>vgQ0_u6k5R ^JT7;|V(}v[--oʯ-Hkm;<.;?3/X80uo5-S|~R4?EB!B &#^f4jηRTWG"2^8ˊy :eAŕ4:&|`dxh2 ު-g%?-/u.T͇G"&w tZ;i2KYvs<6V Ř?B0FA*}ZX <͜h_q )џ(`:KMꓦླྀKO;6$iPu#Q]W^b`/>zUخ/2p/tۛ遆;n)Eݮ.Ó弌rByxv,bޅ8z{Pss{ߕA9焃3XְtBէri-g(}0(=mУ:G^bԪ|c!Hˣ9کDby(7e^nW-Fyπ\&(dJx:ثbN.|G͵W`^@]i寚>9v{~!x$‚Py/? }aЙLIƲ`W):sJm*$Km8BRD;̇Wvؼo IR CLe. ڔC}a!H>~b#2*aدLW!kO{[:bN b=:( %̦p fI(hسН$?sw`;rv52{<52YMEOILy4q`oz' 6_[-֬̕їp(7c7{9^%&bP+|Ć%^,);[2bƶH -MGVUQ ˣjL R*9×^zp65"^`C 8 rV@0ٹ%O;ڟ=Ӕ"DV$-[b89({KOpWiKn >|?>y^ Uug5,^؋ ƽ'?DŽݐE p7,wrndmN}-=n5oo")]΋1H CmC+v,ǮbcIJILS̬ >I!Duʘkm|\"pix߇ Csv\nAF"i%3A>o:zp ٟvm.ȖX0 +|)!l<Gl ΅^>0cT]0$/TnGĀd, nGO߃3*|& x _M$5-6 J#1`겂bzlUԓ[-'=֠<G6I4QRAE[HH ;ޮ*t"ex~%8!8rn 25Dl{]0p^q'd>$>e:]ޅ{1v[;ߘ+sL5t }mΔ ;cj`@wJd"ĝ,^ӈH'M Y. @ i[|$:sW[xNg>}tAH Nf@*NCBY 0) Ryۙ>>b9K3JWvYD@=Uw1y6X(+b>UKtYNbSSa_;zW,(: 0`aWvD) o=Z `Ao5JI[O>b7irZ7zc@,z6ĤO35R$&R7Ԩ(6fPHbI]~<qyIfhJ{8Zw[]jdpk-) F$T vKþ _ʮa;>IW:\;A0!m~oy,