SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 h1 ttT ]/ RefinementReactive:threads=2elapsed=12.339cpu=17.084gc=0.552factor=1.387zXZִF! 1]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1K*Vly l: *ngrZ啦U~Wֺ]gQKw$My㊪=מnM\3XxS0ƕDA%l4b' Ե3iaa|MKIa`̟i84kEmsGXՍ2I z@[BS|"T~LrjQrl6G{gYZ7zXZִF! q]ŗXiɟi%3wJ3Oуq;){?p+/^Mq:)*W7PfqEϓ]ʝh^-iF)IB,br SpNqgYZ7zXZִF! L]ŗXi%;3:` ! 4ǹ> p~7 =MVxS7FAxEr)?j7ٍb/x~nG )!Wo 0aXt)?:>%,]Gک8wo9yX!z=IJE :v~SVJ4bY]&/rj_};CI3C ?5mHb?"i2e?*N"J n噬%ؔېwxO)ּ ((ռ>EN(|9^l(=@$PR{1F_VH鯆_g7BE1L<ޫpP"{r'mdmsf(툷M$•7P 'E7J_%NIV9Y/ !¹7cAyArfu(O-MS>OoerFSJ9l<~Lt䤛 eƌO$«\Ń^¡^VHfyw1^^1rg (;̀&F[ㄢ✢i*)h[\ffY4vb묩,<Pe opafN< 7xٞ+DvUioLϪ%Efsk`KAJ- zQF9@z8dMHOӐ5hғ|! AgYZ9ef2be0430357f42b6042b9c73c6148ee435a292665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 1 RefinementReactive