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 k D| ]/ HOL-Hoare:threads=4elapsed=23.818cpu=56.732gc=1.628factor=2.387zXZִF! &]ŗXf1-qSqjq[N),:ʵ?j*50].Zq١o"^@}gӎx_BJ圩m>wV]*0";{Ųo"9{W[;&7˥&f\Xevi/]8>18A ^PxS Se]$ {1FEeǺ`Tm:*ˠ9hpEPIc.}"{fJݱgYZ7zXZִF! ]ŗXi%B4X84%'0Kh3vթ[k&),NGw Vi=k-e,P֙03~gJXen29C]wێhmƲ?I(;]YT,8|mᝮ+ %)k kaJ%_UU4m"'fn2_3\거 |FBŦ+[Z\Iwcԟ#{eAMi6[۬LpXe{(*}AnCLL d$AӥSr̜A$ q~ nɎ꛴YwA+Jr2C2@?\`V&ׅS2Œ)ƥAE4՚2A_xϣ@ X]d~K7+' V wq!QiAuͷY!PŕNNU*y9v"n6̓[ɱQ9_zׂs3x ݔ.tC'/ua}yEU%S4mvCAHv,5Ro4ٰ4T) Y\oK7UrJlxhMk"~nNQrA\b̅)籭>w3D *n0] Y,59bZmH} D8?z #l㯴ʰPK vE5GAiSe }뱷!}>`K% ɽ6.x5zDTzIREMǺ6byrg=%0?-H,K:i05}LzO"*I˞Q̀Kˀ]TӒݼ]Zٽj%؞8vvHhv9ݹ bLE*T8( onu~[S2rUȪ Xʇ:IK%{aral$5vi3xZRG0X =`5Q b$