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  d||T ]/ Marriage:threads=2elapsed=1.993cpu=3.816gc=0.108factor=1.917zXZִF! w]ŗXf1-/6vR[Cx# U̕Ũ{yv9 _~jbs1L /gR,$s24[1;e7:Np:9=ʊ|$ma=[ 0VLB|\FτpDfeA(>όcYv'8FIpl." gZQ#N y"H`k <'kVcZ-$L!ʶ]!VU th;'a/3fkXuIP,6f,_ZUH<<~#ꇈ<=V ґ}_eNLξlH8DG@U ,;xHէr0YT0"{ >EZw+kKELL4o};/48]3igYZ9b27edaf8ebdbfb437e38d57e0736f3a33b4f347273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625   Marriage