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  .I\,, ]/ Compiling-Exceptions-Correctly:threads=2elapsed=3.841cpu=5.684gc=0.244factor=1.487zXZִF! #]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|Ԓl4.Y96UTABwPI9:@HVpt._<@B.qJ:Y/ӥ~Gy {{fgYZ7zXZִF! ]S]ŗXiɟfOcLb0vY,U/( 7l 3<;cD4xll?D~* 7oGڮ%o^0N}YZ7zXZִF! #]ŗXi%; QRvц#$ys {V]g{K׋~@!i6H'xeWHߊ(EQ0s W\|> sIh=IIq8?%kS5$=-0%*-*SPPE_0qKN%CeO $宱t&>I dnpJ2gy:͍*S2$̠qUiXSu3 ͤ7c 9t /OslŠ( \ Fc~ j(AAjIիV0 @LXKb`z@;ڊ*i.Hm("g/K?MQ2!xəBvnW kKlJ;.9v^So(ӽ0OTX^ @wHA$_7[U5"-C: "F:qv~(Ox76pxwҀ>X=$ԾaZk;?SqTȞ#1Ԝۜjgo DP`@r_^j'H&X2va|wY9n2Za?nGmGCgYZ4060c5e50a295aa5295ced3ac9ee152644f59fc50a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 !I Compiling-Exceptions-Correctly ##ZI_% Compiling-Exceptions-CorrectlyCompiling-Exceptions-Correctly.Exceptionsdocument.tex7zXZִF! t >]A-MՋhvG"uIBm5wy.iBkGlg  A{ BQ w9YS/ǿڧ,45{XxX$A#6zk2M׽2.Pj4ҙBE^Yc\n2|)cXAz"bG+cwY]i ] $7]9xw(]LoK"E׳duxiH'6滗ɫCH4hq0@Xxq ^gr+7\Z=(%0ʆ(+l-&@U]TXwvC#&a^+kT*][Ɉm(/MS16ƽ&=/s\ܱӼ$zqYq9KG}ۇ>P]ڼ26-fl7;|j xeaۆbX}*R:cvm‘fޭf/L%v@Ct\6KO$AFu`{6ԙC_.Ǯ2yetqZŠT=5bC+pJ WLyt'Z9L¢pN l~A&{Kӌ&Z&O#͂#եR40f.E0NMX-, I݊TY~=JKz益%e޽X +ZbGg4;a4FÈY}'%hF'rGJ;۬<ȴh5$Is;YlG*!hkϟ}$Df&FL2 ^ v~k؞)ԍ̹8WU1k_dj¯;F1I0|Ԙo#sW*[9|B=p6Rνک0$K2Yy9qt'#>@[ROhOTi|>읔ĻD kڲۂ`lk0(g&;SٚX̾ Zf{T-BӨE LAy?MA E:yk(-sז&W[v3V3\'nH:+c:a]KZEh8W5hMk=3 T0kX{3`Ciԩ YԜ۩}Z:qfB֖"#}sNx:l%=!GQeMԷW\UoxP_%`kQwV(—aXg))cȰ:sUkyVW;  a6b)F-S8m| >=acQpfl C@b_4Aeն^Q:g$ t1}|e>2Llʟg@0}#ӊz""Ä[Tͣa(rU=gpCU`,d*!a E5$է1t)9A8VGSK&6z0j>zf;eR'xk¡ogX&_VIa;Z wF:vZܼ_,4SF,W贠G߷[qPWec)3R28_ 1l"VIѲ%_F#"6 \_[]2)5 ?}kɗ$l}">T*2c rH{On0sxdָZǴ@u3psc70Zl5Q!-+`Zd c1ʜyWMGnuF6m:N,9*6Ċ*@PnpIb s"8\B.q GSoH YaܽWOd3bC= N x,%]gs;?/eL"+2:.C$}E")q.*Dc>1(Z<i^ iI^F|Df[[pztB@pk%>O/NܙRc#9 k$6ulځJp"z؃Y3XSY'K{6ꛜ#[7]Y$m~=W7%XYe_l6.3cYQDgUy`m&ojwOjg[H8 1-JSX͍בܱA%iF)Btp@Ax[K&$!_zK1$llj~-Ζd[^ D0nD;k׵f8+_GRru!k7E, l8QIJ7MJֺ D9 2PC3 /O;:Ö(mHw_A ?zB&c($oߙ"U闶so& +{mSÓ{#!3r.nߎSY4ߚS;ȴ;9j"6g1 qpւ6n T|c1a5ގ01+I(aYL뻹;|ۧx_.dN0qI==L!:^kw ocxPwĠ&&y2 ZL_I)`ڎi4R)&P`E+ IUd:z -#^S >; /FϜx)LF B.e6փ?x8g4`cr<_ =%N8 F"k5w& i4kr/c*;νꥻix/Ak[d|SI!oUiʡ0|"HP-egYZ XI_% Compiling-Exceptions-CorrectlyCompiling-Exceptions-Correctly.Exceptionsdocument.tex