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  I/l ]/ Max-Card-Matching:threads=2elapsed=1.502cpu=2.672gc=0.000factor=1.787zXZִF!  p]ŗXf1-/6vR[tp_S T{xx̺2>&]!-dN1Udz-pAA0\V.~:}OF71 h\ /1'L/agYZ7zXZִF! ND]ŗXiɟVĻ,|WU9Jap le*|VYќo4`q`O}YZ7zXZִF! ]ŗXi%92M!A|edy.BUn439[mޔSJ5SV#&ފ1{(%~*(qjMi~nʔR#|QaZ8Sd ˏ;_q#scptY\RTHCz+HbL{R9ouW50րݐ7F 2aQG-7z5'Bl!uUX|E~>}7s{sA ` mR G-~JT?*7^OHwug 2F>>chiP -$yl 2ٓE5ꖩJSjLI1JܦcZ_c"W{}_kz&:hv ʷqҎh{c"1*L]$EΝ}]'!Kx/ AYi%l4\8 9Ɛ R}}`JB$~l,]ȹW2-A/gYZ48dda68790c0f85a9bc07c09b22b9e3bf620e54b02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 / Max-Card-Matching