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/, ]/ Max-Card-Matching:threads=2elapsed=1.531cpu=2.768gc=0.000factor=1.817zXZִF! z]ŗXf1-/6vR[tp_S T{xx̺2=S6yKʕwBq $ڼۖd1No4:){=1oo4gbgYZ7zXZִF! NE]ŗXiɟVĻ,|WU9J1hy뗓$R0XY 6aO̳}YZ7zXZִF!  ]ŗXi%W~`ʩ |$0siw/3 h\pdcFᢈ&#kQt汷B:K~ <*bRΫM_H8`yL-."e_HwA2բI?!)8Vق`-QU66LW Fܫ4hcHki^%V܅Tyclm )}Ga 6\srR.B8% x&cR7z hK`W3++G"d(A[1*06ìƿ ІN@Z%DMaƎ@%OP&/@'(qG?>=O\5a5 oa)3UӾ Q.="f|jnI~nJ;kwikȮ}˖Ӏ}_J'km`R㯚D*x+e;IR'IK$su4@)_4vx(-!]s R B,^SxY "-FgYZ36b697c6691a61280b9b439a75bce940ced2b986d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e / Max-Card-Matching