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 @9 4D ?/ Locally-Nameless-Sigma:threads=2elapsed=40.793cpu=68.636gc=2.180factor=1.687zXZִF! !S]ŗXf1-/6vRZBh S,Xf³@2AdXCϦr v0xçm_Dgme"AQ<4H1cK,Rqц&y$ok J\b &0B BN(`|eN?r6$F s҇)jK pbO>Dxʛϩ9ij'xddW*eB̿gp1mKFɴl$R{x ߓfK?$ZȉB'Uk ĂKȢq W^ICUZ W+)80 r`Nվ%o)[,nj2w.M"&7P 9 Locally-Nameless-Sigma]`]"r͞p.WZvvJi-bTFak(a$wG۔TUɬ:n'\[խ+]MFjj'IQuio/'L@5"ޙ&)q{b1rn7FhN-rYh_Ɗ@@)W$ݭ씔"7GNrfԶ2`#‹Nr?;iOZ ˴`(Qf]i)PU+HT\JSiB: ưϺFVA\ĐOb 􋃇"?-ou+,INby9zT7*ɦ*G F`D *E Oͤ@4n `STY:'zSj^Xϊ6R~ϣJ:jL- yuG.Φӿst. /-Ro!٣)U2l4^3tWieJs9~\id"&!Dn EOedNO=Я&Fw4-SXACKhGc]> tTotR mMn+Lr~8 ?h4#` ͧqwOź = >҅s %& 4 `R|A}v0F++h3H!-p`X#)sy/i]?v7֛ සN\LBZtsx@PC>ŽY& F ޽:sǩ45Knk>W76BP^:q&3mrvt.:ZC ~`xE6aD~=Q Icm)! %ӷ]s_6M~mD;Pr>ɯ ˆJs|A ~2߱ȏF EC}\,I1Z s-z1JH=TWG>XE,G2WYL dO?]BN˧gСHHfQڥcCa/}$J۹y %mLt]iw.@.L N+nQXu{@·v<6BӃGŐ%ihA@W*lǃmoIXiV& rNs1T+(N]ѽŋ]40)&rDcI+9":N;&j/zX/0ӔGg"³i<;6.AOR/ňyqo'99{7jݯrffR0WTT.\ZK=v:.E@E8 ƭ,I#VruME>[h)bsbl2%i? Xu4%^CđnJ+OV`)}Z؁A{D64 ʅ40^X-*|T Ēgr7Y# 0^E/ƤǨ+b'}ˬKhr[ RDצt e>6F'+=`{ m4݈@VOkldbE?˓P0~m?&_kGѐ= `*@\g;0_iirdeQ93ֿe;yc+YA'kE| {_ Uz AR5 }a 3:jdAj<3`ct35/jQr7U)k$Jl|<87Vv<43k޸(*eN/h`Kڞ-4Ma#kXt؋}>/Z)fK,ML z *#x =6 `@}WHd2/d-hM͎S-n`L`s<&ܗQ I)XٳV%C=g 7'_XwJOd,ʳqzڷy}I;lAfC°?Im4M]Nv~+x9Y8~6pushhFXB,gO7ܠbied?ʽOSw֑ Bī6m/́Ljl!AS>lRLdyμ2yT' SerlWA4;Q9nC%7otE|eP$:#0Ƃ7Q,~U}{9P֩2?R}šl \i(f{R>38MݦZy6usW. osЦ+|C9 rh^b a`}9-@ HeR#opxxMdev_>"Y0 {:Y|K6z0aqIT.~v3 ڛx; p$ ܅fCv)B(> yxy^PM5@lW>ּ4{A~W~]zrՕpyEͭ <_rGɸ0i;FOT'錭@%L* &y/zw_TugDZQYGNIkx "`j=cG)0~@IgYZ0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f 116062ed5af003f6bd0f6bbbdc0b0142a40c2489 15b0f1a6a9ee7c3478ef48924a1abf99dc709253 41246ba23dfeceda18c10ccebfc487802a40ce1b 4b0fe00b743bde7dadd10e2606e711412999d253 9dc84cfde1c9e63199c35807058844e22d99270a afcc5bdf66581be2de1f29403f2ca4b7ad5d29c9 c1648e0349ffec6d2726d4cf1c4b41ce6ad77c4a d97e0f709cb34e0b4d775136cc9411bef1621181 e8039b0ab7af59eff291e9002ab01c722532f145b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36