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  3 D| ]S Monad_Normalisation:threads=2elapsed=0.934cpu=1.200gc=0.000factor=1.287zXZִF! Z]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗬq^p3Z"ow82b4AL evNgYZ7zXZִF!  ]ŗXi%;+N,!-!,~` `fq4PI,Rn+c noWqVԤ.MW D`00gNi|l]Tt(T$T1aKF?-k1L~kL30#- AXe]%tDC# e窗h:Gt{#&MM/= -8y5< fuo&Ð>\t'GoG+8V]N=:os)L_7&=quRFt(ә_ jJ"7|Xd0n)\U;RK\ԟ& >2$]Xsc!~i#+dX6.vj {xK$qd +^try2P(E>!,WÝsX3.K3GtuQ1L*+ʱgYZ6e30a8774ddf2d436b1c3830ca7c99328272fc31d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad c8ba0b3713415680c885b286092222ad46904d4e a5c24c7a6ef0f76f7f37319c19b00a27039e04ad 3 Monad_Normalisation