SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 Q1 Dd ] HOL-Metis_Examples:threads=6elapsed=11.803cpu=52.076gc=2.668factor=4.417zXZִF! Y[]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ћiwvIp2/ 98qTuӤ\۠[\1rVe NNqƂٻ&ȯ-3/u# l/Ip-&~&c+k|_ 3ajlUtlNGتWbrjh3v4gW51H)JW/gyv@OF\wx6v`'Qan7Ž, !3^8T<޿P#Aw'IpזAqP[=tʥ<0(1qm~"g2DDIc ]ۅMas($9y'|5 T3,o8ڍ~Bki&Rdh{ÅjiN\Mpl ҭ:kƸ*4b`r\̱`7 E8D0+Χt[a/7 oC}AiJvvu,b|y$ 363@A&E)eg)<BH>=\'7QHn@} EbrXC+{VDo,)a.t9ڰ#OzsQ(4z+kLz|Mz] kR|ؒ$ -n/]X:4mbӊd4 9Xbut[]4)%״SJ}>>q_K?0I6<$<c2YAB-xBaJ38N޽'ƥ[esuHE([XȞ۞X&a-qgW5Zп8W%Uhwd1>o9E Fgϳ<# Lc!Hx=;wfȝ2Q O4iM5(ȁB ;FzG1&FDS_U+xz,_;T"qQC'*C OMF~Tyq5E۶^XZXeqh8%Kq\rI 1qq1E& Vfz LGƄ곞R3Tc"aĆPdwD"x}n0=Y@)h~ytv2\M^5T2K4 իA):̇e>r=p/5{#|VϜ&b {tUx+vy^iHN-tsފCJ ||9n^s%3 fwN4wgsX2W{ebx m, Uጹm;ԫSrXUk{6+3!NFr#F 9|IxJ1"Ϩ0ڋ'_FbIZ"ZQ@ $uMH6S%-@.둽m:om{a*{~[CFiҩzh/]uVNB{%uI׷Gl6 aK=m|rKzuʹl\1|2H0]ԍ}mn_!]}}߶}Hkf@|ZVL$"G@OV&$҃Q=28c͍|v.PgiZ`"ZV*,̎ Ȓ[J!2Xw|_ey[|LS *t9ԋF=|Jv75Y^m3 ^9IZbR.w{/[U:V{U݇b&:R@x]KQ':J@:U\:eNpjq`}bר sZ"zW;? ;(ecRvk¢jWaz 154]Qd鵅ʐB\HkgIMhTu.<Tl7fE]>VyiP߲<<lYϢFr>'1}Ӟt7P?j)VIXds⩠#cM+K7WwH$(@@ԭ!<{sTR@"}|[r;2*fZXr55 yk%aQHy0?tWyb^ Qmh BY