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\,d ]/ Compiling-Exceptions-Correctly:threads=2elapsed=3.714cpu=5.800gc=0.292factor=1.567zXZִF! #]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|Ԓl4.Y96UTABwPI8Rq@c'P *"w/ z@}Wy{= gYZ7zXZִF! ]S]ŗXiɟfOcLb0vY,U/( 7l KE ՘ZvrG[kI;h鳉Ko^0N}YZ7zXZִF! !wk]ŗXi%;˳Δa+iJL`Պ6阞 +𔫧A̶E|Ƕf[ c ɻѕ3#hPвߏ> S٠qpOsAMgY4ܪ"Y;oR.Zuu[n86!&(NR/PsmB[pdLxڎN펶OYD5!O2\.8+!:bӓ=`,4UҐQSQA"~J| _F81RzJa3詾hE@ϖcC w.#C_?rD˻ A:u{L4(ʉnh_ ;/cEدx81-ʆ5REL+TP/#bj."!x_vV}a܎ 3깫"`ߥщĊ n?Ba~Ԭ&ɷ{gk}(.)0^d *eӊM qMͷ-L4KP5lSc1HA>j˹9pw lYgGۧygXCuJT$êB+8gYZ4211d49a9ba5ed78358ae124adc635d320f22ca16b223331e017a1273774b77ffd0c2fd583138aba 59a3a880bb4874f61b767c399786d7d8a5dca439 !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