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  s s;|, m]Stone_Relation_Algebras:threads=2elapsed=60.827cpu=101.544gc=2.988factor=1.677zXZִF! <]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQSPW f۳̳6R. Dqxni0fmnjt=4u{Y4Fl'ֿN#a3+eZ{70?/힥SQ{Wi2'ͪ؃Z6&cxa1. K.46Cseפj,\9䓂Jp\ ub&sW(fZno*]iD ͤ69VhIЪǚ3p(sQmf\ ])TuQB*çJ 0^ "vӢEUΛLx)8r_Ѥ^כח8&?R>_gVQsR+ noO¯eu|\,].nx}RNS=L KJxRi( Sar6A1H!'$DU+)mSV[E OEpa+4S gPh zRZxX}(dW) dw `PΔ~H&H5՞+ b, [zB O۽EjY Ude+ _嗴X%U ݊4[Ckue##qeC ϑu,( L#\@ޥ6.zLi e E-sAo!~[`zoJ3ՂJiߊWoj3͚XЎ:O$Y|NF&p7nW-W݄xDj){_RMd\z\6NTP۷v>+ *yZSyc?HW7?LTMlx~)q~M}Jm뽜?ka4ݟy"%w2[ؗ>‡q:gJ*$S)(0J$Bձ׵`H(=~Ty ; Stone_Relation_Algebrasg yigYZ7zXZִF! ( ]ŗXi%6}ݨ Y!T5;]tl:- {2`Ü _7m9Ks tۈ]OLV=ږ} <s\ȷjolLQ`= SYHI H4Qˍr-UqQQ[898+Ay_4jݖ30KK<$tӭgknv/!0?vX6o&%RAl0nꌚg (xsDŽ|ȕ*>U6G-idٽTv|e_ L4B%bKZ6XoS{WCd&nTR{eF-*|+w 緰di)<%p#Є$+*Ƴy3(_Im<Ƅw'}OE(,Vș)97?7ֶPBIlhc/ItbFـؘ-XFX -d3BsjLO8oŔow`"U3^8MxT|O'lu;)"Y vK!sYY^WjvQLiHDJ€%w(lajE$mE?bs-^dՓ4읜ʉt Uld/u6;43KEedU0MIFb}>#XߓFr@B~؅nRƑSpmvDre}qVCG.L LXޝ ޒ`VG,(:I\@.Z6+J$_ra啸+m3]HZReGX&_'Y*vK 3LtWWU]uؙbQE0xzVl]&̧|Ph-ѯTmS)g]pk=C? Td1|Aq \0Sxxa7C2G#7-`C7n8n%r)td7B4ŲO%_ۓjt)`Hy%u*91uW?֍4;wHS(O9ڌT׃-x4}P'Tlݹ>:㗸[Ro:;ڲwޮ6XDy|H; ټ̭X*XXsYmPʖ{>Yh,ٛn<*ֿbqvg354|q`zp}QQn8Ys`^,X: )`L7LI٭KKۋӭ6+_rO]!/ ]Os ꧘iGЏZhv͢lBXj GR4X+`z2t,(P'ީo)SO]h{}gةpUY&i^A7M<|΄A_WlG2 V ;98bG65`OnuIU$+"&j-H`#zNmDʮ6' Q59P!!LCʗV:Ri6&{+}Zbqw}"ӨuV4X~KEw~{1:<+,&!䷭cK9 d)!$4] P4O p{ c"Я*i'!mjOA2GawB𗊶 JwT!MwJQ!/`vZo.#mooAgYh_]Ƒ[~I%ܩ&<ϓ=M&9<^V=4}[Iuz+:fnA$OPqCwUTqR A~Keu(ĸ8^l"_^Lo2s@ }jeUs.#}Aa9X2eT1N7l*6Lz @0͵ef7ChٺvG61E;E5<֔T!WYO}7^~-Sseq,/j?| fQdCyʨ<4kCnϣ|],Ig<+d1q/Y% )fE ) fWE|VKw_9[.jH.Fj nK?o Wv-, w"ȥ2֨RD qrT&wF0¾ǩ@Ƃ#pǀfO &'"Pf"cOGH]E8S?{8|yӕN)^ZFg]}ea|#Pb|ot'N7靥Q5IU8ɼHp bEͶ JCtxǑ"9% mH{jgq.S4WJgN]֣wJWC\zM!KOsA_Z/-=(盤u)Nz̬ES'"i jڙÐ\UBp"21\cs2eR2vst 6k M:PƎ,a(ϧ}L1qf*Gy@ Vy {_efBHTXyZXHrDmϱgYZ15b74cf114628786a79fcd1b7b0d850ae4538973 28ada3828891c645dfb36baf941896e2eebcbabd 332623a0b0667c19ada7e61e8db11f75f807da02 3a84e0aead6d8444d87b5474d3e3b5feebca7f6c 56ce51e51c52771c0ee6e27b1d0e017c84baf301 6cf0434a2c81b3cfc66d5aa533eda695700a4801 6def3dc46358ea64f147563ca9a5264abc407f8f aab124be90550157358bfa2fce73b8787a6fd3ba e388782066b4bb00a7be451e2533369cb95c0c33b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 f0845910405e4f557e1bfdc7fbdf7222feb759a70beb75bb30300554b5e028e0f8b4fdcf7cda5819