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 -]Nested_Multisets_Ordinals:threads=2elapsed=71.225cpu=125.464gc=4.632factor=1.767zXZִF! Le]ŗXf1-q恈͐7ӺV 8ʌV]k3}; -xvceE^4]rczi 6&e&ݥ)cDuDPȶ3 KxQڠPO2n҃`>;l?̉ ia~,dXU^t&1?,d$D<~ޘZ鹆IJX1q&z&1lhi\-p5>kbl=non {z,H$"dC0C_`$2O}eª,/_;ْgۃ`8l^qgzUZX0Ôy5:mAFYUM_vE kCr-#D\TzTz)?i/0GBelR}\;ȷp8o'C= xom1U "./hjt*͢#4$+a0  D}kDeÌA y?^*5 "=ȪMq χoE-1(k{ޥ|^\omMv"5z* V#ZiO7_antH.0cLbXM >4b &~$(k~-9)\{N(mQttmQO gcq•YyAZzjEQ)5ͯ8Q-}(/$4AHrƒ.t!2I?C^]@"}~I,/ Sd0WqW3g6y~b4Vty&ƳV-ZFON O#yEXKa&4[۩>\/\[aN첖K1 ]f^eu{cLll q HB<-L;hۅ| ⌴}m<_v"ݓU4g`RgDֲ#)y#dU2gl !0Z,[y6O*:/w!_w;zɣC,7zv>3#YD_O~lXxwʗ EQ?tTk vkIrT/lϘu&/@g7?-_JkDL+L+!1wnϛ!͞k ~c?B n]'ѱf{ (E敥k1^PƐraP +'ҿ: ],Hqx@'/ҵMZ DmɺWóTAzF 7)NuNfV|tμjR@ XEȤ+gONh^yuf.4Ʋ15%#djl]U#6d#ovW8lOPDOYͦo<9 evԍývoWҚL]ǕEDtTOr"?X<Sʐ34iD-D䑥Pj3N9=bfI÷"DkjY=gYZ7zXZִF! Y+]ŗXi%6wB /UĀ 6ᆂb3lQ/i }0m}w So⍆xt:_TIl|lwv͹[: Y]$VE q!5M VK\$q&f eX2.\>\4;? ҍ֊xiME`էo!va;vX8Â0~t +D8P(ГC-+R#YѸ m~fd0&/_Ҡ3c@U\y#_H(0*fEyf6?~pJT_:p~dy[Y4,o׽r9 獎՝`2aܜy='$ⳛshKiPF5ИDP0ɻ.fageE56jMԨ\ {+W80X֠}j/ 9K]oQ4BWbsǞf!^~o0 ')4k+?!z쿠"jzl#0Ex%QTK}@ڲxb \pk)ܗh*Ok `F ~Mv y/='s!8z@ɮ wq .!e;̼ڳz&G 0^X!i,ϯ;MkRPW⺓݅:M"N(б4ќR򲝡`|˭:fBKGͱsc1ma<*Ol9 W0]kid?7v.bWMPfMd ䷔u!S 7fRQ˙߷2m4[k |1"%O v ^$U@}<v dc7]Q>7>^z?ށeg]nX c]U>%@+gv72^O젛pz.Y늗}sww`Lܛd c7ҫ&G`b;P]=u[q[/xaՍCz ?b 7u"3cAR0)A0@4va{FywpQE3-岑WqO@qkZB0k# f+~ #}FB8dٻWUP&#"!`BVPꈢ l(bђYviq2Q,P;fG[)zURŕA=zŬiIޡC-L? !Fqyqv %?£ro!AJL @#x"$8iь󧭉aȍDc{*w;t\nE q&dkS^q/3IPʊ+5v͐6yLjà3tyeVhQwjD `b٦]9l2LmRr%\W/S,Hb|%Ilt^=EVOUqfDtLwЖKHXLF3 qLxhˇo; gHwDJ-ڈk T,?4$heuZS|5ݼӠtFCULor`aě/dd}  .T)!w?>۬n}䑉֠٘[RQjt6X7V(nlsՏӊx 5}B. )fkO")r(}W n=UVo*o[61RE:Tf&WʁFP2BvT@[!wb~KKK@8 b s& qt袿Md|\Oy Bn7