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  c cL S/]Marriage:threads=2elapsed=2.876cpu=4.992gc=0.068factor=1.747zXZִF!  ]ŗXf1-/6vR[Cx# U<Y dCNhtvaYgW%i)h;C1VӵefEʹCРtK2$4(j%^o'@S5[XV&gYZ7zXZִF! J]ŗXi%}qzmuсMS@6/39cQQ7yZ3_tT2kͶyO.Wv~,< 44FO8@&Dq9X;lC&h\~=RyU?`'iT&[o;yǎN&A^ b76:F=iWgC;"A;v.(, bVEDH_E>R>7s#YP4Oﮈټ5y۹}01 IkgZ2cT5i5㲑6z+`:{xxڇ YXԞKSXJ @R2MJuCQd@QQF(!HPe} C'j\,̱1s;gyA/1dVvA1yYg#.M2gYZd935082e94f9aa19003a2467cb02ced8b8a4c150 ebc4257a9aa7a5c330a6b8083a3e451564d7e130 fc6e402b6d3e0e415e1f7c1dc540714b270f58ca fda2d9246beddb1d75ccdccc1033eecb3656c0d80ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f2fef9d75a8313af3f5a06d255ce6a266ab30d498   Marriage