diff --git a/doc/hazard3.pdf b/doc/hazard3.pdf index 0de67fb..5f78bcd 100644 --- a/doc/hazard3.pdf +++ b/doc/hazard3.pdf @@ -5,7 +5,7 @@ /Creator (Asciidoctor PDF 2.2.0, based on Prawn 2.4.0) /Producer (Asciidoctor PDF 2.2.0, based on Prawn 2.4.0) /ModDate (D:20220728011309+01'00') -/CreationDate (D:20220807170834+01'00') +/CreationDate (D:20220807230214+01'00') >> endobj 2 0 obj @@ -64013,7 +64013,7 @@ endobj >> endobj 349 0 obj -<< /Length 7463 +<< /Length 7712 >> stream q @@ -64023,10 +64023,10 @@ q 52.24 805.89 m 543.04 805.89 l 545.24914 805.89 547.04 804.09914 547.04 801.89 c -547.04 209.29 l -547.04 207.08086 545.24914 205.29 543.04 205.29 c -52.24 205.29 l -50.03086 205.29 48.24 207.08086 48.24 209.29 c +547.04 194.55 l +547.04 192.34086 545.24914 190.55 543.04 190.55 c +52.24 190.55 l +50.03086 190.55 48.24 192.34086 48.24 194.55 c 48.24 801.89 l 48.24 804.09914 50.03086 805.89 52.24 805.89 c h @@ -64037,10 +64037,10 @@ f 52.24 805.89 m 543.04 805.89 l 545.24914 805.89 547.04 804.09914 547.04 801.89 c -547.04 209.29 l -547.04 207.08086 545.24914 205.29 543.04 205.29 c -52.24 205.29 l -50.03086 205.29 48.24 207.08086 48.24 209.29 c +547.04 194.55 l +547.04 192.34086 545.24914 190.55 543.04 190.55 c +52.24 190.55 l +50.03086 190.55 48.24 192.34086 48.24 194.55 c 48.24 801.89 l 48.24 804.09914 50.03086 805.89 52.24 805.89 c h @@ -64063,7 +64063,7 @@ Q BT 59.24 794.065 Td /F3.0 11 Tf - Tj + Tj ET 0.0 0.0 0.0 SCN @@ -64074,7 +64074,7 @@ ET BT 59.24 779.325 Td /F3.0 11 Tf - Tj + Tj ET 0.0 0.0 0.0 SCN @@ -64085,7 +64085,7 @@ ET BT 59.24 764.585 Td /F3.0 11 Tf - Tj + Tj ET 0.0 0.0 0.0 SCN @@ -64096,6 +64096,17 @@ ET BT 59.24 749.845 Td /F3.0 11 Tf + Tj +ET + +0.0 0.0 0.0 SCN +0.0 0.0 0.0 scn +0.2 0.2 0.2 scn +0.2 0.2 0.2 SCN + +BT +59.24 735.105 Td +/F3.0 11 Tf Tj ET @@ -64105,7 +64116,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 720.365 Td +59.24 705.625 Td /F3.0 11 Tf Tj ET @@ -64116,7 +64127,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 690.885 Td +59.24 676.145 Td /F3.0 11 Tf <64697370617463685f6972713a> Tj ET @@ -64127,7 +64138,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 676.145 Td +59.24 661.405 Td /F3.0 11 Tf Tj ET @@ -64138,7 +64149,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 661.405 Td +59.24 646.665 Td /F3.0 11 Tf Tj ET @@ -64149,7 +64160,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 646.665 Td +59.24 631.925 Td /F3.0 11 Tf Tj ET @@ -64160,7 +64171,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 631.925 Td +59.24 617.185 Td /F3.0 11 Tf Tj ET @@ -64171,7 +64182,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 617.185 Td +59.24 602.445 Td /F3.0 11 Tf Tj ET @@ -64182,7 +64193,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 602.445 Td +59.24 587.705 Td /F3.0 11 Tf Tj ET @@ -64193,7 +64204,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 572.965 Td +59.24 558.225 Td /F3.0 11 Tf Tj ET @@ -64204,7 +64215,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 558.225 Td +59.24 543.485 Td /F3.0 11 Tf Tj ET @@ -64215,7 +64226,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 528.745 Td +59.24 514.005 Td /F3.0 11 Tf <6765745f6e6578745f6972713a> Tj ET @@ -64226,7 +64237,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 514.005 Td +59.24 499.265 Td /F3.0 11 Tf Tj ET @@ -64237,7 +64248,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 499.265 Td +59.24 484.525 Td /F3.0 11 Tf Tj ET @@ -64248,7 +64259,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 484.525 Td +59.24 469.785 Td /F3.0 11 Tf Tj ET @@ -64259,7 +64270,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 469.785 Td +59.24 455.045 Td /F3.0 11 Tf Tj ET @@ -64270,7 +64281,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 455.045 Td +59.24 440.305 Td /F3.0 11 Tf Tj ET @@ -64281,7 +64292,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 440.305 Td +59.24 425.565 Td /F3.0 11 Tf Tj ET @@ -64292,7 +64303,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 410.825 Td +59.24 396.085 Td /F3.0 11 Tf <6e6f5f6d6f72655f697271733a> Tj ET @@ -64303,7 +64314,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 396.085 Td +59.24 381.345 Td /F3.0 11 Tf Tj ET @@ -64314,7 +64325,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 381.345 Td +59.24 366.605 Td /F3.0 11 Tf Tj ET @@ -64325,7 +64336,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 366.605 Td +59.24 351.865 Td /F3.0 11 Tf Tj ET @@ -64336,7 +64347,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 351.865 Td +59.24 337.125 Td /F3.0 11 Tf Tj ET @@ -64347,7 +64358,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 337.125 Td +59.24 322.385 Td /F3.0 11 Tf Tj ET @@ -64358,7 +64369,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 322.385 Td +59.24 307.645 Td /F3.0 11 Tf Tj ET @@ -64369,7 +64380,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 307.645 Td +59.24 292.905 Td /F3.0 11 Tf Tj ET @@ -64380,7 +64391,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 278.165 Td +59.24 263.425 Td /F3.0 11 Tf Tj ET @@ -64391,7 +64402,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 263.425 Td +59.24 248.685 Td /F3.0 11 Tf Tj ET @@ -64402,7 +64413,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 248.685 Td +59.24 233.945 Td /F3.0 11 Tf Tj ET @@ -64413,7 +64424,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 233.945 Td +59.24 219.205 Td /F3.0 11 Tf Tj ET @@ -64424,7 +64435,7 @@ ET 0.2 0.2 0.2 SCN BT -59.24 219.205 Td +59.24 204.465 Td /F3.0 11 Tf Tj ET @@ -64435,7 +64446,7 @@ ET 0.2 0.2 0.2 SCN BT -48.24 169.266 Td +48.24 154.526 Td /F2.0 18 Tf <342e392e20437573746f6d20506f77657220436f6e74726f6c2043535273> Tj ET @@ -64446,7 +64457,7 @@ ET 0.2 0.2 0.2 SCN BT -48.24 134.526 Td +48.24 119.786 Td /F2.0 13 Tf <342e392e312e206d736c656570> Tj ET @@ -64457,7 +64468,7 @@ ET 0.2 0.2 0.2 SCN BT -48.24 107.966 Td +48.24 93.226 Td /F1.0 10.5 Tf [<41> 20.01953 <6464726573733a20>] TJ ET @@ -64468,7 +64479,7 @@ ET 0.69412 0.12941 0.27451 SCN BT -94.06179 107.966 Td +94.06179 93.226 Td /F3.0 10.5 Tf <3078626630> Tj ET @@ -64479,7 +64490,7 @@ ET 0.2 0.2 0.2 SCN BT -48.24 80.186 Td +48.24 65.446 Td /F1.0 10.5 Tf <4d2d6d6f646520736c65657020636f6e74726f6c2072656769737465722e> Tj ET @@ -64530,10 +64541,10 @@ endobj >> endobj 351 0 obj -[350 0 R /XYZ 0 193.29 null] +[350 0 R /XYZ 0 178.55 null] endobj 352 0 obj -[350 0 R /XYZ 0 153.21 null] +[350 0 R /XYZ 0 138.47 null] endobj 353 0 obj << /Length 17547 @@ -73281,7 +73292,7 @@ endobj /First 856 0 R /Last 857 0 R /Prev 848 0 R -/Dest [350 0 R /XYZ 0 193.29 null] +/Dest [350 0 R /XYZ 0 178.55 null] >> endobj 856 0 obj @@ -73289,7 +73300,7 @@ endobj /Parent 855 0 R /Count 0 /Next 857 0 R -/Dest [350 0 R /XYZ 0 153.21 null] +/Dest [350 0 R /XYZ 0 138.47 null] >> endobj 857 0 obj @@ -74147,547 +74158,547 @@ xref 0000904823 00000 n 0000928449 00000 n 0000928806 00000 n -0000936323 00000 n -0000936680 00000 n -0000936726 00000 n -0000936772 00000 n -0000954374 00000 n -0000954731 00000 n -0000954777 00000 n -0000961710 00000 n -0000962105 00000 n -0000962151 00000 n -0000962197 00000 n -0001006634 00000 n -0001008985 00000 n -0001022909 00000 n -0001023279 00000 n -0001023325 00000 n -0001042522 00000 n -0001042918 00000 n -0001043044 00000 n -0001043174 00000 n -0001043220 00000 n -0001043345 00000 n -0001043472 00000 n -0001043610 00000 n -0001043749 00000 n -0001043869 00000 n -0001043989 00000 n -0001044113 00000 n -0001044239 00000 n -0001044363 00000 n -0001044489 00000 n -0001044613 00000 n -0001044739 00000 n -0001044891 00000 n -0001045045 00000 n -0001045175 00000 n -0001045306 00000 n -0001045437 00000 n -0001045568 00000 n -0001045704 00000 n -0001045841 00000 n -0001045979 00000 n -0001046117 00000 n -0001046233 00000 n -0001046351 00000 n -0001046467 00000 n -0001046585 00000 n -0001046702 00000 n -0001046820 00000 n -0001046938 00000 n -0001047057 00000 n -0001047173 00000 n -0001047291 00000 n -0001047406 00000 n -0001047523 00000 n -0001047639 00000 n -0001047757 00000 n -0001047874 00000 n -0001047992 00000 n -0001048108 00000 n -0001048226 00000 n -0001048344 00000 n -0001048461 00000 n -0001048600 00000 n -0001048738 00000 n -0001048856 00000 n -0001048974 00000 n -0001049091 00000 n -0001049209 00000 n -0001049327 00000 n -0001049446 00000 n -0001049564 00000 n -0001049682 00000 n -0001049799 00000 n -0001049916 00000 n -0001050034 00000 n -0001050152 00000 n -0001050269 00000 n -0001050387 00000 n -0001050505 00000 n -0001050623 00000 n -0001050742 00000 n -0001050860 00000 n -0001050996 00000 n -0001051131 00000 n -0001051248 00000 n -0001051365 00000 n -0001051483 00000 n -0001051602 00000 n -0001051739 00000 n -0001051875 00000 n -0001051992 00000 n -0001052109 00000 n -0001052224 00000 n -0001052340 00000 n -0001052455 00000 n -0001052570 00000 n -0001052687 00000 n -0001052804 00000 n -0001052921 00000 n -0001053038 00000 n -0001053154 00000 n -0001053271 00000 n -0001053389 00000 n -0001053507 00000 n -0001053624 00000 n -0001053742 00000 n -0001053877 00000 n -0001054011 00000 n -0001054127 00000 n -0001054243 00000 n -0001054358 00000 n -0001054474 00000 n -0001054590 00000 n -0001054707 00000 n -0001054823 00000 n -0001054939 00000 n -0001055056 00000 n -0001055173 00000 n -0001055288 00000 n -0001055404 00000 n -0001055520 00000 n -0001055636 00000 n -0001055751 00000 n -0001055867 00000 n -0001055993 00000 n -0001056120 00000 n -0001056236 00000 n -0001056353 00000 n -0001056470 00000 n -0001056588 00000 n -0001056708 00000 n -0001056828 00000 n -0001056946 00000 n -0001057065 00000 n -0001057182 00000 n -0001057299 00000 n -0001057417 00000 n -0001057535 00000 n -0001057651 00000 n -0001057768 00000 n -0001057885 00000 n -0001058003 00000 n -0001058129 00000 n -0001058256 00000 n -0001058382 00000 n -0001058509 00000 n -0001058663 00000 n -0001058816 00000 n -0001058935 00000 n -0001059055 00000 n -0001059174 00000 n -0001059294 00000 n -0001059413 00000 n -0001059533 00000 n -0001059673 00000 n -0001059813 00000 n -0001059930 00000 n -0001060048 00000 n -0001060164 00000 n -0001060281 00000 n -0001060397 00000 n -0001060515 00000 n -0001060630 00000 n -0001060747 00000 n -0001060864 00000 n -0001060981 00000 n -0001061099 00000 n -0001061217 00000 n -0001061334 00000 n -0001061451 00000 n -0001061569 00000 n -0001061687 00000 n -0001061804 00000 n -0001061922 00000 n -0001062037 00000 n -0001062152 00000 n -0001062267 00000 n -0001062383 00000 n -0001062499 00000 n -0001062616 00000 n -0001062733 00000 n -0001062850 00000 n -0001062967 00000 n -0001063085 00000 n -0001063205 00000 n -0001063325 00000 n -0001063444 00000 n -0001063564 00000 n -0001063682 00000 n -0001063800 00000 n -0001063919 00000 n -0001064039 00000 n -0001064159 00000 n -0001064279 00000 n -0001064433 00000 n -0001064587 00000 n -0001064706 00000 n -0001064825 00000 n -0001064945 00000 n -0001065065 00000 n -0001065184 00000 n -0001065304 00000 n -0001065448 00000 n -0001065593 00000 n -0001065711 00000 n -0001065829 00000 n -0001065947 00000 n -0001066066 00000 n -0001066184 00000 n -0001066302 00000 n -0001066420 00000 n -0001066539 00000 n -0001066657 00000 n -0001066775 00000 n -0001066891 00000 n -0001067010 00000 n -0001067127 00000 n -0001067245 00000 n -0001067364 00000 n -0001067483 00000 n -0001067642 00000 n -0001067800 00000 n -0001067918 00000 n -0001068037 00000 n -0001068154 00000 n -0001068272 00000 n -0001068390 00000 n -0001068509 00000 n -0001068625 00000 n -0001068742 00000 n -0001068861 00000 n -0001068980 00000 n -0001069096 00000 n -0001069214 00000 n -0001069363 00000 n -0001069512 00000 n -0001069634 00000 n -0001069757 00000 n -0001069878 00000 n -0001069999 00000 n -0001070118 00000 n -0001070238 00000 n -0001070359 00000 n -0001070480 00000 n -0001070603 00000 n -0001070727 00000 n -0001070844 00000 n -0001070962 00000 n -0001071111 00000 n -0001071259 00000 n -0001071379 00000 n -0001071500 00000 n -0001071621 00000 n -0001071743 00000 n -0001071862 00000 n -0001071982 00000 n -0001072099 00000 n -0001072218 00000 n -0001072332 00000 n -0001072447 00000 n -0001072563 00000 n -0001072680 00000 n -0001072798 00000 n -0001072917 00000 n -0001073040 00000 n -0001073162 00000 n -0001073279 00000 n -0001073397 00000 n -0001073517 00000 n -0001073637 00000 n -0001073755 00000 n -0001073874 00000 n -0001073998 00000 n -0001074122 00000 n -0001074267 00000 n -0001074412 00000 n -0001074533 00000 n -0001074655 00000 n -0001074779 00000 n -0001074903 00000 n -0001075052 00000 n -0001075202 00000 n -0001075322 00000 n -0001075442 00000 n -0001075563 00000 n -0001075684 00000 n -0001075806 00000 n -0001075928 00000 n -0001076051 00000 n -0001076174 00000 n -0001076302 00000 n -0001076430 00000 n -0001076559 00000 n -0001076688 00000 n -0001076818 00000 n -0001076948 00000 n -0001077074 00000 n -0001077200 00000 n -0001077334 00000 n -0001077469 00000 n -0001077590 00000 n -0001077711 00000 n -0001077831 00000 n -0001077952 00000 n -0001078081 00000 n -0001078211 00000 n -0001078332 00000 n -0001078453 00000 n -0001078569 00000 n -0001078686 00000 n -0001078810 00000 n -0001078933 00000 n -0001079057 00000 n -0001079180 00000 n -0001079315 00000 n -0001079451 00000 n -0001079575 00000 n -0001079699 00000 n -0001079843 00000 n -0001079987 00000 n -0001080109 00000 n -0001080231 00000 n -0001080353 00000 n -0001080475 00000 n -0001080597 00000 n -0001080719 00000 n -0001080840 00000 n -0001080960 00000 n -0001081080 00000 n -0001081201 00000 n -0001081328 00000 n -0001081455 00000 n -0001081592 00000 n -0001081731 00000 n -0001081850 00000 n -0001081970 00000 n -0001082087 00000 n -0001082205 00000 n -0001082328 00000 n -0001082452 00000 n -0001082581 00000 n -0001082709 00000 n -0001082855 00000 n -0001083001 00000 n -0001083145 00000 n -0001083289 00000 n -0001083368 00000 n -0001083505 00000 n -0001083697 00000 n -0001083913 00000 n -0001084206 00000 n -0001084356 00000 n -0001084544 00000 n -0001084732 00000 n -0001084920 00000 n -0001085228 00000 n -0001085436 00000 n -0001085630 00000 n -0001085916 00000 n -0001086172 00000 n -0001086322 00000 n -0001086486 00000 n -0001086650 00000 n -0001086818 00000 n -0001086982 00000 n -0001087142 00000 n -0001087307 00000 n -0001087472 00000 n -0001087637 00000 n -0001087792 00000 n -0001088066 00000 n -0001088221 00000 n -0001088390 00000 n -0001088563 00000 n -0001088732 00000 n -0001088897 00000 n -0001089066 00000 n -0001089235 00000 n -0001089404 00000 n -0001089559 00000 n -0001089821 00000 n -0001089972 00000 n -0001090131 00000 n -0001090397 00000 n -0001090548 00000 n -0001090717 00000 n -0001090882 00000 n -0001091047 00000 n -0001091212 00000 n -0001091377 00000 n -0001091546 00000 n -0001091701 00000 n -0001091959 00000 n -0001092106 00000 n -0001092267 00000 n -0001092432 00000 n -0001092593 00000 n -0001092758 00000 n -0001092919 00000 n -0001093080 00000 n -0001093227 00000 n -0001093445 00000 n -0001093596 00000 n -0001093765 00000 n -0001093942 00000 n -0001094115 00000 n -0001094280 00000 n -0001094449 00000 n -0001094614 00000 n -0001094769 00000 n -0001094958 00000 n -0001095147 00000 n -0001095489 00000 n -0001095652 00000 n -0001095829 00000 n -0001095992 00000 n -0001096287 00000 n -0001096446 00000 n -0001096615 00000 n -0001096788 00000 n -0001096957 00000 n -0001097126 00000 n -0001097299 00000 n -0001097468 00000 n -0001097641 00000 n -0001097818 00000 n -0001097991 00000 n -0001098168 00000 n -0001098341 00000 n -0001098514 00000 n -0001098691 00000 n -0001098876 00000 n -0001099061 00000 n -0001099238 00000 n -0001099423 00000 n -0001099594 00000 n -0001099944 00000 n -0001100107 00000 n -0001100288 00000 n -0001100455 00000 n -0001100769 00000 n -0001100928 00000 n -0001101105 00000 n -0001101278 00000 n -0001101455 00000 n -0001101628 00000 n -0001101805 00000 n -0001101978 00000 n -0001102141 00000 n -0001102485 00000 n -0001102648 00000 n -0001102821 00000 n -0001102998 00000 n -0001103167 00000 n -0001103330 00000 n -0001103545 00000 n -0001103845 00000 n -0001104020 00000 n -0001104201 00000 n -0001104378 00000 n -0001104559 00000 n -0001104752 00000 n -0001104907 00000 n -0001105218 00000 n -0001105385 00000 n -0001105570 00000 n -0001105751 00000 n -0001105932 00000 n -0001106097 00000 n -0001106262 00000 n -0001106435 00000 n -0001106620 00000 n -0001106789 00000 n -0001106970 00000 n -0001107147 00000 n -0001107330 00000 n -0001107628 00000 n -0001107807 00000 n -0001107994 00000 n -0001108312 00000 n -0001108475 00000 n -0001108656 00000 n -0001108841 00000 n -0001109030 00000 n -0001109247 00000 n -0001109468 00000 n -0001109673 00000 n -0001109868 00000 n -0001110126 00000 n -0001110293 00000 n -0001110468 00000 n -0001110738 00000 n -0001110893 00000 n -0001111058 00000 n -0001111247 00000 n -0001111422 00000 n -0001111684 00000 n -0001111837 00000 n -0001112131 00000 n -0001112290 00000 n -0001112463 00000 n -0001112636 00000 n -0001112813 00000 n -0001112994 00000 n -0001113173 00000 n -0001113433 00000 n -0001113596 00000 n -0001113755 00000 n -0001113959 00000 n -0001114154 00000 n -0001114427 00000 n -0001114678 00000 n -0001115743 00000 n -0001115788 00000 n -0001116062 00000 n -0001116336 00000 n -0001127325 00000 n -0001127539 00000 n -0001128894 00000 n -0001129811 00000 n -0001139727 00000 n -0001139946 00000 n -0001141301 00000 n -0001142216 00000 n -0001148697 00000 n -0001148910 00000 n -0001150265 00000 n -0001151180 00000 n -0001155095 00000 n -0001155309 00000 n -0001155632 00000 n -0001156548 00000 n -0001163091 00000 n -0001163315 00000 n -0001164670 00000 n +0000936572 00000 n +0000936929 00000 n +0000936975 00000 n +0000937021 00000 n +0000954623 00000 n +0000954980 00000 n +0000955026 00000 n +0000961959 00000 n +0000962354 00000 n +0000962400 00000 n +0000962446 00000 n +0001006883 00000 n +0001009234 00000 n +0001023158 00000 n +0001023528 00000 n +0001023574 00000 n +0001042771 00000 n +0001043167 00000 n +0001043293 00000 n +0001043423 00000 n +0001043469 00000 n +0001043594 00000 n +0001043721 00000 n +0001043859 00000 n +0001043998 00000 n +0001044118 00000 n +0001044238 00000 n +0001044362 00000 n +0001044488 00000 n +0001044612 00000 n +0001044738 00000 n +0001044862 00000 n +0001044988 00000 n +0001045140 00000 n +0001045294 00000 n +0001045424 00000 n +0001045555 00000 n +0001045686 00000 n +0001045817 00000 n +0001045953 00000 n +0001046090 00000 n +0001046228 00000 n +0001046366 00000 n +0001046482 00000 n +0001046600 00000 n +0001046716 00000 n +0001046834 00000 n +0001046951 00000 n +0001047069 00000 n +0001047187 00000 n +0001047306 00000 n +0001047422 00000 n +0001047540 00000 n +0001047655 00000 n +0001047772 00000 n +0001047888 00000 n +0001048006 00000 n +0001048123 00000 n +0001048241 00000 n +0001048357 00000 n +0001048475 00000 n +0001048593 00000 n +0001048710 00000 n +0001048849 00000 n +0001048987 00000 n +0001049105 00000 n +0001049223 00000 n +0001049340 00000 n +0001049458 00000 n +0001049576 00000 n +0001049695 00000 n +0001049813 00000 n +0001049931 00000 n +0001050048 00000 n +0001050165 00000 n +0001050283 00000 n +0001050401 00000 n +0001050518 00000 n +0001050636 00000 n +0001050754 00000 n +0001050872 00000 n +0001050991 00000 n +0001051109 00000 n +0001051245 00000 n +0001051380 00000 n +0001051497 00000 n +0001051614 00000 n +0001051732 00000 n +0001051851 00000 n +0001051988 00000 n +0001052124 00000 n +0001052241 00000 n +0001052358 00000 n +0001052473 00000 n +0001052589 00000 n +0001052704 00000 n +0001052819 00000 n +0001052936 00000 n +0001053053 00000 n +0001053170 00000 n +0001053287 00000 n +0001053403 00000 n +0001053520 00000 n +0001053638 00000 n +0001053756 00000 n +0001053873 00000 n +0001053991 00000 n +0001054126 00000 n +0001054260 00000 n +0001054376 00000 n +0001054492 00000 n +0001054607 00000 n +0001054723 00000 n +0001054839 00000 n +0001054956 00000 n +0001055072 00000 n +0001055188 00000 n +0001055305 00000 n +0001055422 00000 n +0001055537 00000 n +0001055653 00000 n +0001055769 00000 n +0001055885 00000 n +0001056000 00000 n +0001056116 00000 n +0001056242 00000 n +0001056369 00000 n +0001056485 00000 n +0001056602 00000 n +0001056719 00000 n +0001056837 00000 n +0001056957 00000 n +0001057077 00000 n +0001057195 00000 n +0001057314 00000 n +0001057431 00000 n +0001057548 00000 n +0001057666 00000 n +0001057784 00000 n +0001057900 00000 n +0001058017 00000 n +0001058134 00000 n +0001058252 00000 n +0001058378 00000 n +0001058505 00000 n +0001058631 00000 n +0001058758 00000 n +0001058912 00000 n +0001059065 00000 n +0001059184 00000 n +0001059304 00000 n +0001059423 00000 n +0001059543 00000 n +0001059662 00000 n +0001059782 00000 n +0001059922 00000 n +0001060062 00000 n +0001060179 00000 n +0001060297 00000 n +0001060413 00000 n +0001060530 00000 n +0001060646 00000 n +0001060764 00000 n +0001060879 00000 n +0001060996 00000 n +0001061113 00000 n +0001061230 00000 n +0001061348 00000 n +0001061466 00000 n +0001061583 00000 n +0001061700 00000 n +0001061818 00000 n +0001061936 00000 n +0001062053 00000 n +0001062171 00000 n +0001062286 00000 n +0001062401 00000 n +0001062516 00000 n +0001062632 00000 n +0001062748 00000 n +0001062865 00000 n +0001062982 00000 n +0001063099 00000 n +0001063216 00000 n +0001063334 00000 n +0001063454 00000 n +0001063574 00000 n +0001063693 00000 n +0001063813 00000 n +0001063931 00000 n +0001064049 00000 n +0001064168 00000 n +0001064288 00000 n +0001064408 00000 n +0001064528 00000 n +0001064682 00000 n +0001064836 00000 n +0001064955 00000 n +0001065074 00000 n +0001065194 00000 n +0001065314 00000 n +0001065433 00000 n +0001065553 00000 n +0001065697 00000 n +0001065842 00000 n +0001065960 00000 n +0001066078 00000 n +0001066196 00000 n +0001066315 00000 n +0001066433 00000 n +0001066551 00000 n +0001066669 00000 n +0001066788 00000 n +0001066906 00000 n +0001067024 00000 n +0001067140 00000 n +0001067259 00000 n +0001067376 00000 n +0001067494 00000 n +0001067613 00000 n +0001067732 00000 n +0001067891 00000 n +0001068049 00000 n +0001068167 00000 n +0001068286 00000 n +0001068403 00000 n +0001068521 00000 n +0001068639 00000 n +0001068758 00000 n +0001068874 00000 n +0001068991 00000 n +0001069110 00000 n +0001069229 00000 n +0001069345 00000 n +0001069463 00000 n +0001069612 00000 n +0001069761 00000 n +0001069883 00000 n +0001070006 00000 n +0001070127 00000 n +0001070248 00000 n +0001070367 00000 n +0001070487 00000 n +0001070608 00000 n +0001070729 00000 n +0001070852 00000 n +0001070976 00000 n +0001071093 00000 n +0001071211 00000 n +0001071360 00000 n +0001071508 00000 n +0001071628 00000 n +0001071749 00000 n +0001071870 00000 n +0001071992 00000 n +0001072111 00000 n +0001072231 00000 n +0001072348 00000 n +0001072467 00000 n +0001072581 00000 n +0001072696 00000 n +0001072812 00000 n +0001072929 00000 n +0001073047 00000 n +0001073166 00000 n +0001073289 00000 n +0001073411 00000 n +0001073528 00000 n +0001073646 00000 n +0001073766 00000 n +0001073886 00000 n +0001074004 00000 n +0001074123 00000 n +0001074247 00000 n +0001074371 00000 n +0001074516 00000 n +0001074661 00000 n +0001074782 00000 n +0001074904 00000 n +0001075028 00000 n +0001075152 00000 n +0001075301 00000 n +0001075451 00000 n +0001075571 00000 n +0001075691 00000 n +0001075812 00000 n +0001075933 00000 n +0001076055 00000 n +0001076177 00000 n +0001076300 00000 n +0001076423 00000 n +0001076551 00000 n +0001076679 00000 n +0001076808 00000 n +0001076937 00000 n +0001077067 00000 n +0001077197 00000 n +0001077323 00000 n +0001077449 00000 n +0001077583 00000 n +0001077718 00000 n +0001077839 00000 n +0001077960 00000 n +0001078080 00000 n +0001078201 00000 n +0001078330 00000 n +0001078460 00000 n +0001078581 00000 n +0001078702 00000 n +0001078818 00000 n +0001078935 00000 n +0001079059 00000 n +0001079182 00000 n +0001079306 00000 n +0001079429 00000 n +0001079564 00000 n +0001079700 00000 n +0001079824 00000 n +0001079948 00000 n +0001080092 00000 n +0001080236 00000 n +0001080358 00000 n +0001080480 00000 n +0001080602 00000 n +0001080724 00000 n +0001080846 00000 n +0001080968 00000 n +0001081089 00000 n +0001081209 00000 n +0001081329 00000 n +0001081450 00000 n +0001081577 00000 n +0001081704 00000 n +0001081841 00000 n +0001081980 00000 n +0001082099 00000 n +0001082219 00000 n +0001082336 00000 n +0001082454 00000 n +0001082577 00000 n +0001082701 00000 n +0001082830 00000 n +0001082958 00000 n +0001083104 00000 n +0001083250 00000 n +0001083394 00000 n +0001083538 00000 n +0001083617 00000 n +0001083754 00000 n +0001083946 00000 n +0001084162 00000 n +0001084455 00000 n +0001084605 00000 n +0001084793 00000 n +0001084981 00000 n +0001085169 00000 n +0001085477 00000 n +0001085685 00000 n +0001085879 00000 n +0001086165 00000 n +0001086421 00000 n +0001086571 00000 n +0001086735 00000 n +0001086899 00000 n +0001087067 00000 n +0001087231 00000 n +0001087391 00000 n +0001087556 00000 n +0001087721 00000 n +0001087886 00000 n +0001088041 00000 n +0001088315 00000 n +0001088470 00000 n +0001088639 00000 n +0001088812 00000 n +0001088981 00000 n +0001089146 00000 n +0001089315 00000 n +0001089484 00000 n +0001089653 00000 n +0001089808 00000 n +0001090070 00000 n +0001090221 00000 n +0001090380 00000 n +0001090646 00000 n +0001090797 00000 n +0001090966 00000 n +0001091131 00000 n +0001091296 00000 n +0001091461 00000 n +0001091626 00000 n +0001091795 00000 n +0001091950 00000 n +0001092208 00000 n +0001092355 00000 n +0001092516 00000 n +0001092681 00000 n +0001092842 00000 n +0001093007 00000 n +0001093168 00000 n +0001093329 00000 n +0001093476 00000 n +0001093694 00000 n +0001093845 00000 n +0001094014 00000 n +0001094191 00000 n +0001094364 00000 n +0001094529 00000 n +0001094698 00000 n +0001094863 00000 n +0001095018 00000 n +0001095207 00000 n +0001095396 00000 n +0001095738 00000 n +0001095901 00000 n +0001096078 00000 n +0001096241 00000 n +0001096536 00000 n +0001096695 00000 n +0001096864 00000 n +0001097037 00000 n +0001097206 00000 n +0001097375 00000 n +0001097548 00000 n +0001097717 00000 n +0001097890 00000 n +0001098067 00000 n +0001098240 00000 n +0001098417 00000 n +0001098590 00000 n +0001098763 00000 n +0001098940 00000 n +0001099125 00000 n +0001099310 00000 n +0001099487 00000 n +0001099672 00000 n +0001099843 00000 n +0001100193 00000 n +0001100356 00000 n +0001100537 00000 n +0001100704 00000 n +0001101018 00000 n +0001101177 00000 n +0001101354 00000 n +0001101527 00000 n +0001101704 00000 n +0001101877 00000 n +0001102054 00000 n +0001102227 00000 n +0001102390 00000 n +0001102734 00000 n +0001102897 00000 n +0001103070 00000 n +0001103247 00000 n +0001103416 00000 n +0001103579 00000 n +0001103794 00000 n +0001104094 00000 n +0001104269 00000 n +0001104450 00000 n +0001104627 00000 n +0001104808 00000 n +0001105001 00000 n +0001105156 00000 n +0001105467 00000 n +0001105634 00000 n +0001105819 00000 n +0001106000 00000 n +0001106181 00000 n +0001106346 00000 n +0001106511 00000 n +0001106684 00000 n +0001106869 00000 n +0001107038 00000 n +0001107219 00000 n +0001107396 00000 n +0001107579 00000 n +0001107877 00000 n +0001108056 00000 n +0001108243 00000 n +0001108561 00000 n +0001108724 00000 n +0001108905 00000 n +0001109090 00000 n +0001109279 00000 n +0001109496 00000 n +0001109717 00000 n +0001109922 00000 n +0001110117 00000 n +0001110375 00000 n +0001110542 00000 n +0001110717 00000 n +0001110987 00000 n +0001111142 00000 n +0001111307 00000 n +0001111496 00000 n +0001111671 00000 n +0001111933 00000 n +0001112086 00000 n +0001112380 00000 n +0001112539 00000 n +0001112712 00000 n +0001112885 00000 n +0001113062 00000 n +0001113243 00000 n +0001113422 00000 n +0001113682 00000 n +0001113845 00000 n +0001114004 00000 n +0001114208 00000 n +0001114403 00000 n +0001114676 00000 n +0001114927 00000 n +0001115992 00000 n +0001116037 00000 n +0001116311 00000 n +0001116585 00000 n +0001127574 00000 n +0001127788 00000 n +0001129143 00000 n +0001130060 00000 n +0001139976 00000 n +0001140195 00000 n +0001141550 00000 n +0001142465 00000 n +0001148946 00000 n +0001149159 00000 n +0001150514 00000 n +0001151429 00000 n +0001155344 00000 n +0001155558 00000 n +0001155881 00000 n +0001156797 00000 n +0001163340 00000 n +0001163564 00000 n +0001164919 00000 n trailer << /Size 886 /Root 2 0 R /Info 1 0 R >> startxref -1165585 +1165834 %%EOF diff --git a/doc/sections/csr.adoc b/doc/sections/csr.adoc index 4e30271..b1559e8 100644 --- a/doc/sections/csr.adoc +++ b/doc/sections/csr.adoc @@ -604,7 +604,8 @@ isr_external_irq: csrr a0, mepc sw a0, 64(sp) - csrr a0, meicontext + // Set bit 1 when reading to clear+save mie.mtie and mie.msie + csrrsi a0, meicontext, 0x2 sw a0, 68(sp) csrr a0, mstatus sw a0, 72(sp)