SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   y3\D ]S Monad_Normalisation:threads=4elapsed=0.846cpu=1.280gc=0.000factor=1.517zXZִF! g]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 1fA*LeYݶzz0&/e/;gYZ7zXZִF! Y]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗱ\JzCy.W*T,mmML_ՃHkUGFi>uoQȱgYZ7zXZִF! ?E]ŗXi%B6in+i! .֛-~ xXn$W<>Sb#kj6GPOe <8̒#YfMY!IFJUQksϕ;Bso0roe*bxA|9 f;$m1I|+}ɺ:<+1G4YT?xkf{7 jw rtetj@\'' @nWM.7j,g2X(-߫8g^51C4lps *=\r+8xm%Kmĵ $ٯ(ze{hr7MMCTx],? w*]Z l+qq&S3{`wDjק\P3܊Ss (mpfgWry5SðRl[bnY5[k]jRLoRllź²% 4=xiQSbDqBYN6.`[0F0빱gYZd459fdebc9e1203edfa59bf77e59f0b0c68c97c7ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db 1a050f03797f0adf3821f52f013ba9dc0cd56252 3 Monad_Normalisation