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  d d tT U Circus:threads=2elapsed=53.481cpu=102.592gc=3.384factor=1.927zXZִF! Z2]ŗXf1-q恈͐7ӺV 6 hD;V& _wҼߟ=\ 3Tջ6Ic'HWdr:@l_NEQ|-UPP:"v..h80 fvz]B` `0˥c)}Fҟ(VIuG.L> J5pNĐBfii#l_W8v+6MkNx^h'b xsz?'@ԝ$=7|STY0&Zu'~TU%BIEL:_| QB LW$tza;iޖ@1KT)+mnM.0ٹr>VMĥ]QZN{!tǺ^*=},]ƢlOU \`"ybݭ|43AbaE.AlxNHxRSH;Qpp#Q3I^nSbC9/狊g QxE)xâv[)Bֶ//#\ 6s&aTfTx,wMVx>'^0w򪸀 v6Qk(,0:o=i(T|_Uak\coòNʶj=#醬Q[`x& स:#%OF O=<'?| !G26Z$e e!o|f itt,#]9+ , *ՠu T'~XɔZygfA[l# 31yzJ.R+wd&rypдA!luiOLZ] ^#ĉ.25 G_$|I[e16NNه.b!6rY6ڸtpᶈ?   Circus9wi4j"a:ra0ݍ=S|z:KeMV'֔hNj$K^.<0Ǔwm7UEmU%i'!#BlB7--qV6`/c/Xz=$;܎ɽlN1rs]h8B[,d#?*j=FC9WNMfaCBU*9+{ |a87z:z->DYD%+T^0C? M F74IYZFFZv(x~ (XYbN2WYo3yӧqrc#1rԲjz z!'x lļ{|>or(D>~3^ WVwA|yA; tJcB-htV-[N?dz9ۗ46:D5S3^仛-) ˌ{ɣU344s\ITWR=۶< I놦`Ơ>PEG+Y |EF{O^9{v6zgyy?VȎ{K:"\pP*8ڛՐߡ2CA(]r":V2´|́/مcC4xn;!g+ z 3'?cÀ+ڋ4KVǃ Em\z۔⽤KaNwN6jiyWe>%H]G |tJyHkqM:=^#mZM !1Wq>է2zJOsbz)Nl34*ߤ(|F t^ !Ck)+[}'T ŧIqΛ3Wߩt{hKʷinڪalTy#FWCrFtrЎHM|颛gͥrT.A\>T^wU\T>H:uN1_oh:݊F^\Y߀vx`d&7NjKl)bicSJ x>;]%N| ɸgUK|ƻCp&-=nXC|Rf0VjD-x3$E/kk:\@y)o'o%90T~CEEIJTxW?)ꘈ/c' |nBܟٚ6 ZT *B!I!RwxIb#bA; +G<6n/_./Jr[jMcEKJ,c~x ginNlnc0AUCAs/wX6n-=,aд5dVV/`@K4=i Flqu,3U9/ZȒ"e{5Ücv\ a,a8g<9ath~ٍ7۝;<I?kӂ$ ,0MYibk#v4vJʮ 7Ѹ2>$"=TE/A `ɑ~)?:`fzҏb{1+:T8T/^j y3e3/3Јcxs-"mUu0/GnMbYGLl c+}HmjKg`J-6sfA@ogIUkys}>~WnhY^jm6FY%n fgTy 'P5N>S d# Pł>^\îQ2CD0[왉@ՅCU!֥?׹>Cp2P~sMF~6..~d3ćsI ̟Wa*},b%GyKW+|)̨zT ӯ8w m%&.Om 7J2֍~[@R"eBXԔF>z6ϛBqZؿ̣w#:o?.ej(x2 OSDk]qR3Q.B 3<{7ȝY>%5E{T¥ _(~;E(Ϩ6u7 VgD&i1LSvryI f:SZYmV_iqy;7*5_r`!asb?>^e~h0 &{:$vsIGy:D}יs!TjɈs`6R'zoе 25^Se,羌 #B]As?=9kIB)f"c rqv'Q0QP{jv*L˩SqƓaϸjA ;jqD.E6r؝sQkwY2pPT wKxYmbQW61|']PH!9XlfحIȃ[1dB*Hgtmg*Ja%^Ҫl{vuD5w<K{Wz!!Cp QIXr$RtfT_0Co6)Ỉhf n%zF Vޜ15 y&HIp<dž\]YL[~e"jg8pzd/ C;$VT2U[ym:}pC5JnO .3Gi73͓K&VhC^tAxP'nbr)2\h:=г7usP@+26 Mnw]fOp ;s= nGH";7@Vĥ=]@tL=){f+ăh܏l@^+ʎʵ4!нATfG p 'l_=?13'ʧjѷM(QhXq@:{Ϥ3U̒N 9 3!Aq5ԠfgͲzb7|jbb[c}HEbJvZ88Sʳ)?eaW o疷eǸ{\uVeԣw3tmK&oXɫ%ZvGtx'B\?t/8YN %p4si]h2VIh*5ٗs@\X!@-\4`o6t*%ƒ\{ʿ :w AӦ&}~&%l#6-1 _"cS.-䚊 : j,2Iq- VO{z%8$=ҵFm2r$7'iBI$(V2d=ޱ2ܶ`]IԆJKZ nP[e[E׶[ҾY':(аF֥;֐mUyLr¥eXdqG(C` :2Áj%g9 vA,3[)Z#d7Ub6g7QDw`3#_L&FA?vƇFq]J$\5K İ[rjNps򅳧 Ƅ B}ZdK2^}! τzŷf,8(^'7FF%9IO2S`qh n#yqS7TeYXeK9aVg#z`4͐ʫœqWhMFs2n)dxYL ATuo7> Z ߓh2Ia[}mfA "P+Hzm O08:۝/##COhb2EmbcI/aOQ10E*NuK8gY5@X U| Az ߱gYZ0b8efa224641e87d41f0c2727293eeb43ce36bb7 148e38cb5f3d3d290d111319209a9738ac361aa0 18d08009b0409d92bdd968c937cae4d5fd634cf1 1c7e5466288b401ad82032c7750c259cb143b759 1dd8cf7b4e43302dd3afaef1e6d216605ed1469d 2fa54d72c65f940de20bafb91f89dba793a79ff6 32abb7565f623d323c95ce7f9321792f97f6f069 451ac76a0e3aa8304d970e80bc94e109173687c0 5ea38e279cba1e483e846cf8edd984e0106a58fb 6757d2def1f48840cfb422a03bc20fee6bc46a7c 6cb3e8103c291d92b9b34b088c0dc7f9e362865e 70ce409d38ede16b522b4fa352a7a32dc8d18e08 714852b53ee6a25ca4de13109c563e7b37c2b556 718392053b2911848e68c08ca8632a5637f5e432 82312823472989b5a4a9d5b98e3ea55b49815e49 8ed6364163cb7bb734027488d45397a19bebdb6d 92995e9515df3d77186d866b4763eb9e106ce2b9 9a7d35705f997a82eecef4b922eb8805d467f036 a91192f51e3d7b1749a1c784e15471886bccb3b7 abeee553d959d22a6447146089bd5fa7bb5024d9 b011eac9002258baed1dbbd398a3f4dacfa0e6e8 b4a4347a33996b704ba7eb3b5b386f05eb7d3d69 b4ce39f5a9a6908fa3c9c1f8555058e6f5479869 c91a90c472a98d4f1ddde3d19c15523b8f2d8df9 c925fabebb0c7644022eddc882f14f403a992f7b d580a5ea7726c90b4e60e8c589c8c4d31443e01b e18e2a58ca15ba0d11f16e4751ec1d7bd8accb68 f4e7842ad645c6f197a109225189baa4416aea54 f89b8afadf4fd37c7a526959d4bf35f3800952e2fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 f5da114f03e68be9d6bb55c83bb11db20fb8d4c3