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  t7 $$ c% HOL-Quotient_Examples:threads=6elapsed=25.175cpu=43.680gc=2.268factor=1.747zXZִF! J]ŗXf1-q恈N/|p~p%+)<}{5ޏ̫9:Ke5g߯ BR]ƿ="!,]~h`_萰zJ(dYNY3d#*"RѣӪcbM_Uv l/N0ck#7%&𾝇?*:mэTI hH2T|Z - 5ӿ#Ԗki\#լV.5d A<xRd,L09m)5P aaXT2V&*DgF!#h&NU)uZr)/Z7k('p8,-rDUZ@& 7 HOL-Quotient_Examplesy]%s-éR6lYvv|!y#=% 4a59=۸{1FZ *#lX/BvCGO;b^@\a`}~vc5w8ݟu@n6{ 57ہ+HUyD d֯b4}m LJ MkB^6_1&Ш*S2(#P{1AuE1y?dm6<^GiW+j| 9q0!!™^%hXGM/,IAЙMܰ8lsJƙ?9t5:u)(΄tfI[*{Ֆ!j5gr;{'$)P| ! 5~:قۻ 'ѵH[s7sիE͍P Dae<~)* 2O1=8Z+$Ѣ-i٣$?0ӑEHZ6x} bDHtѧ 725oU, q5ᒆG@+UrB̜޿ID!3FdjHA(x;/lѲ0W ,N~ý 3 ilcn(~̺d:犇^ZK} +2 oVsW IW:;elUUR2ʀIqRS}bMꟹR|DJ`cjxXh3fDc%e^*'6 ִV05p+Owf4 }p gFv:Hs.51re` Efq]T"f) ^ey7dd( '6+dNjaH64n0XzpNT3NˡMT-iY^m,s Ɓt й]Vr TdU>bx8d ?[ `eQIz:PDY=W,T^0#:?J+<F Js=O r6{N_8@ƞgEERj.FJ׮.Y]S-t, 4.K}6κ j 5X_KxE>Es{րs-=#iv!)K,zg(*Xnf8Ɵ+D:\wPqm2plOڛ^}vYcplr29ܩ_ܱ0Ҷ!?; *w.9^Wng3dB}#w*iWp2m?P/]qh=*K%A !ʩBԆCxr 8ͽhz,/ôᦳ2*Nw@﬽֡26AJ;c Q[]Ʉ<V=p%q`NSF9]_:bo\s>$O5˗̈́zJ7ǐlye5Ey.\;, \=bNV;&4>R!e$st1LYq i6,$ ׍}4!DZN^J0h |1?">kC Ӥ +p%3zJc*HC}h=)V!WĤN^6[u/qN FɓWָr796J^mG g mx=7!-.MOA9T{0x6q9'VjS\^N RVD| lYAMUNn{ې5% C%6WqIT13,rP ԹbZޢ~C0L$VW)& &pEW$\sh|#W/aQ\H-Pxq93J`7-֜6AnAj,;!qy/5U"6<Djlp&WFvjfj=(H,ib d!Hb?ǀU`ʮ8WuP>',h/2ʒ B?gYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01efd236e8aaa6107e7fbe24dc74056d93851977f4f 47470ffc6db009906b922ac09f945d373860e313 3d7acd2a9fa6f5f4ded89263b6ac460df7738499 685a96e3835eaf57b6c48580534d5949e7979f95 c8944facb395c03ee628754dcefe55023d62cc1f