Logiweb vector of propositional calculus

Logiweb vector of propositional calculus in hex

01 74 8C 64 22 EA 61 5B 0B E9 89 AB 46 1F D9 1B 65 53 CE 1A 36 D7 C3 B9 80 A6 BD 9B 08 06 01 A0 FF F3 C5 AC DE 30 FD 3D 7F AB 87 08 D2 30 D3 3D DD FD 91 91 84 AF C8 C9 B2 9A 08 06 01 37 E5 C4 3D B7 CC 92 BF 23 49 70 40 5B C5 A3 0D AD A1 5B 46 F6 EF A9 B0 BF AA 9B 08 06 00 0E 02 0D 00 0C 00 0B 00 0A 00 09 00 08 00 07 00 06 00 05 00 04 00 03 00 02 00 01 00 00 05 02 46 69 6C 65 20 70 61 67 65 2E 73 74 79 0A 25 20 74 68 65 62 69 62 6C 69 6F 67 72 61 70 68 79 20 65 6E 76 69 72 6F 6E 6D 65 6E 74 20 66 72 6F 6D 0A 25 20 2F 75 73 72 2F 73 68 61 72 65 2F 74 65 78 6D 66 2F 74 65 78 2F 6C 61 74 65 78 2F 62 61 73 65 2F 62 6F 6F 6B 2E 63 6C 73 0A 25 20 77 69 74 68 20 5C 63 68 61 70 74 65 72 20 72 65 6D 6F 76 65 64 0A 5C 72 65 6E 65 77 65 6E 76 69 72 6F 6E 6D 65 6E 74 7B 74 68 65 62 69 62 6C 69 6F 67 72 61 70 68 79 7D 5B 31 5D 0A 20 20 20 20 20 7B 5C 6C 69 73 74 7B 5C 40 62 69 62 6C 61 62 65 6C 7B 5C 40 61 72 61 62 69 63 5C 63 40 65 6E 75 6D 69 76 7D 7D 25 0A 20 20 20 20 20 20 20 20 20 20 20 7B 5C 73 65 74 74 6F 77 69 64 74 68 5C 6C 61 62 65 6C 77 69 64 74 68 7B 5C 40 62 69 62 6C 61 62 65 6C 7B 23 31 7D 7D 25 0A 20 20 20 20 20 20 20 20 20 20 20 20 5C 6C 65 66 74 6D 61 72 67 69 6E 5C 6C 61 62 65 6C 77 69 64 74 68 0A 20 20 20 20 20 20 20 20 20 20 20 20 5C 61 64 76 61 6E 63 65 5C 6C 65 66 74 6D 61 72 67 69 6E 5C 6C 61 62 65 6C 73 65 70 0A 20 20 20 20 20 20 20 20 20 20 20 20 5C 40 6F 70 65 6E 62 69 62 40 63 6F 64 65 0A 20 20 20 20 20 20 20 20 20 20 20 20 5C 75 73 65 63 6F 75 6E 74 65 72 7B 65 6E 75 6D 69 76 7D 25 0A 20 20 20 20 20 20 20 20 20 20 20 20 5C 6C 65 74 5C 70 40 65 6E 75 6D 69 76 5C 40 65 6D 70 74 79 0A 20 20 20 20 20 20 20 20 20 20 20 20 5C 72 65 6E 65 77 63 6F 6D 6D 61 6E 64 5C 74 68 65 65 6E 75 6D 69 76 7B 5C 40 61 72 61 62 69 63 5C 63 40 65 6E 75 6D 69 76 7D 7D 25 0A 20 20 20 20 20 20 5C 73 6C 6F 70 70 79 0A 20 20 20 20 20 20 5C 63 6C 75 62 70 65 6E 61 6C 74 79 34 30 30 30 0A 20 20 20 20 20 20 5C 40 63 6C 75 62 70 65 6E 61 6C 74 79 20 5C 63 6C 75 62 70 65 6E 61 6C 74 79 0A 20 20 20 20 20 20 5C 77 69 64 6F 77 70 65 6E 61 6C 74 79 34 30 30 30 25 0A 20 20 20 20 20 20 5C 73 66 63 6F 64 65 60 5C 2E 5C 40 6D 7D 0A 20 20 20 20 20 7B 5C 64 65 66 5C 40 6E 6F 69 74 65 6D 65 72 72 0A 20 20 20 20 20 20 20 7B 5C 40 6C 61 74 65 78 40 77 61 72 6E 69 6E 67 7B 45 6D 70 74 79 20 60 74 68 65 62 69 62 6C 69 6F 67 72 61 70 68 79 27 20 65 6E 76 69 72 6F 6E 6D 65 6E 74 7D 7D 25 0A 20 20 20 20 20 20 5C 65 6E 64 6C 69 73 74 7D 0A 45 6E 64 20 6F 66 20 66 69 6C 65 0A 46 69 6C 65 20 70 61 67 65 2E 74 65 78 0A 5C 64 6F 63 75 6D 65 6E 74 63 6C 61 73 73 20 5B 66 6C 65 71 6E 5D 7B 61 72 74 69 63 6C 65 7D 0A 5C 73 65 74 6C 65 6E 67 74 68 20 7B 5C 6F 76 65 72 66 75 6C 6C 72 75 6C 65 20 7D 7B 31 6D 6D 7D 0A 5C 69 6E 70 75 74 7B 6C 67 77 69 6E 63 6C 75 64 65 7D 0A 0A 5C 75 73 65 70 61 63 6B 61 67 65 7B 6C 61 74 65 78 73 79 6D 7D 0A 0A 5C 73 65 74 6C 65 6E 67 74 68 7B 5C 70 61 72 69 6E 64 65 6E 74 7D 7B 30 65 6D 7D 0A 25 5C 73 65 74 6C 65 6E 67 74 68 7B 5C 70 61 72 73 6B 69 70 7D 7B 31 65 78 7D 0A 0A 25 20 54 68 65 20 66 6F 6E 74 20 6F 66 20 65 61 63 68 20 4C 6F 67 69 77 65 62 20 63 6F 6E 73 74 72 75 63 74 20 69 73 20 75 6E 64 65 72 20 74 69 67 68 74 20 63 6F 6E 74 72 6F 6C 20 65 78 63 65 70 74 20 74 68 61 74 0A 25 20 73 74 72 69 6E 67 73 20 61 72 65 20 74 79 70 65 73 65 74 20 69 6E 20 77 68 61 74 65 76 65 72 20 66 6F 6E 74 20 69 73 20 69 6E 20 65 66 66 65 63 74 20 61 74 20 74 68 65 20 74 69 6D 65 20 6F 66 0A 25 20 74 79 70 65 73 65 74 74 69 6E 67 2E 20 54 68 69 73 20 69 73 20 64 6F 6E 65 20 74 6F 20 65 6E 68 61 6E 63 65 20 74 68 65 20 72 65 61 64 61 62 69 6C 69 74 79 20 6F 66 20 73 74 72 69 6E 67 73 20 69 6E 20 74 68 65 0A 25 20 54 65 58 20 73 6F 75 72 63 65 20 67 65 6E 65 72 61 74 65 64 20 62 79 20 4C 6F 67 69 77 65 62 2E 20 54 68 65 20 64 65 66 61 75 6C 74 20 66 6F 6E 74 20 66 6F 72 20 74 79 70 65 73 65 74 74 69 6E 67 0A 25 20 73 74 72 69 6E 67 73 20 69 73 20 5C 72 6D 3A 0A 5C 65 76 65 72 79 6D 61 74 68 7B 5C 72 6D 7D 0A 0A 5C 75 73 65 70 61 63 6B 61 67 65 7B 6D 61 6B 65 69 64 78 7D 0A 5C 75 73 65 70 61 63 6B 61 67 65 7B 70 61 67 65 7D 0A 5C 6D 61 6B 65 69 6E 64 65 78 0A 5C 6E 65 77 63 6F 6D 6D 61 6E 64 7B 5C 69 6E 74 72 6F 7D 5B 31 5D 7B 5C 65 6D 70 68 7B 23 31 7D 7D 0A 5C 6E 65 77 63 6F 6D 6D 61 6E 64 7B 5C 69 6E 64 65 78 69 6E 74 72 6F 7D 5B 31 5D 7B 5C 69 6E 64 65 78 7B 23 31 7D 5C 69 6E 74 72 6F 7B 23 31 7D 7D 0A 5C 6E 65 77 6C 65 6E 67 74 68 7B 5C 62 72 61 63 6B 65 74 77 69 64 74 68 7D 0A 5C 73 65 74 74 6F 77 69 64 74 68 7B 5C 62 72 61 63 6B 65 74 77 69 64 74 68 7D 7B 24 5B 7B 7D 24 7D 0A 5C 6E 65 77 63 6F 6D 6D 61 6E 64 7B 5C 62 61 63 6B 7D 7B 5C 70 72 6F 74 65 63 74 5C 6D 61 6B 65 62 6F 78 5B 2D 31 2E 30 5C 62 72 61 63 6B 65 74 77 69 64 74 68 5D 7B 7D 7D 0A 0A 5C 75 73 65 70 61 63 6B 61 67 65 5B 64 76 69 70 64 66 6D 3D 74 72 75 65 5D 7B 68 79 70 65 72 72 65 66 7D 0A 5C 68 79 70 65 72 73 65 74 75 70 7B 70 64 66 70 61 67 65 6D 6F 64 65 3D 6E 6F 6E 65 7D 0A 5C 68 79 70 65 72 73 65 74 75 70 7B 70 64 66 73 74 61 72 74 70 61 67 65 3D 31 7D 0A 5C 68 79 70 65 72 73 65 74 75 70 7B 70 64 66 73 74 61 72 74 76 69 65 77 3D 46 69 74 42 48 7D 0A 5C 68 79 70 65 72 73 65 74 75 70 7B 70 64 66 70 61 67 65 73 63 72 6F 70 3D 7B 31 32 30 20 31 33 30 20 34 39 30 20 37 33 30 7D 7D 0A 5C 68 79 70 65 72 73 65 74 75 70 7B 70 64 66 74 69 74 6C 65 3D 41 20 4C 6F 67 69 77 65 62 20 62 61 73 65 20 70 61 67 65 7D 0A 5C 68 79 70 65 72 73 65 74 75 70 7B 63 6F 6C 6F 72 6C 69 6E 6B 73 3D 74 72 75 65 7D 0A 5C 62 69 62 6C 69 6F 67 72 61 70 68 79 73 74 79 6C 65 7B 70 6C 61 69 6E 7D 0A 0A 25 20 5C 74 65 78 7B 73 6F 6D 65 74 68 69 6E 67 7D 20 77 72 69 74 65 73 20 73 6F 6D 65 74 68 69 6E 67 20 74 6F 20 70 61 67 65 2E 6F 74 78 20 66 6F 72 20 6C 61 74 65 72 20 69 6E 63 6C 75 73 69 6F 6E 0A 5C 6E 65 77 77 72 69 74 65 5C 6F 75 74 65 78 0A 5C 6E 65 77 74 6F 6B 73 5C 74 6F 6B 74 65 78 0A 5C 69 6D 6D 65 64 69 61 74 65 5C 6F 70 65 6E 6F 75 74 5C 6F 75 74 65 78 3D 70 61 67 65 2E 6F 74 78 0A 5C 6E 65 77 63 6F 6D 6D 61 6E 64 7B 5C 74 65 78 7D 5B 31 5D 7B 5C 74 6F 6B 74 65 78 3D 7B 5C 69 74 65 6D 20 23 31 7D 5C 69 6D 6D 65 64 69 61 74 65 5C 77 72 69 74 65 5C 6F 75 74 65 78 7B 5C 74 68 65 5C 74 6F 6B 74 65 78 7D 7D 0A 0A 25 20 5C 74 65 73 74 7B 73 6F 6D 65 74 68 69 6E 67 7D 20 77 72 69 74 65 73 20 73 6F 6D 65 74 68 69 6E 67 20 74 6F 20 70 61 67 65 2E 74 73 74 20 66 6F 72 20 6C 61 74 65 72 20 69 6E 63 6C 75 73 69 6F 6E 0A 5C 6E 65 77 77 72 69 74 65 5C 6F 75 74 65 73 74 0A 5C 69 6D 6D 65 64 69 61 74 65 5C 6F 70 65 6E 6F 75 74 5C 6F 75 74 65 73 74 3D 70 61 67 65 2E 74 73 74 0A 5C 6E 65 77 63 6F 6D 6D 61 6E 64 7B 5C 74 65 73 74 7D 5B 31 5D 7B 5C 74 6F 6B 74 65 78 3D 7B 5C 69 74 65 6D 20 23 31 7D 5C 69 6D 6D 65 64 69 61 74 65 5C 77 72 69 74 65 5C 6F 75 74 65 73 74 7B 5C 74 68 65 5C 74 6F 6B 74 65 78 7D 7D 0A 0A 25 20 43 6F 6E 63 65 72 6E 69 6E 67 20 5C 63 61 74 63 6F 64 65 60 5C 40 3D 31 31 20 3A 20 53 65 65 20 74 68 65 20 54 65 58 62 6F 6F 6B 2C 20 41 70 70 65 6E 64 69 78 20 42 20 28 70 61 67 65 20 33 34 34 29 2E 0A 25 20 5C 61 66 74 65 72 68 65 61 64 69 6E 67 20 73 75 70 70 72 65 73 73 65 73 20 69 6E 64 65 6E 74 61 74 69 6F 6E 20 6F 6E 63 65 2C 20 63 2E 66 2E 20 6C 61 74 65 78 2E 6C 74 78 2E 0A 25 20 5C 64 69 73 70 6C 61 79 7B 73 6F 6D 65 74 68 69 6E 67 7D 20 64 69 73 70 6C 61 79 73 20 73 6F 6D 65 74 68 69 6E 67 20 61 73 20 61 20 64 69 73 70 6C 61 79 65 64 20 65 71 75 61 74 69 6F 6E 20 65 78 63 65 70 74 0A 25 20 74 68 61 74 20 6C 69 6E 65 62 72 65 61 6B 69 6E 67 20 69 73 20 70 6F 73 73 69 62 6C 65 20 61 6E 64 20 64 69 73 70 6C 61 79 6D 61 74 68 20 69 73 20 6E 6F 74 20 74 75 72 6E 65 64 20 6F 6E 20 62 79 20 64 65 66 61 75 6C 74 2E 0A 25 20 54 68 65 20 66 69 72 73 74 20 70 61 72 61 67 72 61 70 68 20 61 66 74 65 72 20 5C 64 69 73 70 6C 61 79 7B 73 6F 6D 65 74 68 69 6E 67 7D 20 69 73 20 75 6E 69 6E 64 65 6E 74 65 64 2E 0A 25 20 47 6C 75 65 20 62 65 6C 6F 77 20 66 6F 72 6D 75 6C 61 73 20 6D 61 79 20 62 65 20 77 72 6F 6E 67 2E 20 54 68 65 20 64 65 66 69 6E 69 74 69 6F 6E 20 6F 66 20 5C 64 69 73 70 6C 61 79 20 6D 69 73 73 65 73 0A 25 20 73 6F 6D 65 74 68 69 6E 67 20 6C 69 6B 65 20 5C 61 64 64 76 73 70 61 63 65 7B 5C 62 65 6C 6F 77 64 69 73 70 6C 61 79 73 6B 69 70 7D 2E 0A 5C 63 61 74 63 6F 64 65 60 5C 40 3D 31 31 0A 5C 64 65 66 5C 61 66 74 65 72 68 65 61 64 69 6E 67 7B 5C 40 61 66 74 65 72 68 65 61 64 69 6E 67 7D 0A 5C 63 61 74 63 6F 64 65 60 5C 40 3D 31 32 0A 5C 6E 65 77 63 6F 6D 6D 61 6E 64 7B 5C 64 69 73 70 6C 61 79 7D 5B 31 5D 7B 5C 62 65 67 69 6E 7B 6C 69 73 74 7D 7B 7D 7B 5C 73 65 74 6C 65 6E 67 74 68 7B 5C 6C 65 66 74 6D 61 72 67 69 6E 7D 7B 5C 6D 61 74 68 69 6E 64 65 6E 74 7D 7D 0A 5C 69 74 65 6D 20 23 31 5C 65 6E 64 7B 6C 69 73 74 7D 0A 0A 5C 61 66 74 65 72 68 65 61 64 69 6E 67 7D 0A 5C 6E 65 77 63 6F 6D 6D 61 6E 64 7B 5C 73 74 61 74 65 6D 65 6E 74 7D 5B 31 5D 7B 5C 62 65 67 69 6E 7B 6C 69 73 74 7D 7B 7D 7B 5C 73 65 74 6C 65 6E 67 74 68 7B 5C 6C 65 66 74 6D 61 72 67 69 6E 7D 7B 30 6D 6D 7D 7D 0A 5C 69 74 65 6D 20 23 31 5C 65 6E 64 7B 6C 69 73 74 7D 0A 0A 5C 61 66 74 65 72 68 65 61 64 69 6E 67 7D 0A 0A 5C 62 65 67 69 6E 7B 64 6F 63 75 6D 65 6E 74 7D 0A 5C 74 69 74 6C 65 7B 50 72 6F 70 6F 73 69 74 69 6F 6E 61 6C 20 43 61 6C 63 75 6C 75 73 7D 0A 5C 61 75 74 68 6F 72 20 7B 41 6C 6C 61 6E 20 48 76 61 6D 20 50 65 74 65 72 73 65 6E 7D 0A 5C 6D 61 6B 65 74 69 74 6C 65 0A 0A 03 C5 01 D9 08 80 01 02 70 72 6F 70 6F 73 69 74 69 6F 6E 61 6C 20 63 61 6C 63 75 6C 75 73 03 05 02 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 84 01 02 0A 54 5F 7B 50 72 6F 70 7D 03 05 02 7D 0A 44 65 66 69 6E 65 20 74 68 65 6F 72 79 3A 0A 03 C5 01 E9 0C 84 01 05 02 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 84 01 02 70 72 6F 70 6F 73 69 74 69 6F 6E 61 6C 20 74 68 65 6F 72 79 03 05 02 7D 0A 0A 5C 73 75 62 73 65 63 74 69 6F 6E 2A 7B 49 6D 70 6C 69 63 61 74 69 6F 6E 7D 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 B8 01 CD 01 D1 01 02 23 31 2E 0A 5C 52 69 67 68 74 61 72 72 6F 77 7B 7D 23 32 2E 03 05 02 7D 0A 0A 03 C5 01 D1 08 B8 01 CD 01 D1 01 B5 10 A1 10 CD 01 D1 01 05 02 0A 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 B8 01 CD 01 D1 01 02 2A 20 69 6D 70 6C 79 20 2A 03 05 02 7D 0A 0A 5C 74 65 73 74 7B 03 C5 01 C9 09 B8 01 ED 01 ED 01 05 02 7D 0A 0A 5C 74 65 73 74 7B 03 C5 01 CD 09 B8 01 ED 01 89 05 05 02 7D 0A 0A 5C 74 65 73 74 7B 03 C5 01 C9 09 B8 01 89 05 ED 01 05 02 7D 0A 0A 5C 74 65 73 74 7B 03 C5 01 C9 09 B8 01 89 05 89 05 05 02 7D 0A 0A 5C 73 75 62 73 65 63 74 69 6F 6E 2A 7B 41 78 69 6F 6D 73 7D 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 88 01 02 41 31 03 05 02 7D 0A 0A 03 C5 01 A5 0C 84 01 88 01 8D 11 89 0A 8D 11 8D 0A B8 01 89 0A B8 01 8D 0A 89 0A 05 02 0A 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 88 01 02 61 78 69 6F 6D 20 6F 6E 65 03 05 02 7D 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 8C 01 02 41 32 03 05 02 7D 0A 0A 03 C5 01 A5 0C 84 01 8C 01 8D 11 89 0A 8D 11 8D 0A 8D 11 91 0A B8 01 8D 09 B8 01 89 0A B8 01 8D 0A 91 0A B8 01 8D 09 B8 01 89 0A 8D 0A B8 01 89 0A 91 0A 05 02 0A 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 8C 01 02 61 78 69 6F 6D 20 74 77 6F 03 05 02 7D 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 90 01 02 41 33 03 05 02 7D 0A 0A 03 C5 01 A5 0C 84 01 90 01 8D 11 89 0A 8D 11 8D 0A B8 01 8D 09 B8 01 A1 10 89 0A A1 10 8D 0A B8 01 8D 09 B8 01 A1 10 89 0A 8D 0A 89 0A 05 02 0A 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 90 01 02 61 78 69 6F 6D 20 74 68 72 65 65 03 05 02 7D 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 94 01 02 41 34 03 05 02 7D 0A 0A 03 C5 01 A5 0C 84 01 94 01 8D 11 89 0A 8D 11 8D 0A 8D 11 91 0A 85 11 89 10 91 0A 8D 0A 89 0A 8D 11 8D 0A B8 01 89 0A F1 0A 89 0A 8D 0A 91 0A 05 02 0A 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 94 01 02 61 78 69 6F 6D 20 66 6F 75 72 03 05 02 7D 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 98 01 02 41 35 03 05 02 7D 0A 0A 03 C5 01 A5 0C 84 01 98 01 8D 11 89 0A 8D 11 8D 0A 8D 11 91 0A 85 11 A1 10 81 10 91 0A 89 0A B8 01 8D 09 8D 11 91 0A B8 01 89 0A 8D 0A B8 01 89 0A 8D 11 91 0A 8D 0A 05 02 0A 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 98 01 02 61 78 69 6F 6D 20 66 69 76 65 03 05 02 7D 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 9C 01 02 4D 50 03 05 02 7D 0A 0A 03 C5 01 A5 0C 84 01 9C 01 8D 11 89 0A 8D 11 8D 0A 81 11 89 0A 81 11 B8 01 89 0A 8D 0A 8D 0A 05 02 0A 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 9C 01 02 61 78 69 6F 6D 20 6D 70 03 05 02 7D 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 A0 01 02 47 65 6E 03 05 02 7D 0A 0A 03 C5 01 A5 0C 84 01 A0 01 8D 11 89 0A 8D 11 8D 0A 81 11 89 0A 8D 11 8D 0A 89 0A 05 02 0A 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 A0 01 02 61 78 69 6F 6D 20 67 65 6E 03 05 02 7D 0A 0A 5C 73 75 62 73 65 63 74 69 6F 6E 2A 7B 50 72 6F 6F 66 7D 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 A4 01 02 4D 65 6E 64 65 6C 73 6F 6E 5C 20 5C 74 65 78 74 62 66 7B 31 2E 38 7D 03 05 02 7D 0A 0A 03 C5 01 9D 0C 84 01 A4 01 8D 11 89 0A B8 01 89 0A 89 0A 05 02 0A 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 A4 01 02 6D 65 6E 64 65 6C 73 6F 6E 20 6C 65 6D 6D 61 20 6F 6E 65 20 65 69 67 68 74 03 05 02 7D 0A 0A 03 C5 01 C2 03 84 01 A4 01 D6 03 89 0A C6 03 B2 01 8C 01 B8 01 8D 09 B8 01 89 0A B8 01 8D 09 B8 01 89 0A 89 0A 89 0A B8 01 8D 09 B8 01 89 0A B8 01 89 0A 89 0A B8 01 89 0A 89 0A C6 03 B6 01 88 01 B8 01 89 0A B8 01 8D 09 B8 01 89 0A 89 0A 89 0A C6 03 BA 01 B6 03 B6 03 9C 01 B6 01 B2 01 B8 01 8D 09 B8 01 89 0A B8 01 89 0A 89 0A B8 01 89 0A 89 0A C6 03 BE 01 88 01 B8 01 89 0A B8 01 89 0A 89 0A CA 03 B6 03 B6 03 9C 01 BE 01 BA 01 B8 01 89 0A 89 0A 05 02 0A 0A 5C 73 75 62 73 65 63 74 69 6F 6E 2A 7B 45 78 70 65 72 69 6D 65 6E 74 61 6C 7D 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 A8 01 02 4D 65 6E 64 65 6C 73 6F 6E 5C 20 5C 74 65 78 74 62 66 7B 31 2E 31 30 7D 20 61 03 05 02 7D 0A 0A 03 C5 01 9D 0C 84 01 A8 01 8D 11 99 0A 8D 11 95 0A 8D 11 9D 0A 81 11 B8 01 95 0A 99 0A 81 11 B8 01 99 0A 9D 0A B8 01 95 0A 9D 0A 05 02 0A 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 A8 01 02 6D 65 6E 64 65 6C 73 6F 6E 20 63 6F 72 6F 6C 6C 61 72 79 20 6F 6E 65 20 74 65 6E 20 61 03 05 02 7D 0A 0A 03 C5 01 C2 03 84 01 A8 01 D6 03 99 0A D6 03 95 0A D6 03 9D 0A CE 03 B2 01 B8 01 95 0A 99 0A CE 03 B6 01 B8 01 99 0A 9D 0A C6 03 BA 01 8C 01 B8 01 8D 09 B8 01 95 0A B8 01 99 0A 9D 0A B8 01 8D 09 B8 01 95 0A 99 0A B8 01 95 0A 9D 0A C6 03 BE 01 88 01 B8 01 8D 09 B8 01 99 0A 9D 0A B8 01 95 0A 8D 09 B8 01 99 0A 9D 0A C6 03 C2 01 B6 03 B6 03 9C 01 B6 01 BE 01 B8 01 95 0A 8D 09 B8 01 99 0A 9D 0A C6 03 C6 01 B6 03 B6 03 9C 01 C2 01 BA 01 B8 01 8D 09 B8 01 95 0A 99 0A B8 01 95 0A 9D 0A CA 03 B6 03 B6 03 9C 01 B2 01 C6 01 B8 01 95 0A 9D 0A 05 02 0A 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 AC 01 02 4D 65 6E 64 65 6C 73 6F 6E 5C 20 5C 74 65 78 74 62 66 7B 31 2E 31 30 7D 20 62 03 05 02 7D 0A 0A 03 C5 01 9D 0C 84 01 AC 01 8D 11 95 0A 8D 11 99 0A 8D 11 9D 0A 81 11 B8 01 95 0A B8 01 99 0A 9D 0A 81 11 99 0A B8 01 95 0A 9D 0A 05 02 0A 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 AC 01 02 6D 65 6E 64 65 6C 73 6F 6E 20 63 6F 72 6F 6C 6C 61 72 79 20 6F 6E 65 20 74 65 6E 20 62 03 05 02 7D 0A 0A 03 C5 01 C2 03 84 01 AC 01 D6 03 95 0A D6 03 99 0A D6 03 9D 0A CE 03 B2 01 B8 01 95 0A B8 01 99 0A 9D 0A CE 03 B6 01 99 0A C6 03 BA 01 8C 01 B8 01 8D 09 B8 01 95 0A B8 01 99 0A 9D 0A B8 01 8D 09 B8 01 95 0A 99 0A B8 01 95 0A 9D 0A C6 03 BE 01 88 01 B8 01 99 0A B8 01 95 0A 99 0A C6 03 C2 01 B6 03 B6 03 9C 01 B6 01 BE 01 B8 01 95 0A 99 0A C6 03 C6 01 B6 03 B6 03 9C 01 B2 01 BA 01 B8 01 8D 09 B8 01 95 0A 99 0A B8 01 95 0A 9D 0A CA 03 B6 03 B6 03 9C 01 C2 01 C6 01 B8 01 95 0A 9D 0A 05 02 0A 0A 0A 5C 74 65 78 7B 03 C5 01 DD 08 B0 01 02 4D 65 6E 64 65 6C 73 6F 6E 5C 20 5C 74 65 78 74 62 66 7B 31 2E 31 31 7D 20 61 03 05 02 7D 0A 0A 03 C5 01 9D 0C 84 01 B0 01 8D 11 A1 0A B8 01 A1 10 A1 10 A1 0A A1 0A 05 02 0A 5C 66 6F 6F 74 6E 6F 74 65 7B 03 C5 01 D9 08 B0 01 02 6D 65 6E 64 65 6C 73 6F 6E 20 6C 65 6D 6D 61 20 6F 6E 65 20 65 6C 65 76 65 6E 20 61 03 05 02 7D 0A 0A 03 C5 01 C2 03 84 01 B0 01 D6 03 A1 0A C6 03 B2 01 90 01 B8 01 8D 09 B8 01 A1 10 A1 0A A1 10 A1 10 A1 0A B8 01 8D 09 B8 01 A1 10 A1 0A A1 10 A1 0A A1 0A C6 03 B6 01 A4 01 B8 01 A1 10 A1 0A A1 10 A1 0A C6 03 BA 01 88 01 B8 01 A1 10 A1 10 A1 0A 8D 09 B8 01 A1 10 A1 0A A1 10 A1 10 A1 0A C6 03 BE 01 B6 03 B6 03 AC 01 B2 01 B6 01 B8 01 8D 09 B8 01 A1 10 A1 0A A1 10 A1 10 A1 0A A1 0A CA 03 B6 03 B6 03 A8 01 BA 01 BE 01 B8 01 A1 10 A1 10 A1 0A A1 0A 05 02 0A 0A 5C 61 70 70 65 6E 64 69 78 0A 0A 5C 73 65 63 74 69 6F 6E 7B 5C 54 65 58 5C 20 64 65 66 69 6E 69 74 69 6F 6E 73 7D 0A 0A 5C 62 65 67 69 6E 7B 6C 69 73 74 7D 7B 7D 7B 0A 5C 73 65 74 6C 65 6E 67 74 68 7B 5C 6C 65 66 74 6D 61 72 67 69 6E 7D 7B 35 65 6D 7D 0A 5C 73 65 74 6C 65 6E 67 74 68 7B 5C 69 74 65 6D 69 6E 64 65 6E 74 7D 7B 2D 35 65 6D 7D 7D 0A 5C 69 6D 6D 65 64 69 61 74 65 5C 63 6C 6F 73 65 6F 75 74 5C 6F 75 74 65 78 0A 5C 69 6E 70 75 74 7B 2E 2F 70 61 67 65 2E 6F 74 78 7D 0A 5C 65 6E 64 7B 6C 69 73 74 7D 0A 0A 5C 73 65 63 74 69 6F 6E 7B 54 65 73 74 7D 0A 0A 5C 62 65 67 69 6E 7B 6C 69 73 74 7D 7B 7D 7B 0A 5C 73 65 74 6C 65 6E 67 74 68 7B 5C 6C 65 66 74 6D 61 72 67 69 6E 7D 7B 35 65 6D 7D 0A 5C 73 65 74 6C 65 6E 67 74 68 7B 5C 69 74 65 6D 69 6E 64 65 6E 74 7D 7B 2D 35 65 6D 7D 7D 0A 5C 69 6D 6D 65 64 69 61 74 65 5C 63 6C 6F 73 65 6F 75 74 5C 6F 75 74 65 73 74 0A 5C 69 6E 70 75 74 7B 2E 2F 70 61 67 65 2E 74 73 74 7D 0A 5C 65 6E 64 7B 6C 69 73 74 7D 0A 0A 5C 73 65 63 74 69 6F 6E 7B 50 72 69 6F 72 69 74 79 20 74 61 62 6C 65 7D 0A 03 C9 01 C5 01 E5 08 06 08 80 01 08 81 01 08 BD 01 0B 08 C1 01 0B 08 C5 01 0B 08 C9 01 0B 08 CD 01 08 D1 01 08 D5 01 08 85 01 0B 0B 08 D9 01 0B 0B 0B 08 DD 01 08 E1 01 08 E5 01 08 E9 01 08 AD 01 08 ED 01 08 F1 01 0B 0B 0B 08 F5 01 0B 0B 0B 08 F9 01 08 FD 01 08 FD 04 08 81 05 0B 08 85 05 0B 08 89 05 08 8D 05 08 91 05 08 95 05 08 99 05 08 9D 05 08 A1 05 08 A5 05 08 A9 05 08 AD 05 08 B1 05 08 B5 05 08 B9 05 08 BD 05 08 C1 05 08 C5 05 08 C9 05 08 CD 05 08 D1 05 08 D5 05 08 D9 05 08 DD 05 08 E1 05 08 E5 05 08 E9 05 08 ED 05 08 F1 05 08 F5 05 08 F9 05 08 FD 05 08 81 06 08 85 06 08 89 06 08 8D 06 08 91 06 08 95 06 08 99 06 08 9D 06 08 A1 06 08 A5 06 08 A9 06 08 AD 06 08 B1 06 08 B5 06 08 B9 06 0B 08 BD 06 0B 0B 0B 08 C1 06 0B 0B 08 C5 06 08 C9 06 08 CD 06 08 D1 06 08 D5 06 0B 0B 0B 08 D9 06 0B 08 DD 06 0B 08 E1 06 0B 08 E5 06 0B 08 E9 06 0B 0B 08 ED 06 0B 0B 08 F1 06 0B 08 F5 06 0B 0B 08 F9 06 0B 0B 08 FD 06 0B 0B 0B 08 81 07 0B 0B 0B 0B 08 85 07 0B 0B 0B 0B 0B 08 89 07 0B 0B 08 8D 07 0B 0B 08 91 07 08 95 07 08 99 07 08 9D 07 08 A1 07 08 A5 07 08 A9 07 08 AD 07 08 B1 07 08 B5 07 08 B9 07 08 BD 07 08 C1 07 08 C5 07 08 C9 07 08 CD 07 08 D1 07 08 D5 07 08 D9 07 08 DD 07 08 E1 07 08 E5 07 08 E9 07 08 ED 07 08 F1 07 08 F5 07 08 F9 07 08 FD 07 08 81 08 08 85 08 08 89 08 08 8D 08 0B 0B 0B 08 91 08 0B 0B 0B 0B 0B 08 95 08 0B 0B 0B 0B 08 99 08 0B 0B 0B 0B 08 9D 08 0B 0B 0B 08 A1 08 0B 0B 0B 0B 08 A5 08 0B 08 A9 08 0B 0B 0B 08 AD 08 0B 0B 0B 0B 08 B1 08 0B 0B 0B 08 B5 08 08 B9 08 08 BD 08 0B 0B 08 C1 08 0B 0B 0B 08 C5 08 0B 08 C9 08 08 CD 08 0B 0B 08 D1 08 0B 0B 08 D5 08 0B 0B 08 D9 08 0B 0B 08 DD 08 0B 0B 08 E1 08 0B 0B 08 E5 08 0B 08 E9 08 08 ED 08 0B 08 F1 08 0B 08 F5 08 0B 0B 0B 0B 08 F9 08 0B 0B 0B 08 FD 08 0B 0B 0B 08 81 09 0B 0B 0B 08 85 09 0B 0B 0B 0B 08 89 09 0B 0B 0B 08 8D 09 0B 08 91 09 0B 0B 08 95 09 0B 0B 0B 08 99 09 0B 08 9D 09 0B 08 A1 09 0B 08 A5 09 0B 0B 08 A9 09 0B 0B 08 AD 09 0B 0B 08 B1 09 08 B5 09 0B 0B 08 B9 09 0B 0B 0B 08 BD 09 0B 0B 0B 08 C1 09 0B 0B 08 C5 09 0B 0B 0B 08 C9 09 0B 08 CD 09 0B 08 D1 09 0B 08 D5 09 08 D9 09 0B 0B 08 DD 09 08 E1 09 08 E5 09 0B 0B 08 E9 09 08 ED 09 08 F1 09 08 F5 09 08 F9 09 08 FD 09 08 81 0A 08 85 0A 0B 08 89 0A 08 8D 0A 08 91 0A 08 95 0A 08 99 0A 08 9D 0A 08 A1 0A 08 A5 0A 08 A9 0A 08 AD 0A 08 B1 0A 08 B5 0A 08 B9 0A 08 BD 0A 08 C1 0A 08 C5 0A 08 C9 0A 08 CD 0A 08 D1 0A 08 D5 0A 08 D9 0A 08 DD 0A 08 E1 0A 08 E5 0A 08 E9 0A 08 ED 0A 08 F1 0A 0B 0B 0B 08 F5 0A 0B 0B 0B 08 F9 0A 08 FD 0A 08 81 0B 0B 08 85 0B 0B 0B 08 89 0B 0B 0B 08 8D 0B 0B 0B 0B 08 91 0B 0B 0B 08 95 0B 0B 0B 08 99 0B 0B 0B 08 9D 0B 0B 0B 08 A1 0B 0B 0B 0B 08 A5 0B 0B 0B 08 A9 0B 0B 0B 0B 08 AD 0B 0B 0B 08 B1 0B 0B 0B 0B 08 B5 0B 0B 0B 08 B9 0B 0B 0B 0B 08 BD 0B 0B 0B 08 C1 0B 0B 0B 0B 08 C5 0B 0B 0B 0B 0B 08 C9 0B 0B 0B 08 CD 0B 0B 0B 0B 08 D1 0B 0B 0B 08 D5 0B 0B 0B 0B 0B 08 D9 0B 0B 0B 08 DD 0B 0B 0B 0B 0B 08 E1 0B 0B 0B 08 E5 0B 0B 0B 0B 0B 08 E9 0B 0B 0B 0B 0B 0B 08 ED 0B 0B 0B 08 F1 0B 0B 0B 0B 0B 08 F5 0B 0B 0B 08 F9 0B 0B 0B 0B 08 FD 0B 0B 0B 0B 0B 08 81 0C 0B 08 85 0C 0B 0B 0B 08 89 0C 0B 0B 0B 08 8D 0C 08 91 0C 08 95 0C 0B 0B 08 99 0C 0B 0B 08 9D 0C 0B 0B 0B 08 A1 0C 0B 0B 0B 08 A5 0C 0B 0B 0B 08 A9 0C 0B 0B 0B 08 AD 0C 08 B1 0C 0B 08 B5 0C 0B 0B 08 B9 0C 0B 0B 0B 0B 08 BD 0C 0B 0B 08 C1 0C 0B 0B 0B 0B 08 C5 0C 0B 0B 0B 0B 08 C9 0C 0B 0B 0B 0B 08 CD 0C 0B 0B 08 D1 0C 0B 08 D5 0C 0B 08 D9 0C 0B 0B 08 DD 0C 0B 0B 08 E1 0C 08 E5 0C 0B 0B 08 E9 0C 0B 08 ED 0C 0B 0B 08 F1 0C 0B 0B 08 F5 0C 0B 0B 0B 08 F9 0C 08 FD 0C 08 81 0D 08 85 0D 08 89 0D 08 8D 0D 08 91 0D 08 95 0D 08 99 0D 08 9D 0D 08 A1 0D 08 A5 0D 0B 0B 08 A9 0D 0B 0B 08 AD 0D 0B 08 B1 0D 0B 08 B5 0D 0B 0B 0B 08 B9 0D 0B 0B 0B 08 BD 0D 0B 0B 0B 0B 0B 08 C1 0D 0B 0B 0B 0B 0B 08 C5 0D 0B 0B 0B 0B 0B 08 C9 0D 0B 0B 08 CD 0D 0B 0B 0B 08 82 01 08 86 01 0B 0B 0B 08 8A 01 0B 0B 0B 08 8E 01 0B 0B 08 92 01 0B 0B 08 96 01 0B 0B 08 9A 01 0B 0B 08 9E 01 0B 0B 0B 08 A2 01 0B 0B 0B 08 A6 01 0B 0B 0B 08 AA 01 0B 0B 0B 08 AE 01 0B 0B 0B 08 B2 01 08 B6 01 08 BA 01 08 BE 01 08 C2 01 08 C6 01 08 CA 01 08 CE 01 08 D2 01 08 D6 01 08 DA 01 08 DE 01 08 E2 01 08 E6 01 08 EA 01 08 EE 01 08 F2 01 08 F6 01 08 FA 01 08 FE 01 08 82 02 08 86 02 08 8A 02 08 8E 02 08 92 02 08 96 02 08 9A 02 08 9E 02 08 A2 02 08 A6 02 08 AA 02 08 AE 02 08 B2 02 08 B6 02 08 BA 02 08 BE 02 08 C2 02 08 C6 02 08 CA 02 08 CE 02 08 D2 02 08 D6 02 08 DA 02 08 DE 02 08 E2 02 08 E6 02 08 EA 02 08 EE 02 08 F2 02 08 F6 02 08 FA 02 08 FE 02 08 82 03 08 86 03 08 8A 03 08 8E 03 08 92 03 08 96 03 08 9A 03 0B 0B 08 9E 03 0B 0B 0B 08 A2 03 0B 0B 0B 08 A6 03 08 AA 03 0B 0B 08 AE 03 0B 0B 0B 08 B2 03 0B 0B 0B 0B 08 84 01 08 88 01 08 8C 01 08 90 01 08 94 01 08 98 01 08 9C 01 08 A0 01 08 A4 01 08 A8 01 08 AC 01 08 B0 01 09 B4 01 06 08 D1 0D 0B 0B 08 D5 0D 0B 08 D9 0D 0B 0B 08 DD 0D 0B 0B 0B 09 E1 0D 0B 0B 0B 06 08 89 01 0B 08 8D 01 08 B1 01 0B 08 B5 01 0B 0B 08 B9 01 0B 0B 08 A9 01 0B 08 81 02 0B 08 85 02 0B 08 89 02 0B 08 8D 02 0B 08 91 02 0B 08 95 02 0B 08 99 02 0B 08 9D 02 0B 08 A1 02 0B 08 A5 02 0B 08 A9 02 0B 08 AD 02 0B 08 B1 02 0B 08 B5 02 0B 08 B9 02 0B 08 BD 02 0B 08 C1 02 0B 08 C5 02 0B 08 C9 02 0B 08 CD 02 0B 08 D1 02 0B 08 D5 02 0B 08 D9 02 0B 08 DD 02 0B 08 E1 02 0B 08 E5 02 0B 08 E9 02 0B 08 ED 02 0B 08 F1 02 0B 08 F5 02 0B 08 F9 02 0B 08 FD 02 0B 08 81 03 0B 08 85 03 0B 08 89 03 0B 08 8D 03 0B 08 91 03 0B 08 95 03 0B 08 99 03 0B 08 9D 03 0B 08 A1 03 0B 08 A5 03 0B 08 A9 03 0B 08 AD 03 0B 08 B1 03 0B 08 B5 03 0B 08 B9 03 0B 08 BD 03 0B 08 C1 03 0B 08 C5 03 0B 08 C9 03 0B 08 CD 03 0B 08 D1 03 0B 08 D5 03 0B 08 D9 03 0B 08 DD 03 0B 08 E1 03 0B 08 E5 03 0B 08 E9 03 0B 08 ED 03 0B 08 F1 03 0B 08 F5 03 0B 08 F9 03 0B 08 FD 03 0B 08 81 04 0B 08 85 04 0B 08 89 04 0B 08 8D 04 0B 08 91 04 0B 08 95 04 0B 08 99 04 0B 08 9D 04 0B 08 A1 04 0B 08 A5 04 0B 08 A9 04 0B 08 AD 04 0B 08 B1 04 0B 08 B5 04 0B 08 B9 04 0B 08 BD 04 0B 08 C1 04 0B 08 C5 04 0B 08 C9 04 0B 08 CD 04 0B 08 D1 04 0B 08 D5 04 0B 08 D9 04 0B 08 DD 04 0B 08 E1 04 0B 08 E5 04 0B 08 E9 04 0B 08 ED 04 0B 08 F1 04 0B 08 F5 04 0B 08 F9 04 0B 08 99 01 0B 0B 08 9D 01 0B 0B 08 A1 01 0B 0B 08 A5 01 0B 08 E5 0D 0B 09 E9 0D 0B 06 08 ED 0D 0B 08 F1 0D 0B 08 F5 0D 08 F9 0D 0B 0B 09 FD 0D 0B 0B 06 08 81 0E 0B 0B 09 85 0E 0B 0B 06 08 89 0E 0B 08 8D 0E 0B 08 91 0E 0B 08 95 0E 0B 08 99 0E 0B 08 9D 0E 0B 08 A1 0E 0B 08 A5 0E 0B 08 A9 0E 0B 08 AD 0E 0B 08 B1 0E 0B 08 B5 0E 0B 08 B9 0E 0B 08 BD 0E 0B 08 C1 0E 0B 08 C5 0E 0B 08 C9 0E 0B 08 CD 0E 0B 08 D1 0E 0B 08 D5 0E 0B 08 D9 0E 0B 08 DD 0E 0B 08 E1 0E 0B 08 E5 0E 0B 08 E9 0E 0B 08 ED 0E 0B 08 F1 0E 0B 08 F5 0E 0B 08 F9 0E 0B 09 FD 0E 0B 06 08 81 0F 0B 0B 09 85 0F 0B 0B 06 08 89 0F 0B 0B 08 8D 0F 0B 0B 08 91 0F 0B 0B 08 95 0F 0B 0B 08 99 0F 0B 0B 09 9D 0F 0B 0B 06 08 A1 0F 0B 0B 08 A5 0F 0B 0B 09 A9 0F 0B 0B 07 08 AD 0F 0B 0B 08 B1 0F 0B 0B 08 B5 0F 0B 0B 08 B9 0F 0B 0B 08 BD 0F 0B 0B 09 C1 0F 0B 0B 07 09 C5 0F 0B 0B 06 08 C9 0F 0B 0B 08 CD 0F 0B 0B 08 D1 0F 0B 0B 08 D5 0F 0B 0B 08 D9 0F 0B 0B 08 DD 0F 0B 0B 08 E1 0F 0B 0B 08 E5 0F 0B 0B 08 E9 0F 0B 0B 08 ED 0F 0B 0B 08 F1 0F 0B 0B 08 F5 0F 0B 0B 08 F9 0F 0B 0B 08 FD 0F 0B 0B 08 81 10 0B 0B 08 85 10 0B 0B 08 89 10 0B 0B 0B 08 8D 10 0B 0B 0B 08 91 10 0B 0B 08 95 10 0B 0B 08 99 10 0B 0B 09 9D 10 0B 0B 06 09 A1 10 0B 06 08 A5 10 0B 0B 08 A9 10 0B 0B 08 AD 10 0B 0B 09 B1 10 0B 0B 06 08 B5 10 0B 0B 08 B9 10 0B 0B 09 BD 10 0B 0B 07 09 C1 10 0B 0B 07 08 C5 10 0B 0B 09 C9 10 0B 0B 07 09 B8 01 0B 0B 06 09 CD 10 0B 0B 0B 06 08 D1 10 0B 0B 08 D5 10 0B 08 D9 10 0B 0B 0B 08 DD 10 0B 0B 0B 09 E1 10 0B 0B 0B 06 08 E5 10 0B 08 E9 10 0B 08 ED 10 0B 08 F1 10 0B 08 F5 10 0B 09 F9 10 0B 06 08 FD 10 0B 0B 08 B6 03 0B 0B 08 BA 03 0B 0B 09 BE 03 0B 0B 07 08 81 11 0B 0B 08 85 11 0B 0B 09 89 11 0B 0B 06 09 8D 11 0B 0B 07 09 91 11 0B 0B 07 09 95 11 0B 0B 06 09 99 11 0B 0B 06 08 C2 03 0B 0B 0B 08 C6 03 0B 0B 0B 0B 08 CA 03 0B 0B 08 CE 03 0B 0B 0B 08 D2 03 0B 0B 0B 08 D6 03 0B 0B 09 DA 03 0B 0B 0B 07 08 91 01 0B 0B 09 95 01 0B 0B 0B 06 09 9D 11 0B 0B 06 09 A1 11 0B 0B 03 02 0A 0A 5C 65 6E 64 7B 64 6F 63 75 6D 65 6E 74 7D 0A 45 6E 64 20 6F 66 20 66 69 6C 65 0A 6C 61 74 65 78 20 70 61 67 65 03

The pyk compiler, version 0.grue.20050502+ by Klaus Grue,
GRD-2005-06-02.UTC:18:16:36.700631 = MJD-53523.TAI:18:17:08.700631 = LGT-4624453028700631e-6