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 a) \ ] Binomial-Heaps:threads=2elapsed=20.860cpu=36.404gc=5.816factor=1.757zXZִF! ]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=Urɹ=7, ?| u ɂ=/Aݚ+W%jtr}X>=7s؂L8S'}/L1GXW5-:щ{݅^jRޤexO‘E"~-g%HXRFԩF/̾6stp Wk)?9"yWt_q(ۤ S9J11c4uS7~VKd][$DW}RꇫFAZ1-If4𶁣}$\)ft}򊺄ΘPsoAg]tT-&m>G\_ndVB8~˽GX{qdA]ь!E92Np ;:|ue0Zcp࿏adH_?a3pHy$T,tT FT8)򓽛=yZ LOKCǧ^lސ5^ID3Mz+]zWǪ H5JaW(Df W?.L{ٔr]E|,Ey.͛hm5#iN4dhkg$VE׬Q' ~ \A"%oDgNdE^u8x)nh94|J\{y-M+'tX,nl(嬸rSL2@afʒb`UDx 1kZ ߜ %6 fi( )8?hΐj>"+nc=$wHOMOMbz򂈐hT`?5b-}7."t;-Aׄ(*ů)|!mׁoAmmsQ:մ,/yc牟4D&=J^&zpyF؅ƅ>W}rauӾnJ+[S_V6ӥ缉\:TSfk\`cL;l|=%:ɗKP84W|t1Jwm}QE/͏n5Vűh3/Z:#1Aź.o**Qt%巗|C h|-4p:t=ʹSVv%u]`oۀoufU2`m})?SKj/|>CD=lϤ_;cwL X=-500XqeTDP8o1icLE)U !$i[21v2NƸ^Հ&R ⎋{m/[PBI±hËN P/`1aTP_6Tg[nu ++K&8JIAUu$b$ %j6xsu Md.sV)dqy  gYZecdf0f89eb5ff2fc5af0dd2c8b932717c5676e5fa86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039 ) Binomial-Heaps