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  E/l| ]/ Max-Card-Matching:threads=2elapsed=1.590cpu=2.888gc=0.000factor=1.827zXZִF!  o]ŗXf1-/6vR[tp_S T{xx̺2>&&@r~0~uXjv?R`%`#2U-Wƶ?֤Fo}V.Cx|gYZ7zXZִF! NE]ŗXiɟVĻ,|WU9JpVFimՓ`+=̗aO̳}YZ7zXZִF! T]ŗXi%6SwUxPu@Y -1pr!). M0~ڹ;8?G$8Day_F>2 dcrH9nOl'&4_Cg=πBvpI 503%v=yp>1_i'd-$4cvFɭOg2At=H׸ɪxen3^>is5`Pe;re+<Tz34P{.A;ۣE2ҕyEz(ʯ6Z)06>V:bY|Ԑ/,FrJ|_r^=.+Luf iʒ }u=8Vdiwggoo>lfhU.PL 'yӽQv0Sř1.#:k- 996ς%~RݎpP`"Άx)$l!αgYZ41b46c948b5f39350f2f1f2a28ef311bd3eb0e97e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc / Max-Card-Matching