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 (l U Circus:threads=2elapsed=56.637cpu=108.048gc=3.632factor=1.917zXZִF! /]ŗXf1-q恈͐7ӺV 6 hD;V& _wҼߟ=\ 3Tջ6Ic+ݟ?>YU}˩F(FY5hEZvϢH"'?)#@9;vpu\J`EqnڑGuXץxOxaa{ ^mW/e3sYmB@]LV.rOtjlJgOk[fiYuGGA n!Ɇf\{NjK{x@2֖-]orƇa4~f ;!Hb>gd%K!ظV&{5lָ-F3Ath1_IȾKaIy.ٜHG Wg@[2{ij̘y zC$A74r6Xu6k%..JG@d06*^Wjx$NHсqX&<{V QszX_/34rTTҬFڪ@] k#W{ELkNr\5d;CY9l=WbK`nyXӍ9D)gč]9ք*A\,uGe8V    Circus/sSzȬ"` x}X8 ?H=g^ ߠ 2/onM֍bKN/Q702UbC#>;Hx>n4|O~/Ah#s`{=آS?StNR5%C#SPA<X(;C-rVwY@;n%8D]E~@yNd<lP&ȉu♇Ԃ?~4hVgvNl5fϗ`=b1f \ qd  yNN}9;=<$;IJ[ݢcF>t`1|F5 !hNM+V\ڳ5&MU*@L)dstlʑp5] Lw30c .}pM/Kƭmj}Z唳ڀTGus!oϔسq,1QJ&mqrnoA>ҘMk_}~,Ji sTaM7v{J[_`y~~ߩ!ڕ.w]$O %枃] F-4dXTJ[  jEb*bd#[]HKb:mDsUpy3*<-jW}]5bMˍe.<3|skd!"xh KYw:7,I)=M B 8oetZͅё8"( %t>DؑhXuծ ˯ tBms[9Tbv~ilX,tc$'VSt=k|Db?%rY:{6St-x>%,[ILkv0M_.7#K'CTJ=}dtM 7 خaŁqF}דi{z!4v'~0>  LӇZHs Q 9k)&aL'n>T¶eUi9wS(<z&(L$P+~K9f]@"2\7MIp;M8#ܝ?(Xl 4_ɭtKw*EYͱه窲Ihw慍xN2>&"uG-mX|͢2kJp3:)Qh"}qI+1/qkhWѽKvݟ쮯$bĩe9+bYܴuTaU@e*ROo(t< 5.Vל:{}\~S%jIˆ;޸¥"HkTK#Yƒ}|0UU'c-JKJ_ؽ[d^&2ij'YK%R>% MShN_41d]=ULn㠌g#N;a~V@"MiQZL#80Ǟ[ۅ3Q p5Vw[?!/&dRH-#Myb, Gd`&FjZٟ>NruZ[, rAIdWPENNp )vg(bG>!4 uݽ,^y[?0ܛQB_ǒA(eZ}u,H]R՚D:IwMZkmGzͰݺqG}Mb'$Y\a->]"t4v 䎢duP?! ꢂ=xTD8J) E9 {5Y4\f9@_CN:Ta %C# &YE 3 V3[習Kɿ ên4ءwx *gvmzᦝ<[>~*J)dhCKK;gZ4#@C 4'., n;\*йh 3n{]؛@YC9 f#yȮ}HCWKtޓR,0AI]={u-+/tPЀ1\Mww{#r*&_X%M,A'ͫSڲ)-34~Ez,z=K<,.&wRՅIb2> w!OgB[|\aZN(R896AaJ:E1;P]2ϥFI\rZ;F;#ν->PZ%tA#">-ox)hnpC7fRhZp6Y$hk^rq01&D32qi8d?=P)`?㋥ZF{*d z(Q>`|Pw^J|(ȎKQri!ż;8χ 2Q3oU@Zz$#d Ì}ܓ#s;ViZ%̎ @5V]T|ZalhxAqZK.(8 mYTH1Ѐ> :Ng0Nf4EtCIh.x3!kVfL9D}_卿RdC<ߩ9cmsDOq7۱"Ҏ t. Oo7%Bd>x8,߫fGt#A1c_ˏ~Yߙ vB뾡ߤO3tn.UEn- *SVvGi~smaZ<#2{0YNN=f}Duy^l(!9[pr~jmDCbǮe" v ;aSŠLJ2xC onaS ĵI6eVނB3v$BBeq.s,T>y>,:#'C3Q)|*2@Feh) ]5XvAa tn-{agyX 8V=4G|z#ib_ f3Y;&6)9#'! B"|}?j9ǑACqS/ Et zwvڠ%9Rit jAf8*wIF/L 4N%,k\xBkXMhnR3?)_{oC<ɒ 5P՛.rjj~YOQ'k1CYnD ~h"g {@krx؞n%ӽ{:#$AR9ɪf֊W NJMD96n.YJyX$ >{Z!:Y΢6`](~t3 AϹL%|+7@uRFe@0~HkW7QGyB3N{X@f˄@ QSh-axdOYYeS~(єO߲)qDFOkpgu;$,*F$tע̀wđ.X"p5I`r >;V~ZIOMˇzE-O媫a-&3qgy]A=IL*۹88b[ f:WvU|nYW;!x=HuNH(FU]:t$r6KA)w5;ZTQ ;{ )[J jHEk1-O ݫD0yzM[L9·zaZ1y:Z슽гլgɠ%mVω,E p v!WoM)`+3QMx *riõ(6P;to䓲Q5Ђ7"ғW!9 $.(oSІbqf1 e燩 @,`mT7A*gYZ0b8efa224641e87d41f0c2727293eeb43ce36bb7 0d6b672236d9a500c5d297be16750de425d5f2d5 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 f4e7842ad645c6f197a109225189baa4416aea54 f89b8afadf4fd37c7a526959d4bf35f3800952e23b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd fee6b67a2117e113ce3f0f6ecc4eb4c532964f2e