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 !!T9 l4 ?/ Locally-Nameless-Sigma:threads=2elapsed=34.847cpu=69.244gc=2.580factor=1.997zXZִF! ]ŗXf1-q恈ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зʂ;/{7tzj#]MtYTqwOnVm]@ 6=eoxkRЗ~߂pr:`|CcqiD-|Rdڂ7]߁>t!q7rJtTn,M6f:wmY0+ň7_B^$# ;\pCxP+OS$0(l8NOgx҇(re:Bqф"^p/{q'Yz%g E6vU!@z|Wwm̧yЂ ?:Kq W~nrGQևH,Ӌ, ȟPM^jpf S,JGc~.xȬ6ß52m}Ƒ'qNhzf*Kgz27koQj+L@x,xpȎ6۲~z0O49 7P/ԩ#+ <2A@::ga~x/ǒў -^{S\ޓJ˭PZl]SX~DyE*NCu5eH׭iU"訆fie+S^LH jVrd'~n]/- !hW`P$H^QmGX$TjՖ.9M6[\hܕdH.K;;yU"\J -RA݋)0aBIkD |-v Bil }sWȮƫUI佶Y TCԂId046Q҂XGHOهyGDB^*߼Qgt73Nz Au +I\yi5af$zV*} b,7[Kd2U#˼:Rvx)\ .3UHo%,{|(~ ;[08?VIj>[տn;SSs4u9}'S$=\ a__g"ݿ?>M⇽rư OB-JCсHr q'8K6@9`:~˒b3ϋp1x)nP-_| ߏpi3cjV{CYe?j׉Y6D΃o~kSr#I?/LP5TR  K 6͠_ZϱXxHj[>[Μ߀@HXWcep4kJ/cg`9h%CJy鑨7as׆4YYE45X1'hbFf,٢~cʵ_R61`y|MV!3Pe3X {6W?:0N2b"䟝1Zl\k%OyʣyoiD[ Uixu_P)bY#<մ]DAi9ᔩ1u~;Yqnn\F2 pFC>kԨiEaCp0v8OO}$t Iq!,BkatƮFv6\qVh8݂Ccf(4̅W7%y=IVNn1K8ZA !c@yv@ra po J+EH cK2 IQ' H YMO5R k#͉iT)|({Ek?M=s [А/S5VźP yuFˊ]l$Qcn%r,xS%uhBvr}-2!xPAG7_{QR dBBI540> @IؚoFKBj>6dh&xY`rza,k,AI~d^ 2O6e6i3)=oB5QThl+CB4x {1%2.W,6R%o*xwn"W[@TquT^fGK\OZfLUxJUqdo+UN/Zwʎ59?g4_3MRj_@d.&e2v 53(\4z2J\=6 9 Locally-Nameless-Sigma7=éDݘ0WW-Qyr[`4ho%8ER}Ǐ❦"݇#? X`d:WFrZCX\ eKF&|A]_iXeRX7-)U? {>nޓ x}K*5m"9Z -}$~~orbI z6S'x ChS 5@iTb.))}}$~wB[X4V!]ìUzE*p:'YX& ~e$X4J+~ 0{9Rm w$<OGznjH`s&n"G7'ٞbSm }䣹}ɺG~;* !Vdt6̎Xh%#3oFf +4X wJ[Xq3koˇE㧴+X\]lk+`RJ .k96W}!; rZ!%Ve@Wd(#W+h*#4c#;ޣg5 Z|yVW46"G6{Ԗq6{e#qH}5%Ϋ,O ^A].V"t-0J:^KQBȡHRl}QWuy iE=q)leRZO'w f|Vn 1gjy+&ɜ޹TbE54]c856?T楒G&f;ajI Nԩ?-gYZ7zXZִF! ] S]ŗXi%!U5ñT-s`!J0!^04{l0_비}/(}}cLxkݟXF/p07G{ܭ^?l!ɲvC;+LXNkX1_: q" Z"`{!e(s\*JT|vx9>~-4F2*4V(6:wP-A/"(&2i=NlvV#> 24}ɏ+++56!&fkLN). قebo;hkD*¡Ozi.-)KR=mXIB2.;<'+2o*A- ?rN fnq2- N1$[|Xdh..H~^22?k8 7 ?S"TY [6{W<"|lˇAwP0,;]ҩDU+=JD^Iz,_XCNEe+AC=Ba, p%Pfp5qq w)F9Dn8NFƛ]ƉLKL|2ЊJ-=0 {X A9Yƭ>+ 鄽X'ݺkȬ (x&IB4r~љ0_42-IV/xKݴ@yc USk` 天NZ?Fdt3 (6X4p kPw) p=1Ѿn OXeʩoE8} ǘL>Ƥ)VugH;LmĭuR HɃ6Ãv?qKQIhBD!Vё%aaKnxo6rE :ZEy /~ 5 ,c֍%V]̿v!x7Mm!D_9m<<_Wҥ'}w}vX#{x:!xG(}+)Hy[B>/#Uф>c~SWQ`7GzJ=-,#V7e<\Yo.!6{c&ϚmIߐ{x,ߛT 9EtG,YՁwO }AI  C*A+dM[`>)\Yŝ&\9T gNJ6!2N$sFIZ٨Ꮱ-_!87lF:㿎. ?~ȏYqn@+{O 60h#e/.('m\?iNS'Zg~wq $u [ϴQKKדCIﷰIgWe걚f'~4PsbtBkFE Ra-2C D5?}f$G%)>NuÞW ^f'9{QP -_} 7<еZ"6wsewwұX\FA xc6fubQX}'b5 LP.uv =N>%ul A 헰V iR/s瘯PmUj71$SQ xFU󗹇5q4L`Pxyrh&k0.$漞-/Ytd!dG3v% J54UAi▩g؅S c3$0$&>fl>H!dɚ`8~'c]f pAdW}U0Rٛ&X9\]|pŵHd N˃ M޳#RRK > s"^RggYZ0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f 116062ed5af003f6bd0f6bbbdc0b0142a40c2489 15b0f1a6a9ee7c3478ef48924a1abf99dc709253 41246ba23dfeceda18c10ccebfc487802a40ce1b 4b0fe00b743bde7dadd10e2606e711412999d253 9dc84cfde1c9e63199c35807058844e22d99270a afcc5bdf66581be2de1f29403f2ca4b7ad5d29c9 c449280f95183e55dec9ea91e7bf8f1f5ba47820 d97e0f709cb34e0b4d775136cc9411bef1621181 e8039b0ab7af59eff291e9002ab01c722532f145fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700