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  _ _IT, ]/ Compiling-Exceptions-Correctly:threads=4elapsed=3.657cpu=5.904gc=0.280factor=1.617zXZִF! ]ŗXf[&L_o6#O D$j~ݢttZ|,\n[NX]vTо^Cd@3M\,`g{R}MDIBl]QTA˒ x yCs~F4J0)iV-aLgYZ7zXZִF! ]S]ŗXiɟfOcLb0vY,U/( 7l uYa^3YnxJ>_VX㍩o^0N}YZ7zXZִF! &s]ŗXi%Eb⬗z#S{_sO?]r(#X#Eq}D$ҹ<$2~B4w5d|D]62T"~Z-x=DVԏK&n ҒGnug@@u ?(.iy$܅pe1sяs Tq(|oL<jhc* 杭?IuEZG'qe١3\op֮eW" @7lsWH6VtݘXD'<2dC}vp_ u{?|O)Uv8F-nU3ɖ lp#Un+3B\2Щ{~aK%Y$Tl Ozr+Jk2Jq0AW파7={3*#xZγ)`4ILigYZ5107ee3d98959ec3dcdb67ff4ba54d8005e1677e87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 !I Compiling-Exceptions-Correctly