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  o o|T S/]Marriage:threads=2elapsed=2.714cpu=4.852gc=0.060factor=1.797zXZִF!  v]ŗXf1-/6vR[Cx# U<Y dCNhtvaYg8ˉ*鍈n)a`i~MOcŬ[i3xMZi`{([Τ٢M[X̳\.7_|W#N\g^S4S[{}$77Plk )<c 5CNP@]nA2̢PډVeb r`!4;C::%I"!}5W 6,$nWBj=U*)5 G^#I#WڲI12}dcnwILIYlUN8V`@gYZ7zXZִF! !]ŗXi%n8%A{~rEk]/R;L@CTeqJ9En˙U\i.\Û[|6XD&e9:aJϋqGz@$5=μBGes G4ھOښށj&z6%_6喛+oIzy8b g"$L}L`< e8=-n+. 3S-9<5`aܤF`)ӱgYZd935082e94f9aa19003a2467cb02ced8b8a4c150 ebc4257a9aa7a5c330a6b8083a3e451564d7e130 fc6e402b6d3e0e415e1f7c1dc540714b270f58ca fda2d9246beddb1d75ccdccc1033eecb3656c0d8c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e2948039da6746541402e00b69f98567fe76f9f36982713   Marriage