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 % L4 ]w]Sepref_Basic:threads=2elapsed=21.643cpu=41.964gc=1.684factor=1.947zXZִF! (:]ŗXf1-/6vR[O!vې&-wT]ïpܐ YW  mn~,GNC6  dB\'Kajc3KF9 sAî:NTS6iLF=Hr'!deB}pጯaAIؼV/4hɽk1)|$j.s3rrCU0r +Յ.H!lz"ߘ؝:B7/\= {([?f[D݊ ޝum j犀Z8f=u$|1?0Tz: {f]wxB@'_]6L3+ Z!G"Nղ۝%8d*8N|Uzy9Q5ΈJ&p`N2 V$v=:h}U7N fEDZgT L)d,Ӛ4#3a`yr7H1J̅I"i ꬺgjCKuʫFqqEb޳O@8 *Rl|d9UTtQ_=io g,-m+C}ŎP$HgYZ7zXZִF! e)]ŗXi%6.Wi7-nd_,_(C}Dԓt_LU`*!_@Љ{`٧<̾mn5+3#"xp>Cȥ{XB9wvR5('())&'4Z+0swT'5ݓꤴ|[?Z{?|-wxGUkBbA*֗z~VqSo!T>3HpaȺvkXkrtzQjXpd,;Oz˂M#<4 ϊg!`k,驜4ntM7cL#6P#䍟j'jTSǐmz&?#.ZݐX1JJ8{ޡbcgj*9JlҦDNOY5mPIdQ@~/"rRV Ų:0$Aԙ7mLj!M-wR uT=؆HPϸEQ A4irslU_߲ށ 4.64سX|E<&2[ Cզ;W@铿 &6gYZ5173c82c66c214ee833a5babb803a55d9c74a3fc0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 9ca4f7fb74afc5f154b6303d43705022aaef39f0 cc1c4ec4fe785614ffea874c259e7d17f07d837b c5709c5c0c0f9d97b0132db50c50fbe787c6c910 2e134aecc7ce67f04428bf881928133d610ed953f3d3d65c2fd2051762980e8d8bfb166f792287ce % Sepref_Basic