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  p+ L ]/ Card_Partitions:threads=2elapsed=6.928cpu=11.840gc=0.236factor=1.717zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z2[}qN 8VO*_.iJE5"f Mz ) 6 QNU{֍3ĝjfV;b_~ER %؋YH@* a{|mCC_{u f @R0ChU}QPTYA{ݕ`\ j?І:IǙ7!|/QNEe\:93 %fjgYZ7zXZִF! {]ŗXiɟ1˦r!cHkMeBd4c.~Ыf4mN`cbѺ4{#<h .kIQx%p |qlї'_I6t4;#Z^-nJ) }:?5AvQao}A 3|r8mC(Nệ=~7q"q?CX\(%Oz0*q32Q--#$F?Ĕb֤7W!\WZ TIЪg aDK['z6f{¨Δ]7-=^QvWf4X#DG[kh-#̞63$8r 9H23P-F eQhTHWwgH7ެ ۷M񃁀Y/x-`Ca|g4|0-bͽE\gYZ8c6ba0b23299fc967662f1346e51240abe45d9d0f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 + Card_Partitions