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  IT,l ]/ Compiling-Exceptions-Correctly:threads=2elapsed=3.789cpu=5.304gc=0.184factor=1.407zXZִF! #]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|Ԓl4.Y96UTA6koJ P˳EEj;I GO~;#7 ck4P>3]`Ѷ|H9Y)gYZ7zXZִF! ]S]ŗXiɟfOcLb0vY,U/( 7l 28? (h͞PYT ! <o^0N}YZ7zXZִF! o]ŗXi%; LK8+2ԑd*8 .0օ*&J a#0K+tx )  I wr܂6B~Z;\o=tس׭-HwB)M8-q(59eTDrH%W k)?{LQ{jOPFhM9QxRkvKPVDŽ >[*;,n=vSj wj0j2;bp`CXX <@#ߵrah Yz:u[71Q X-4R!">{hL"=L 1t"Q$5NF8-JRtt=Fiv}oQ2^0XAK)B]09ۇF_yl K{d^kwgၮh+hE=<᧼J'kC;,csLbi[?9H8~A~M~YD9;,w~/qcIk ǡk֧ {lBN#D> k@Z8ܯw q`7C@=XgYZ85763d5465c4a0594e02038c9c35a2288f2a04fa0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 87718d0c1aebf020a6cc483886932b0e8197300b !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