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  $, U Circus:threads=2elapsed=51.806cpu=99.084gc=3.304factor=1.917zXZִF! C]ŗXf1-q恈͐7ӺV 6 hD;V& _wҼߟ=\ 3Tջ6Ic+ݞ܎}ߖ8`bxC*uܰGQN- d_P. ynDE@ó6+N#HY<)p1r=2',6x㮌2GY&R  6ЧDPh/RǑUwa&aGC"{%V?eNV4-;V˄lN{)TXy)2d+gZe_bbo l >2(tě-ó7egxgOiV"nxF!;.Oa!{QbRR>qy^R;͐Ї81l#oXK   CircusWnCb1IK^MI}93?8nX׿vXnht*%cmKBQ"b[ 7f z5;8=@xҍ$.0 U1U A2l8nhd%xbj4^] ĶȮ7*ES=yit؈8qjaf.o3/*kHb!V4nt@O l"c`2ۄ]`'}Aboy*2De[+&s [>;G4%d ˟8IbrM~ GI:LVX{5 _Jr AQC:„SmB*oFP3+/q<z_uVY"?uG'Mˮz[D$3o5Er‘p ,b[ 6Ud>N˳9oHз*zx_{&T;nkS'fxtHQDA/п&C6*U HBLLcV`Cnc񑟾!º8K{(s'p%%t#K/zƇp/Fߤtyvۛv 0ftVMɻvp«4/v֙.H%<.KrL6"ʀ2{`0ԗkY'*4\eކTum%N 1ۘe 2M4lޥp^Z;xR8- $)^kJ0GecR`3PWUYk|9 Jҏ ֑v K!f"Eo~Y xn\޿n:硕BJ }nX>j@ۻμn+d.\c+KVF&3C(z9;Ue. eZ%=) L۰JX^rzӡIZFDIN\ݘS 5F{ TQ KX,se ҂X),<%!5vgέb)PvZeuS98ƩmFN5ߺ^~ň$+MUҙzݎ*e\pYz tREgx"I|R43>Lk &AS7].DvaT6ln"'EE|}zu9l]^nU CQ4P,ۄY{,ͧ E?pvDžhj6=#N;,P]42_A>㹹suUL:,/]ɖ;u%XŠ8V^cɇ|86c/R%Bʹ''ɲ,7IV+OGMdӳ]UBu“FojJ?z]0n[6 UH7Jhjp PM!\jó;bMbQ[OyIdiڤO2ב#Oj5gEGh#ETiOC|!Q*vp7u,nDzF)$$v]Y" n]Ci["dq@w6)[f,_zpq(R!tƺ )&|%z&ytUD ۀ z\k֏!9PɋiSpU̾ 8wIg;L(JO bs鹍HT\ ≅vp@~;L`U7@R%4ޞv"saհ; lVWy ĶR#Sɮܝsu\Xॣ[F rչ&=b\JT}yf;責-5DJٯl (S5Da{9Cܑ+Z8 $XÿΡ$MaK7vYS?ksak/eϯ,B79㐓|,Pr5,4kym}g a :!vy qs6̣0g^k,CN} ՞PcUr02N& 7lra?>i&s5IPk2B5p8Y2@NcU 360~GS2&1F(y'ؿ2%_E.)e] a%eg[fK Vb>YS',+ܹgܵi҄z)Ήvtx7E$[q@;İb+i.erg%Đ9jgYZ7zXZִF! E` M]ŗXi%;s  ļ{;~|`HZUVJW{SwoG:zڜ22h?cU&֩={noܕ(b_̑hMK&a3h_cq~Ӻ) !Crjn\mVh=~Ai/2Jfh+Jiأ$GYmh0rQњ4{ jу""nsjF3,M{WOdd"(:o* FaĖ4i=%ǧ8FNe'`g/ :s_2a5ă=5a+3.񰋬Բ:q8z`>phrܭAhל0 G&Okbjv2S8.GdȹdxӸ]kG ] =,Pt5wc>|{ӮJmkQ-@FiI%X@Vs),$5.?n$t& ϑYCPLdbP(--7G* s Nje $ j|K}Ou-">tg >OuYO-p,'eƖ U8?iJ䪻a9'rؔfyT w>&рKjq\^Io3hnq-bS[*wh$zrJF1lq.QL2$:nVvN{"BD,;/GCbKR֔WJLgM7eE W=HS3@($ 唓8}8}FP R_a'۬]2E||Yrm62?F7@[yRd&Aj[F10N;ZO鲃{S6C{q>].gBuwTy(X6=e;&$[: <0KQ٫V1$ "|֧ʩWA0MO=`#F gY<f,T!7/M!N\dǷBL9&L#zrE^(t7oֱI# pݡN ]܉tFK{ukEpzޝN4 rJirj+]U{mBSI[Mh㶑Q&$Fc'-uc0:ʑ?-bSveR3ZX'T=iWZ*=H)%Ik]@o*͖jIo5 LE$ih-[B_~\6$gġ6P ɼp6Q9F3ng$ L7f"ǖ.Mf}F'>=(,s 1j ngȱ@}j6Hs`\xy 1KwvwVϙ\}, K(9<=' %{O@zCǭyV3ࣖ~}=>hԯ|(0e06Edےn%cphii.?~ݝ$ɱ̫{A_]c7kZd[8K3o&/ I<QMIzɫ9 Esuc~Wp8U YGC,vT]X'gYZ0b8efa224641e87d41f0c2727293eeb43ce36bb7 148e38cb5f3d3d290d111319209a9738ac361aa0 18d08009b0409d92bdd968c937cae4d5fd634cf1 1c7e5466288b401ad82032c7750c259cb143b759 1dd8cf7b4e43302dd3afaef1e6d216605ed1469d 2fa54d72c65f940de20bafb91f89dba793a79ff6 32abb7565f623d323c95ce7f9321792f97f6f069 3fe5941934893b5422165e490a489238302826c5 451ac76a0e3aa8304d970e80bc94e109173687c0 5ea38e279cba1e483e846cf8edd984e0106a58fb 6cb3e8103c291d92b9b34b088c0dc7f9e362865e 70ce409d38ede16b522b4fa352a7a32dc8d18e08 714852b53ee6a25ca4de13109c563e7b37c2b556 718392053b2911848e68c08ca8632a5637f5e432 82312823472989b5a4a9d5b98e3ea55b49815e49 8ed6364163cb7bb734027488d45397a19bebdb6d 92995e9515df3d77186d866b4763eb9e106ce2b9 9a7d35705f997a82eecef4b922eb8805d467f036 a91192f51e3d7b1749a1c784e15471886bccb3b7 abeee553d959d22a6447146089bd5fa7bb5024d9 b011eac9002258baed1dbbd398a3f4dacfa0e6e8 b4ce39f5a9a6908fa3c9c1f8555058e6f5479869 c91a90c472a98d4f1ddde3d19c15523b8f2d8df9 c925fabebb0c7644022eddc882f14f403a992f7b d580a5ea7726c90b4e60e8c589c8c4d31443e01b e18e2a58ca15ba0d11f16e4751ec1d7bd8accb68 e49b7bf866f53f76bf3dd1e1fea6017ff25b3cc1 f4e7842ad645c6f197a109225189baa4416aea54 f89b8afadf4fd37c7a526959d4bf35f3800952e2878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5c0e078edacc5c944f795beb4c8b643ee0eca7ec