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  O O.IT,4 ]/ Compiling-Exceptions-Correctly:threads=4elapsed=3.484cpu=5.676gc=0.300factor=1.637zXZִF! ]ŗXf[&L_o6#O D$j~ݢttZ|,\n[NX]vTо^CFGS; уp߬ SABlXB9?:,աw!?Gj+ RfNL{Չ{<&dyʱgYZ7zXZִF! ]S]ŗXiɟfOcLb0vY,U/( 7l 3^"苳iZY$f[/w8ˇo^0N}YZ7zXZִF! #]ŗXi%Gة w[ťap,Tv{SʙG?,*Ӝ KåŘޟ #ȥXcT V,$6aCj_B֪rTm6EwKa e_\{+m񦽏GN1ߋxVNpnK& %!.OgQ">6%јfkįNC|-p}N \9V$@:excv@ 11R # [-Fp(`(v *$eXҳY2l$`\1JZ64ukӕJfq`CDJfpsx6?h enȳ2Ɇ"w, B1};b &*8wPf-©^wU q[ﵭKLg <лC&LwHPL εuY Ï?F^O(T5TR x(eqB;.58䛤UMbȒm3xc*kMb*<|-nSgZMM[ ?r,ݵOBL6ʯFݯ d,.$ e+W6@ ϕtQH6 }=54D#0p)eԖ1hɶlRO?uMxwsTL9i#VvHݫr`W?)Ľil HR۠wɟ0XZձV0=$6sDJGgYZb28b785804efac974bf87017157f73229803d658c2093642ce0e52d658430117f07a6a10f135143e 958f81e74e154e8719a792f45217a865d1da1a47 !I Compiling-Exceptions-Correctly