SQLite format 3@ .  hhB77#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 E ZF-UNITY:threads=6elapsed=5.065cpu=24.928gc=0.820factor=4.927zXZִF! _.]ŗXf1-WHIkWxXr:y?@gpIhmxKɃUȪDtDѱGHFx"Mƈ.,!ˏiK\4|j|\"׏x#DsMgȑgQʏ\YPl5z ?Dl.uW?ҹaamrɤ~ Α#[[('X=-/Ơ^MX,~ r *ȜgC{>ќ!ikQ` ^3EV;<3Z܂ ;XD՚7fmm`Eؽ!'X1 \UK,bWs 3xxպ   ZF-UNITY0}lX)Dx{mP_A n14,kkpuDyBd<"ħ |Kow0-> $J mzaU=So(XC7Q/du/4{ ӳ'=jxA{k!{Dlë#q*- ،ErS6!{:(e8`Iu~{S**_Y hl|װP#vV! Cz{f'8KeĖg> z8(?Фm =r.?N2i%jFS#ȋ޾٪4aYv"D[ |x8J 'Q.sa8ɴޛb=! q,tp eͺofzҁ8!fY-UDcz2F)$CnR$ Ҷ,L 8!ne^vDDk!I ~%D?S!k v:]-/9la2da"pQbU.$(戂P*^xXL9L|`730Goa#`pf8bެR^SIj.:Ty;хLϵ, UʋcUpmǚD)'{9IUy2塟=br9֚<>F]up'@g3[6Ң>c-s0Bxu5kS~gn5O{́2^P*ˑ1षCDB|ySo5Q)rq ` #u8^L7:KLxhyu ɪqS?ZAh5Q~$xu=#lm÷,l5XE,}A)+D@EڔJ("\w~Tt"G xQګF汢 9{1<,Ծs:^I=́{BHɹXEr 8>`׹'OVgυiv5GH-̠N>O0.5wmJ%m :{J,S"tA}KoT>MGRGA+&FO%" peu )'DQzǪl*Z)}5 B+> 6&cۃ.{l]엦OxZZ}?T װzl9> qikFHh _Õ({\3_h>LPhzI`@NV#':by^lqq'rL_CkA&/@I00xZkQӥ "ӭ_[?|9杄 fdv3wiwR)aڣczcJ:ީ~$8 |q~*(8(+n? `<16w,+aw b1֨mS+;1Fx>yv`2_Z7S !8~!T9fM,@߅p%7{}7? vujZ%P6w_I+x}t9l1̓Vl.5ҾX=W>fJ2ᮒPK`Gx4<|t]3SS\ әQ)I]1`0 ZSy lj4P/0iF!-&/F7uT,FW~i]B[(vD[٘,(Yu~f;]Kpw4N/g"k[>$)ts6^/gW /sgYZ7zXZִF! ]ŗXi%/¥D)k1x]'4urx 8v8ixt̩*KVs|l5qrf)Up~+9-5Fˉf]݁dmJL?Q6,`n C-3O`t HA,}^͖Ú "/L2FUB {EO/닍%}j>"LH u{kc>%'rU]6 L#LP$G41uobK[*%Afk<lg d>YǴ#p+qտL%sJ=m7Je$ٙ'⑅-?,"x`V)U`P`9]rt,5hz$KG{ Lq +TC5yvΪUQ̥#ALt0׍LBAX{T㉶A`823QhgYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f26da60ef6520ef6537d91e6ecbad474fabb66d986b b41eafa592cd39c4ae2f0cc3d4f7a8d031f33ed5 f4039a9467b11e0d04b601b121913ecf21fb40d8