SQLite format 3@ .  hhB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ) | w Binomial-Heaps:threads=2elapsed=18.728cpu=34.748gc=2.956factor=1.867zXZִF! tGy]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dpFyrm M8,҉`_L%!|r] ]|~&*385BR7&@ZcU\ƒK-U;2;,}X"vKΥ9lW7 &"kS;5Zao&ԏcʆ>H̱!X̡A/2w~ ) Binomial-Heaps?;. qԜ@W&S3 츱۵ ABmbPvyvkH6ZWcLD9R gT+G7.6x7461MJ)KV6~ּ7 i!кԲ%.LtĢ,ZW(~S־_Lxÿч\6^2v?Hm6KW=6c5}'iV$hOC*$eRύ}P~Xۤ0b]۳\hmEufE*tdߺd L W1 ;OuM `k4Ą9 Pa?ȥIL8f:jƈHs(foT'h[bU/Cjɓm<~G\xMaˤz#ϡ# @t@uC[RGoLkٞ/~'@/t?6F JH4\ ?@1gc2MNT% 9O1L1vw,zKNT('wǼ2#%!s*bK+3 oCW]dpAZn"l-&Kne_ |!f v$R 8샕 Hudx<%l(9v#c6an LrӮwuc!=N+y{I n-gv5]%=Ij$t8:qz?9{} hPJD4}e. P{#`&Mt 6ɠ:6SN7:r S}^H W|^=PyF革nO#3J7NT|тD)#rGdtt ].9 KM b tñʿVLGO$S1+A:h}}X4L Y ;FQruj qpQnb@Ƣ mFm)5i {ȭKf_N˺jPB1+AFeimޱgYZ7zXZִF! `]ŗXi%'Gy 'nAcP'&n{S6^ -Qg߰{!BlbC6IǦGA?3DCɣLQ>fڗeXo [I$ӵr$A%rdT ΥNDO;hQj{WX-vp?_Gzbc"7I`Aخ[p7b֫~3(-gN0(sl鷉ش׽1s]=Nl¶M:+P:̳qv2G#NVU4C n"M u6ѫtYS蕪KhDv 3&:`Ђ\י[ExM&A _g3^qWLT3Akl#!+CG\:9l-kտ\»VK6|czI4]cFұm|vBDbA{Uߺ _~Uq GC6ű!R#菣AGZ#!Oz ߒܠrt LDo"xBx}-: vЂK'*E(pXSU܄:~w+PW>roX+>\$lj +:}~Sj>8aKG/fUA ⲝZ/ =ֆKVh\늢1ks>?'j. bsx *A*'JMYxld88