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 d#tL iI]Sepref_IICF:threads=2elapsed=92.267cpu=159.292gc=4.348factor=1.737zXZִF! wq]ŗXf1-/6vR[O!vې&-wT]ïڀ8aĸ!BIu!1vπ9Hqvlt;+$ ))˸'@Y+E!Ï59')U!r$hmcഝ+PѮ7KĺY>Nku&@{G}W$Ve[7GK>|E3k0(⦛*ޑ? BJ2יjqӋ kh8J1 >Vkz`f`4?߽6c T7P{KVvx2P֌Xv s # Sepref_IICFogK 'g(Fbu֙⎈R_L].!gxRHLZ$? .!w ҭLt*7.\'NKR?c#؂VHX壬⣀)1c$J-@l}z2I X1fEo=2Nߐoͮ;pN)s| o":6P)4G 'O9TbWX 50;u˩sφ sJ<5WGs" ؽGNTMm,/<߻2t.ܝ+(D~BEu0}4hX'KےqnuZ6lu},3 DFOwmFo*<ɢr;OJl"Ao[^r@~Cu]W o2[O\+ 9jWFgtjUH̙WC9WIO۲*IM duVcE,@tOFk r7_̏/*S4w JPR+Ox80,NJ鿏3//,%n \:9>rp-As(T|PlS4GCha7ej.xbR~:}Ό*2hv,ݿ2Tsn$J-7~jBrh9o{C6[.|υ0 rw#IsAEwjGYY҄-%0vVYm9+4Ž S*j~@2ܧdD]g Cefj7 ֙T!{cݦQMc 4:YcKA/ BaR@VkeY>_=s2Bۨ?ZF"FГD(Eu-`,8oqEMdf[80a֤[T1WA,t@([n9%J0F"G>(GL...߹XPn QLk/%t#$]9 "_h@L63peَ4/Vj4+_g wJ v{{݃²#51E%Ś2/WΡ"3ǰ䦵r^"$w#t/xLg|b,κ“ec.T0 o[k{oNKy)wmAyf`C/ N%8%cQȫYK2Uؼ,"4y.K%a N?}'|\4 |!ى41S{ KǦ#1SNt#1CKv E9UL8 >^jQ&ף bt <EJQf5cԨO ' -IpC~4ktt ]s jƽf]1 ˱gYZ7zXZִF! ᫹]ŗXi%t>%%Ux 3fͪ*0N )@Y `%ڍH<=$z7݌ni'إr.upkE/4b#UvYqMO_})&rjևR`{!a /q-SP+vQϋ |VgXTc5"E[m{x"#ߞt~EƙkIZR-C4YZwx;5Mí<ו.iﳟ90ƯyZvcI7,%tS_W(U  EP~GXbŸ}BT7ђԻ {崤hy#ȴ=1SE+ΫOu]#;唬UFbGpyRFjw3ҝ6eH]QjSv,G ٥5b8jsu.c7R+3ӊ:գ'D‹IpC2CUs,$0mQn\;jBxKo@Hg.X:rf]PҊ-`#7\cCF@\{|xn/K6$#Cx6UZB:PzT$xPp__uK;R 9OߤBx >q{q}y7 *C;1fdxaG(?N)xv19 >%I6fRJ#7[!w {)HPs%~z{@7_3Mmt= Gͧ; 9F@Ӧ[60IajN3Ѯ{^yl~;)D`^@i܏l]+D5X)S4<% Jx w`tL]L{iXrI!V#V=>f?F ڐ SSJzae;17xT]F<%HhĤNz-]mbf++cpߋwt foȵ=5eװ=I۪H-?8g|xh"I 't(h#7PeET aZ|R 73˽bsABp/<^ɷ,na\fhC #\INO7 %x#}S])J'.J A!~ItBDL3~;so5MʪxY5Pڬ%Tmh7d EMd44s@tJ)%wR8D!,zGx &;ϥOuF; z\?_96`U QK̶DO^{VVJl4 :&#܌N^Szb7#z̉rP2.y@&>Bu1㮖 t}1kRkW#E p[t#N}}z&YX80H&5z!0:B:](h-cs:Iu:C2#+T6-O6NA&"nvX i0c2 JMŠ0| OO,nDŽrvK8VE?.nr @LJ H.mf6WQyGKŝ_Z x%uOzz$ZkχP8E ͬhK+c(.gV\5Ǟ喢x*y寸AxZpj < ?Oٚ;&HEfsM¿f,uLu82 ؠ`vtqX֪wve?pc<"\Qׄ%|?Ѿ쮑Hr" wBv7yz@B4V@bV,1ry3bգrJ\cquջi-ҷc?e/?'#ӣP2Q{"1EˍmaϞ#B.6ֱ  ӏ|`-K20݉ms2+UbA_Ԋ*Fۡzxi^=x&츎ѳ0s(Db e^{vU|pLqpP!m.mbeВ&'d&H8 @!]ݥ!S<:hkk`,Lp+pS?*o뱜<4 pg~"ro'!b(<)92CK,iyyKu!!W'Licc I W&-ү+AşRPoVо+2`EY`\QloKGyQpSrr[\n$X]3u]&E-6(B/khbq񀣟͂'7(8sŋ*= Фu*qJ,D;O*8~4_-#_ 55\N.Ū#RL=s;)wtsY&!?-az` Q9>"iޓTgFB%9N{UضSF#='iؒ@'U$/?&(y`l*HzG;6Xvwp?"w¤pb %hʉw"/${=Can$ogBt8[ AZCGe-֌$]/eˣ.*LP=eI =luhߛ!mqIE2i!t)a4 B)>r=J"*o^5jb4 ;š"V'7c6DɅ(t-n8'c@S|A!"#ő5ɓ;᫸x@&,R<4CL1iv;궛g+ApW`$&wz̫o,|pB9RTS׵d7 |FU X<DVՊUO53\N*3ɡY,:# v)xXCkiwz 㧁c,lJnVLÑ*l:FR6w; P-G3&WA kWU^7yyVϡpʷ\,@5F>)So L6[hg"PD 4CbzR3'K$ USI6S6a|/ w]G_)81R>J_KT::X:yMҀŤ~ Ŷr/9rJ6q! kJY_!yԁ5M cbk6Y`AsroCa tBg)G0SNƣXTZXe_X(mXjƹ3-4lY +lhF=W]<Զ{ b֋e>: 6B h|_I*^f"ZBULPȜAݢ<UAyz