\mnb150ÿ{\rtf1\ansi\deff0\deftab720{\fonttbl{\f0\fswiss MS Sans Serif;}{\f1\froman\fcharset2 Symbol;}{\f2\fswiss\fprq2 System;}{\f3\fmodern\fprq1 Courier New;}{\f4\froman\fcharset1 Times New Roman;}} {\colortbl\red0\green0\blue0;\red255\green0\blue0;\red0\green0\blue255;} \deflang1031\pard\ri4\plain\f4\fs22\cf0 01. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}a:=x^8-46*x^7-1062*x^6+4028*x^5-4944*x^4+2104*x^3-66*x^2-35*x+2 \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw13361\pich907\picwgoal7574\pichgoal514 0100090000032B0500000B001C0000000000050000000B0200000000050000000C028B03313403 0000001E00030000001E00050000000C020202971D050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F47740000000B5040A267DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B001C000000FB0210FF000000000000900101000001 0700000054696D6573204E657720526F6D616E007DA8F47786A8F4770100000000003000040000 002D0104001C000000FB0256FF0000000000009001000000010700000054696D6573204E657720 526F6D616E007DA8F47786A8F4770100000000003000040000002D010500040000002D01030004 0000002D010400040000002D0105001C000000FB0210FF00000000000090010000000207000000 53796D626F6C007740000000FA050AA07DA8F47786A8F4770100000000003000040000002D0106 001C000000FB0210FF0000000000009001000000020700000053796D626F6C0077400000002E06 0A647DA8F47786A8F4770100000000003000040000002D0107001C000000FB0210FF0000000000 009001000000020700000054696D6573204E657720526F6D616E007DA8F47786A8F47701000000 00003000040000002D010800040000002D010300040000002D010400040000002D010500040000 002D010600040000002D010700040000002D010800040000002D010300040000002D0104000400 00002D010500040000002D010600040000002D010700040000002D010800040000002D01030004 0000002D010400040000002D010500040000002D010600040000002D010700040000002D010800 040000002D010300040000002D010400040000002D010500040000002D010600040000002D0107 00040000002D010800040000002D010300040000002D010400040000002D010500040000002D01 0600040000002D010700040000002D010800040000002D010300040000002D010400040000002D 010600040000002D010700040000002D010800040000002D010300040000002D01060004000000 2D010700040000002D010800040000002D0103000500000009020000FF00040000002D01040007 00000021050100780068016B00040000002D01050007000000210501003800EC00D60004000000 2D010600040000002D01070007000000210501002D0068016701040000002D010800040000002D 01030007000000210501003400680127020700000021050100360068019F02040000002D010600 040000002D0107000700000021050100D70068014703040000002D010800040000002D01030004 0000002D010400070000002105010078006801BA03040000002D01050007000000210501003700 EC002504040000002D010600040000002D01070007000000210501002D006801B604040000002D 010800040000002D0103000700000021050100310068017605070000002105010030006801EE05 0700000021050100360068016606070000002105010032006801DE06040000002D010600040000 002D0107000700000021050100D70068018607040000002D010800040000002D01030004000000 2D010400070000002105010078006801F907040000002D01050007000000210501003600EC0064 08040000002D010600040000002D01070007000000210501002B006801F508040000002D010800 040000002D010300070000002105010034006801B5090700000021050100300068012D0A070000 002105010032006801A50A0700000021050100380068011D0B040000002D010600040000002D01 07000700000021050100D7006801C50B040000002D010800040000002D010300040000002D0104 00070000002105010078006801380C040000002D01050007000000210501003500EC00A30C0400 00002D010600040000002D01070007000000210501002D006801340D040000002D010800040000 002D010300070000002105010034006801F40D0700000021050100390068016C0E070000002105 010034006801E40E0700000021050100340068015C0F040000002D010600040000002D01070007 00000021050100D70068010410040000002D010800040000002D010300040000002D0104000700 000021050100780068017710040000002D01050007000000210501003400EE00E210040000002D 010600040000002D01070007000000210501002B0068017311040000002D010800040000002D01 03000700000021050100320068013312070000002105010031006801AB12070000002105010030 00680123130700000021050100340068019B13040000002D010600040000002D01070007000000 21050100D70068014314040000002D010800040000002D010300040000002D0104000700000021 05010078006801B614040000002D01050007000000210501003300EC002115040000002D010600 040000002D01070007000000210501002D006801B215040000002D010800040000002D01030007 00000021050100360068017216070000002105010036006801EA16040000002D01060004000000 2D0107000700000021050100D70068019217040000002D010800040000002D010300040000002D 0104000700000021050100780068010518040000002D01050007000000210501003200EE007018 040000002D010600040000002D01070007000000210501002D0068010119040000002D01080004 0000002D010300070000002105010033006801C119070000002105010035006801391A04000000 2D010600040000002D0107000700000021050100D7006801E11A1C000000FB0210FF0000000000 009001010000020700000054696D6573204E657720526F6D616E007DA8F47786A8F47701000000 00003000040000002D010900040000002D010400070000002105010078006801541B040000002D 010600040000002D01070007000000210501002B006801FB1B040000002D010800040000002D01 0300070000002105010032006801BB1C08000000FA0200000000000000000000040000002D010A 0004000000F001000007000000FC020000FFFFFF000000040000002D01000004000000F0010100 1C000000FB021000070000000000BC02000000000102022253797374656D0077400000001F050A AC7DA8F47786A8F4770100000000003000040000002D010100040000002701FFFF04000000F001 020004000000F001030004000000F001040004000000F001050004000000F001060004000000F0 01070004000000F001080004000000F0010900040000002701FFFF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\ri4\plain\f4\fs22\cf0 02. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}liste:=expr([factor(poly(a,[x],IntMod(ithprime(n)))) $ n=1..10]) \par \pard\li50\ri6\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect 3 3 2 2 5 \par [x (x + 1) (x + x + 1) (x + x + 1), (x + 1) (x - 1) (x + 1), \par \par 4 3 2 3 2 \par (x + 1) (x + 2 x + 2 x - 2) (x + x + x - 1), \par \par 2 4 2 \par (x - 2) (x + 3) (x + 2 x - 2) (x + x - 1), \par \par 4 3 2 4 3 2 \par - (x + 3 x + 2 x - 1) (- x + 5 x + 4 x - 2 x + 2), \par \par 2 2 2 \par (x + 4) (x + 6) (x - x + 2) (x - 6 x + 1) (x + 3 x + 6), \par \par 4 3 2 3 2 \par (x - 4) (x + 5 x + 6 x - 1) (x + 4 x + 2 x - 8), \par \par 3 2 4 3 2 \par - (x - 7) (x + x + 7 x - 8) (- x + 2 x - 9 x + 3 x + 2), \par \par 2 2 4 3 2 \par - (x - 4 x + 8) (x + 10 x - 3) (- x + 6 x + 2 x + 11 x + 2), \par \par 2 3 2 \par (x - 2) (x + 11) (x + 14) (x + 12 x - 1) (x + 6 x + 2 x + 13)] \par \par \pard\ri4\plain\f4\fs22\cf0 03. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}zaehlen:=proc(p,x) \par \pard\li600\ri1\fi-300\plain\f3\fs22\cf1 local zaehler; \par begin \par zaehler:=0; \par for i from 1 to nops(p) do \par if has(op(p,i),x) then zaehler:=zaehler+1 end_if \par end_for; \par zaehler \par end_proc: \par \par map(liste,y->zaehlen(y,x)) \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw5052\pich827\picwgoal2864\pichgoal468 0100090000037B02000008001C0000000000050000000B0200000000050000000C023B03BC1303 0000001E00030000001E00050000000C02D501300B050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F477400000003E060AED7DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B001C000000FB0210FF000000000000900100000001 070000005346204D61746820457874002E060A657DA8F47786A8F4770100000000003000040000 002D0104001C000000FB0210FF000000000000900100000002070000005346204D617468204578 7400FA050AA17DA8F47786A8F4770100000000003000040000002D0105001C000000FB0210FF00 00000000009001000000020700000054696D6573204E657720526F6D616E007DA8F47786A8F477 0100000000003000040000002D010600040000002D010300040000002D010400040000002D0105 00040000002D010600040000002D010300040000002D010400040000002D010500040000002D01 0600040000002D010300040000002D010400040000002D010500040000002D010600040000002D 0103000500000009020000FF00040000002D010400040000002D01050007000000210501005B00 3B016400040000002D010600040000002D010300070000002105010034003B01B8000700000021 0501002C003B013001070000002105010033003B01C00107000000210501002C003B0138020700 00002105010033003B01C80207000000210501002C003B014003070000002105010034003B01D0 0307000000210501002C003B014804070000002105010032003B01D80407000000210501002C00 3B015005070000002105010035003B01E00507000000210501002C003B01580607000000210501 0033003B01E80607000000210501002C003B016007070000002105010033003B01F00707000000 210501002C003B016808070000002105010033003B01F80807000000210501002C003B01700907 0000002105010035003B01000A040000002D010400040000002D010500040000002D0106000400 00002D010300040000002D010400040000002D010500040000002D010600040000002D01030004 0000002D010400040000002D01050007000000210501005D003B01780A08000000FA0200000000 000000000000040000002D01070004000000F001000007000000FC020000FFFFFF000000040000 002D01000004000000F00101001C000000FB021000070000000000BC0200000000010202225379 7374656D0077400000003C060A797DA8F47786A8F4770100000000003000040000002D01010004 0000002701FFFF04000000F001020004000000F001030004000000F001040004000000F0010500 04000000F0010600040000002701FFFF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\ri4\plain\f4\fs22\cf0 04. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}q:=ithprime(5) \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw776\pich827\picwgoal439\pichgoal468 0100090000031E01000005001C0000000000050000000B0200000000050000000C023B03080303 0000001E00030000001E00050000000C02D501B801050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F477400000004A060AC67DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B000500000009020000FF0007000000210501003100 3B016400070000002105010031003B01DC0008000000FA0200000000000000000000040000002D 01040004000000F001000007000000FC020000FFFFFF000000040000002D01000004000000F001 01001C000000FB021000070000000000BC02000000000102022253797374656D0077400000002E 060A667DA8F47786A8F4770100000000003000040000002D010100040000002701FFFF04000000 F001020004000000F0010300040000002701FFFF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\ri4\plain\f4\fs22\cf0 05. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}fac:=factor(poly(a,[x],IntMod(q))) \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw17244\pich907\picwgoal9776\pichgoal514 010009000003D10800000D001C0000000000050000000B0200000000050000000C028B035C4303 0000001E00030000001E00050000000C0202023026050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F477400000004A050AF07DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B001C000000FB0210FF000000000000900101000001 0700000054696D6573204E657720526F6D616E007DA8F47786A8F4770100000000003000040000 002D0104001C000000FB0256FF0000000000009001000000010700000054696D6573204E657720 526F6D616E007DA8F47786A8F4770100000000003000040000002D010500040000002D01030004 0000002D010400040000002D0105001C000000FB0210FF00000000000090010000000207000000 53796D626F6C0077400000003E060AEE7DA8F47786A8F4770100000000003000040000002D0106 001C000000FB0210FF0000000000009001000000020700000053796D626F6C0077400000003C06 0A7A7DA8F47786A8F4770100000000003000040000002D0107001C000000FB0210FF0000000000 009001000000020700000054696D6573204E657720526F6D616E007DA8F47786A8F47701000000 00003000040000002D010800040000002D010300040000002D010400040000002D010500040000 002D010600040000002D010700040000002D010800040000002D010300040000002D0104000400 00002D010600040000002D010700040000002D010800040000002D010300040000002D01060004 0000002D0107001C000000FB0210FF0000000000009001010000020700000054696D6573204E65 7720526F6D616E007DA8F47786A8F4770100000000003000040000002D010900040000002D0104 001C000000FB0210FF000000000000900100000001070000005346204D61746820457874001F05 0AAD7DA8F47786A8F4770100000000003000040000002D010A001C000000FB0210FF0000000000 00900100000002070000005346204D6174682045787400C2050ABE7DA8F47786A8F47701000000 00003000040000002D010B00040000002D010800040000002D010300040000002D010A00040000 002D010B00040000002D010800040000002D010300040000002D010A00040000002D010B000400 00002D010800040000002D010300040000002D010A00040000002D010B00040000002D01080004 0000002D010300040000002D010A00040000002D010B00040000002D010800040000002D010300 040000002D010A00040000002D010B00040000002D010800040000002D010300040000002D010A 00040000002D010B00040000002D010800040000002D010300040000002D010400040000002D01 0500040000002D010300040000002D010400040000002D010500040000002D010600040000002D 010700040000002D010800040000002D010300040000002D010400040000002D01050004000000 2D010600040000002D010700040000002D010800040000002D010300040000002D010600040000 002D010700040000002D010900040000002D010400040000002D010A00040000002D010B000400 00002D010800040000002D010300040000002D010A00040000002D010B00040000002D01080004 0000002D010300040000002D010A00040000002D010B00040000002D010800040000002D010300 040000002D010A00040000002D010B00040000002D010800040000002D010300040000002D010A 00040000002D010B00040000002D010800040000002D010300040000002D010A00040000002D01 0B00040000002D010800040000002D010300040000002D010A00040000002D010B00040000002D 010700040000002D010800040000002D010300040000002D010600040000002D01070004000000 2D010800040000002D0103000500000009020000FF000700000021050100700068016500070000 00210501006F006801DD0007000000210501006C00680155010700000021050100790068019801 040000002D010A00040000002D010B00040000002D010800040000002D010300040000002D010A 00040000002D010B00040000002D010800040000002D010300040000002D010A00040000002D01 0B000700000021050100280068011002040000002D010800040000002D010300040000002D0104 000700000021050100780068018502040000002D01050007000000210501003400EE00F0020400 00002D010600040000002D01070007000000210501002D0068018103040000002D010800040000 002D0103000700000021050100350068014104040000002D010600040000002D01070007000000 21050100D7006801E904040000002D010800040000002D010300040000002D0104000700000021 050100780068015C05040000002D01050007000000210501003300EC00C705040000002D010600 040000002D01070007000000210501002D0068015806040000002D010800040000002D01030007 00000021050100340068011807040000002D010600040000002D0107000700000021050100D700 6801C007040000002D010800040000002D010300040000002D0104000700000021050100780068 013308040000002D01050007000000210501003200EE009E08040000002D010600040000002D01 070007000000210501002B0068012F09040000002D010800040000002D01030007000000210501 0032006801EF09040000002D010600040000002D0107000700000021050100D7006801970A0400 00002D010900040000002D0104000700000021050100780068010A0B040000002D010600040000 002D01070007000000210501002D006801B10B040000002D010800040000002D01030007000000 2105010032006801710C07000000210501002C006801E90C040000002D010A00040000002D010B 00040000002D010800040000002D010300040000002D010A00040000002D010B00040000002D01 0800040000002D010300040000002D010A00040000002D010B0007000000210501005B00680179 0D040000002D010800040000002D010300040000002D010400070000002105010078006801D40D 040000002D010A00040000002D010B00040000002D010800040000002D010300040000002D010A 00040000002D010B00040000002D010800040000002D010300040000002D010A00040000002D01 0B0007000000210501005D0068013F0E040000002D010800040000002D01030007000000210501 002C006801930E070000002105010049006801230F07000000210501006E006801730F07000000 2105010074006801EB0F07000000210501004D0068012E1007000000210501006F006801031107 00000021050100640068017B11040000002D010A00040000002D010B00040000002D0108000400 00002D010300040000002D010A00040000002D010B00040000002D010800040000002D01030004 0000002D010A00040000002D010B00070000002105010028006801F311040000002D0108000400 00002D0103000700000021050100310068015012070000002105010031006801C812040000002D 010A00040000002D010B00040000002D010800040000002D010300040000002D010A0004000000 2D010B00040000002D010800040000002D010300040000002D010A00040000002D010B00070000 0021050100290068014013040000002D010800040000002D010300040000002D010A0004000000 2D010B00040000002D010800040000002D010300040000002D010A00040000002D010B00070000 0021050100290068019D13040000002D0107000700000021050100D70068013B14040000002D01 0800040000002D010300070000002105010070006801A81407000000210501006F006801201507 000000210501006C0068019815070000002105010079006801DB15040000002D010A0004000000 2D010B00040000002D010800040000002D010300040000002D010A00040000002D010B00040000 002D010800040000002D010300040000002D010A00040000002D010B0007000000210501002800 68015316040000002D010800040000002D010300040000002D0104000700000021050100780068 01C816040000002D01050007000000210501003400EE003317040000002D010600040000002D01 070007000000210501002B006801C417040000002D010800040000002D01030007000000210501 00330068018418040000002D010600040000002D0107000700000021050100D70068012C190400 00002D010800040000002D010300040000002D0104000700000021050100780068019F19040000 002D01050007000000210501003300EC000A1A040000002D010600040000002D01070007000000 210501002B0068019B1A040000002D010800040000002D0103000700000021050100320068015B 1B040000002D010600040000002D0107000700000021050100D7006801031C040000002D010800 040000002D010300040000002D010400070000002105010078006801761C040000002D01050007 000000210501003200EE00E11C040000002D010600040000002D01070007000000210501002D00 6801721D040000002D010800040000002D010300070000002105010031006801321E0700000021 0501002C006801AA1E040000002D010A00040000002D010B00040000002D010800040000002D01 0300040000002D010A00040000002D010B00040000002D010800040000002D010300040000002D 010A00040000002D010B0007000000210501005B0068013A1F040000002D010800040000002D01 0300040000002D010400070000002105010078006801951F040000002D010A00040000002D010B 00040000002D010800040000002D010300040000002D010A00040000002D010B00040000002D01 0800040000002D010300040000002D010A00040000002D010B0007000000210501005D00680100 20040000002D010800040000002D01030007000000210501002C00680154200700000021050100 49006801E42007000000210501006E0068013421070000002105010074006801AC210700000021 0501004D006801EF2107000000210501006F006801C4220700000021050100640068013C230400 00002D010A00040000002D010B00040000002D010800040000002D010300040000002D010A0004 0000002D010B00040000002D010800040000002D010300040000002D010A00040000002D010B00 070000002105010028006801B423040000002D010800040000002D010300070000002105010031 00680111240700000021050100310068018924040000002D010A00040000002D010B0004000000 2D010800040000002D010300040000002D010A00040000002D010B00040000002D010800040000 002D010300040000002D010A00040000002D010B00070000002105010029006801012504000000 2D010800040000002D010300040000002D010A00040000002D010B00040000002D010800040000 002D010300040000002D010A00040000002D010B000700000021050100290068015E2508000000 FA0200000000000000000000040000002D010C0004000000F001000007000000FC020000FFFFFF 000000040000002D01000004000000F00101001C000000FB021000070000000000BC0200000000 0102022253797374656D007740000000CD040A417DA8F47786A8F4770100000000003000040000 002D010100040000002701FFFF04000000F001020004000000F001030004000000F00104000400 0000F001050004000000F001060004000000F001070004000000F001080004000000F001090004 000000F0010A0004000000F0010B00040000002701FFFF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\ri4\plain\f4\fs22\cf0 06. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}b:=fac[2] \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw9227\pich907\picwgoal5231\pichgoal514 010009000003850500000D001C0000000000050000000B0200000000050000000C028B030B2403 0000001E00030000001E00050000000C0202026F14050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F47740000000FA050AA57DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B001C000000FB0210FF000000000000900101000001 0700000054696D6573204E657720526F6D616E007DA8F47786A8F4770100000000003000040000 002D0104001C000000FB0256FF0000000000009001000000010700000054696D6573204E657720 526F6D616E007DA8F47786A8F4770100000000003000040000002D010500040000002D01030004 0000002D010400040000002D0105001C000000FB0210FF00000000000090010000000207000000 53796D626F6C0077400000003C060A7B7DA8F47786A8F4770100000000003000040000002D0106 001C000000FB0210FF0000000000009001000000020700000053796D626F6C0077400000003E06 0AEF7DA8F47786A8F4770100000000003000040000002D0107001C000000FB0210FF0000000000 009001000000020700000054696D6573204E657720526F6D616E007DA8F47786A8F47701000000 00003000040000002D010800040000002D010300040000002D010400040000002D010500040000 002D010600040000002D010700040000002D010800040000002D010300040000002D0104000400 00002D010600040000002D010700040000002D010800040000002D010300040000002D01060004 0000002D0107001C000000FB0210FF0000000000009001010000020700000054696D6573204E65 7720526F6D616E007DA8F47786A8F4770100000000003000040000002D010900040000002D0104 001C000000FB0210FF000000000000900100000001070000005346204D61746820457874004A06 0AC87DA8F47786A8F4770100000000003000040000002D010A001C000000FB0210FF0000000000 00900100000002070000005346204D61746820457874004A050AF17DA8F47786A8F47701000000 00003000040000002D010B00040000002D010800040000002D010300040000002D010A00040000 002D010B00040000002D010800040000002D010300040000002D010A00040000002D010B000400 00002D010800040000002D010300040000002D010A00040000002D010B00040000002D01080004 0000002D010300040000002D010A00040000002D010B00040000002D010800040000002D010300 040000002D010A00040000002D010B00040000002D010800040000002D010300040000002D010A 00040000002D010B00040000002D010800040000002D0103000500000009020000FF0007000000 2105010070006801650007000000210501006F006801DD0007000000210501006C006801550107 00000021050100790068019801040000002D010A00040000002D010B00040000002D0108000400 00002D010300040000002D010A00040000002D010B00040000002D010800040000002D01030004 0000002D010A00040000002D010B000700000021050100280068011002040000002D0108000400 00002D010300040000002D0104000700000021050100780068018502040000002D010500070000 00210501003400EE00F002040000002D010600040000002D01070007000000210501002D006801 8103040000002D010800040000002D0103000700000021050100350068014104040000002D0106 00040000002D0107000700000021050100D7006801E904040000002D010800040000002D010300 040000002D0104000700000021050100780068015C05040000002D010500070000002105010033 00EC00C705040000002D010600040000002D01070007000000210501002D006801580604000000 2D010800040000002D0103000700000021050100340068011807040000002D010600040000002D 0107000700000021050100D7006801C007040000002D010800040000002D010300040000002D01 04000700000021050100780068013308040000002D01050007000000210501003200EE009E0804 0000002D010600040000002D01070007000000210501002B0068012F09040000002D0108000400 00002D010300070000002105010032006801EF09040000002D010600040000002D010700070000 0021050100D7006801970A040000002D010900040000002D010400070000002105010078006801 0A0B040000002D010600040000002D01070007000000210501002D006801B10B040000002D0108 00040000002D010300070000002105010032006801710C07000000210501002C006801E90C0400 00002D010A00040000002D010B00040000002D010800040000002D010300040000002D010A0004 0000002D010B00040000002D010800040000002D010300040000002D010A00040000002D010B00 07000000210501005B006801790D040000002D010800040000002D010300040000002D01040007 0000002105010078006801D40D040000002D010A00040000002D010B00040000002D0108000400 00002D010300040000002D010A00040000002D010B00040000002D010800040000002D01030004 0000002D010A00040000002D010B0007000000210501005D0068013F0E040000002D0108000400 00002D01030007000000210501002C006801930E070000002105010049006801230F0700000021 0501006E006801730F070000002105010074006801EB0F07000000210501004D0068012E100700 0000210501006F00680103110700000021050100640068017B11040000002D010A00040000002D 010B00040000002D010800040000002D010300040000002D010A00040000002D010B0004000000 2D010800040000002D010300040000002D010A00040000002D010B000700000021050100280068 01F311040000002D010800040000002D0103000700000021050100310068015012070000002105 010031006801C812040000002D010A00040000002D010B00040000002D010800040000002D0103 00040000002D010A00040000002D010B00040000002D010800040000002D010300040000002D01 0A00040000002D010B000700000021050100290068014013040000002D010800040000002D0103 00040000002D010A00040000002D010B00040000002D010800040000002D010300040000002D01 0A00040000002D010B000700000021050100290068019D1308000000FA02000000000000000000 00040000002D010C0004000000F001000007000000FC020000FFFFFF000000040000002D010000 04000000F00101001C000000FB021000070000000000BC02000000000102022253797374656D00 7740000000CD040A427DA8F47786A8F4770100000000003000040000002D010100040000002701 FFFF04000000F001020004000000F001030004000000F001040004000000F001050004000000F0 01060004000000F001070004000000F001080004000000F001090004000000F0010A0004000000 F0010B00040000002701FFFF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\ri4\plain\f4\fs22\cf0 07. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}c:=fac[4] \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw8094\pich907\picwgoal4588\pichgoal514 010009000003350500000D001C0000000000050000000B0200000000050000000C028B039E1F03 0000001E00030000001E00050000000C020202ED11050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F47740000000C2050AC17DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B001C000000FB0210FF000000000000900101000001 0700000054696D6573204E657720526F6D616E007DA8F47786A8F4770100000000003000040000 002D0104001C000000FB0256FF0000000000009001000000010700000054696D6573204E657720 526F6D616E007DA8F47786A8F4770100000000003000040000002D010500040000002D01030004 0000002D010400040000002D0105001C000000FB0210FF00000000000090010000000207000000 53796D626F6C0077400000003E060AF07DA8F47786A8F4770100000000003000040000002D0106 001C000000FB0210FF0000000000009001000000020700000053796D626F6C0077400000003C06 0A7C7DA8F47786A8F4770100000000003000040000002D0107001C000000FB0210FF0000000000 009001000000020700000054696D6573204E657720526F6D616E007DA8F47786A8F47701000000 00003000040000002D010800040000002D010300040000002D010400040000002D010500040000 002D010600040000002D010700040000002D010800040000002D010300040000002D0106000400 00002D0107001C000000FB0210FF0000000000009001010000020700000054696D6573204E6577 20526F6D616E007DA8F47786A8F4770100000000003000040000002D010900040000002D010400 1C000000FB0210FF000000000000900100000001070000005346204D61746820457874001F050A AF7DA8F47786A8F4770100000000003000040000002D010A001C000000FB0210FF000000000000 900100000002070000005346204D6174682045787400FA050AA67DA8F47786A8F4770100000000 003000040000002D010B00040000002D010800040000002D010300040000002D010A0004000000 2D010B00040000002D010800040000002D010300040000002D010A00040000002D010B00040000 002D010800040000002D010300040000002D010A00040000002D010B00040000002D0108000400 00002D010300040000002D010A00040000002D010B00040000002D010800040000002D01030004 0000002D010A00040000002D010B00040000002D010800040000002D010300040000002D010A00 040000002D010B00040000002D010800040000002D0103000500000009020000FF000700000021 05010070006801650007000000210501006F006801DD0007000000210501006C00680155010700 000021050100790068019801040000002D010A00040000002D010B00040000002D010800040000 002D010300040000002D010A00040000002D010B00040000002D010800040000002D0103000400 00002D010A00040000002D010B000700000021050100280068011002040000002D010800040000 002D010300040000002D0104000700000021050100780068018502040000002D01050007000000 210501003400EE00F002040000002D010600040000002D01070007000000210501002B00680181 03040000002D010800040000002D0103000700000021050100330068014104040000002D010600 040000002D0107000700000021050100D7006801E904040000002D010800040000002D01030004 0000002D0104000700000021050100780068015C05040000002D01050007000000210501003300 EC00C705040000002D010600040000002D01070007000000210501002B0068015806040000002D 010800040000002D0103000700000021050100320068011807040000002D010600040000002D01 07000700000021050100D7006801C007040000002D010800040000002D010300040000002D0104 000700000021050100780068013308040000002D01050007000000210501003200EE009E080400 00002D010600040000002D01070007000000210501002D0068012F09040000002D010800040000 002D010300070000002105010031006801EF0907000000210501002C006801670A040000002D01 0A00040000002D010B00040000002D010800040000002D010300040000002D010A00040000002D 010B00040000002D010800040000002D010300040000002D010A00040000002D010B0007000000 210501005B006801F70A040000002D010800040000002D010300040000002D0104000700000021 05010078006801520B040000002D010A00040000002D010B00040000002D010800040000002D01 0300040000002D010A00040000002D010B00040000002D010800040000002D010300040000002D 010A00040000002D010B0007000000210501005D006801BD0B040000002D010800040000002D01 030007000000210501002C006801110C070000002105010049006801A10C07000000210501006E 006801F10C070000002105010074006801690D07000000210501004D006801AC0D070000002105 01006F006801810E070000002105010064006801F90E040000002D010A00040000002D010B0004 0000002D010800040000002D010300040000002D010A00040000002D010B00040000002D010800 040000002D010300040000002D010A00040000002D010B00070000002105010028006801710F04 0000002D010800040000002D010300070000002105010031006801CE0F07000000210501003100 68014610040000002D010A00040000002D010B00040000002D010800040000002D010300040000 002D010A00040000002D010B00040000002D010800040000002D010300040000002D010A000400 00002D010B00070000002105010029006801BE10040000002D010800040000002D010300040000 002D010A00040000002D010B00040000002D010800040000002D010300040000002D010A000400 00002D010B000700000021050100290068011B1108000000FA0200000000000000000000040000 002D010C0004000000F001000007000000FC020000FFFFFF000000040000002D01000004000000 F00101001C000000FB021000070000000000BC02000000000102022253797374656D0077400000 00CD040A437DA8F47786A8F4770100000000003000040000002D010100040000002701FFFF0400 0000F001020004000000F001030004000000F001040004000000F001050004000000F001060004 000000F001070004000000F001080004000000F001090004000000F0010A0004000000F0010B00 040000002701FFFF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\ri4\plain\f4\fs22\cf0 08. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab} \par \pard\ri4\plain\f4\fs22\cf0 09. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}[g,s,t]:=expr([gcdex(b,c)]); \par \pard\li600\ri1\fi-300\plain\f3\fs22\cf1 b:=expr(b): \par c:=expr(c): \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw9137\pich907\picwgoal5180\pichgoal514 0100090000030E0500000D001C0000000000050000000B0200000000050000000C028B03B12303 0000001E00030000001E00050000000C0202023C14050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F477400000004A050AF47DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B001C000000FB0210FF000000000000900101000001 0700000054696D6573204E657720526F6D616E007DA8F47786A8F4770100000000003000040000 002D0104001C000000FB0256FF0000000000009001000000010700000054696D6573204E657720 526F6D616E007DA8F47786A8F4770100000000003000040000002D0105001C000000FB0210FF00 00000000009001000000020700000053796D626F6C0077400000003C060A7D7DA8F47786A8F477 0100000000003000040000002D0106001C000000FB0210FF000000000000900100000002070000 0053796D626F6C0077400000003E060AF17DA8F47786A8F4770100000000003000040000002D01 07001C000000FB0210FF0000000000009001000000020700000054696D6573204E657720526F6D 616E007DA8F47786A8F4770100000000003000040000002D010800040000002D01030004000000 2D010400040000002D010500040000002D010600040000002D010700040000002D010800040000 002D010300040000002D010400040000002D010600040000002D010700040000002D0108000400 00002D010300040000002D010600040000002D010700040000002D010800040000002D01030004 0000002D010400040000002D010500040000002D010600040000002D010700040000002D010800 040000002D010300040000002D010400040000002D010500040000002D010600040000002D0107 001C000000FB0210FF0000000000009001010000020700000054696D6573204E657720526F6D61 6E007DA8F47786A8F4770100000000003000040000002D010900040000002D010400040000002D 010300040000002D010600040000002D010700040000002D010800040000002D0103001C000000 FB0210FF000000000000900100000001070000005346204D61746820457874004A060ACA7DA8F4 7786A8F4770100000000003000040000002D010A001C000000FB0210FF00000000000090010000 0002070000005346204D6174682045787400C2050AC27DA8F47786A8F477010000000000300004 0000002D010B00040000002D010800040000002D010300040000002D010A00040000002D010B00 040000002D010800040000002D010300040000002D010A00040000002D010B00040000002D0108 00040000002D010300040000002D010A00040000002D010B00040000002D010800040000002D01 0300040000002D010A00040000002D010B00040000002D010800040000002D010300040000002D 010A00040000002D010B000500000009020000FF000700000021050100A3006900640004000000 2D010800040000002D010300070000002105010031006801C80007000000210501002C00680140 01040000002D010600040000002D010700040000002D010800040000002D010300070000002105 010033006801D001040000002D010600040000002D0107000700000021050100D7006801780204 0000002D010800040000002D010300040000002D010400070000002105010078006801EB020400 00002D01050007000000210501003300EC005603040000002D010600040000002D010700070000 00210501002B006801E703040000002D010800040000002D010300070000002105010035006801 A704040000002D010600040000002D0107000700000021050100D70068014F05040000002D0108 00040000002D010300040000002D010400070000002105010078006801C205040000002D010500 07000000210501003200EE002D06040000002D010600040000002D01070007000000210501002D 006801BE06040000002D010800040000002D0103000700000021050100340068017E0704000000 2D010600040000002D0107000700000021050100D70068012608040000002D010900040000002D 0104000700000021050100780068019908040000002D010600040000002D010700070000002105 01002B0068014009040000002D010800040000002D010300070000002105010032006801000A07 000000210501002C006801780A040000002D010600040000002D01070007000000210501002D00 68012C0B040000002D010800040000002D010300070000002105010033006801E00B040000002D 010600040000002D0107000700000021050100D7006801880C040000002D010800040000002D01 0300040000002D010400070000002105010078006801FB0C040000002D01050007000000210501 003300EC00660D040000002D010600040000002D01070007000000210501002D006801F70D0400 00002D010800040000002D010300070000002105010033006801B70E040000002D010600040000 002D0107000700000021050100D70068015F0F040000002D010800040000002D01030004000000 2D010400070000002105010078006801D20F040000002D01050007000000210501003200EE003D 10040000002D010600040000002D01070007000000210501002B006801CE10040000002D010900 040000002D0104000700000021050100780068019511040000002D010600040000002D01070007 000000210501002D0068013C12040000002D010800040000002D01030007000000210501003500 6801FC12040000002D010A00040000002D010B00040000002D010800040000002D010300040000 002D010A00040000002D010B00040000002D010800040000002D010300040000002D010A000400 00002D010B000700000021050100A4006900741308000000FA0200000000000000000000040000 002D010C0004000000F001000007000000FC020000FFFFFF000000040000002D01000004000000 F00101001C000000FB021000070000000000BC02000000000102022253797374656D0077400000 00CD040A447DA8F47786A8F4770100000000003000040000002D010100040000002701FFFF0400 0000F001020004000000F001030004000000F001040004000000F001050004000000F001060004 000000F001070004000000F001080004000000F001090004000000F0010A0004000000F0010B00 040000002701FFFF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\ri4\plain\f4\fs22\cf0 10. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}HenselLifting:=proc(a,b,c,s,t,x,q) \par \pard\li600\ri1\fi-300\plain\f3\fs22\cf1 local aa,bb,cc,ss,tt,k,B,C,d,S,T; \par begin \par aa:=poly(a,[x],IntMod(q)); \par bb:=poly(b,[x],IntMod(q)); \par cc:=poly(c,[x],IntMod(q)); \par ss:=poly(s,[x],IntMod(q)); \par tt:=poly(t,[x],IntMod(q)); \par k:=poly(expand((a-b*c)/q),[x],IntMod(q)); \par B:=divide(k*tt,bb,Rem); \par C:=divide(k*ss,cc,Rem); \par d:=s*(b+q*expr(B))+t*(c+q*expr(C))-1; \par S:=divide(poly(s*d,[x],IntMod(q^2)),poly(c+q*expr(C),[x],IntMod(q^2)),Rem); \par T:=divide(poly(t*d,[x],IntMod(q^2)),poly(b+q*expr(B),[x],IntMod(q^2)),Rem); \par [expand(b+q*expr(B)),expand(c+q*expr(C)),expand(s-expr(S)),expand(t-expr(T)),q^2] \par end_proc: \par \pard\ri4\plain\f4\fs22\cf0 11. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}[b,c,s,t,q]:=HenselLifting(a,b,c,s,t,x,q) \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw20948\pich907\picwgoal11876\pichgoal514 0100090000031A0800000D001C0000000000050000000B0200000000050000000C028B03D45103 0000001E00030000001E00050000000C020202642E050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F47740000000FA050AA97DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B001C000000FB0210FF000000000000900101000001 0700000054696D6573204E657720526F6D616E007DA8F47786A8F4770100000000003000040000 002D0104001C000000FB0256FF0000000000009001000000010700000054696D6573204E657720 526F6D616E007DA8F47786A8F4770100000000003000040000002D010500040000002D01030004 0000002D010400040000002D0105001C000000FB0210FF00000000000090010000000207000000 53796D626F6C0077400000003E060AF27DA8F47786A8F4770100000000003000040000002D0106 001C000000FB0210FF0000000000009001000000020700000053796D626F6C0077400000003C06 0A7E7DA8F47786A8F4770100000000003000040000002D0107001C000000FB0210FF0000000000 009001000000020700000054696D6573204E657720526F6D616E007DA8F47786A8F47701000000 00003000040000002D010800040000002D010300040000002D010400040000002D010500040000 002D010600040000002D010700040000002D010800040000002D010300040000002D0104000400 00002D010600040000002D010700040000002D010800040000002D010300040000002D01060004 0000002D010700040000002D010800040000002D010300040000002D010400040000002D010500 040000002D010300040000002D010400040000002D010500040000002D010600040000002D0107 00040000002D010800040000002D010300040000002D010400040000002D010500040000002D01 0600040000002D010700040000002D010800040000002D010300040000002D010600040000002D 010700040000002D010800040000002D010300040000002D010400040000002D01050004000000 2D010600040000002D010700040000002D010800040000002D010300040000002D010400040000 002D010500040000002D010600040000002D010700040000002D010800040000002D0103000400 00002D010400040000002D010600040000002D010700040000002D010800040000002D01030004 0000002D010600040000002D010700040000002D010800040000002D010300040000002D010400 040000002D010500040000002D010600040000002D010700040000002D010800040000002D0103 00040000002D010400040000002D010500040000002D010600040000002D010700040000002D01 0800040000002D010300040000002D010400040000002D010600040000002D010700040000002D 010800040000002D010300040000002D010600040000002D010700040000002D01080004000000 2D0103001C000000FB0210FF000000000000900100000001070000005346204D61746820457874 00B5040A2B7DA8F47786A8F4770100000000003000040000002D0109001C000000FB0210FF0000 00000000900100000002070000005346204D61746820457874001F050AB17DA8F47786A8F47701 00000000003000040000002D010A00040000002D010800040000002D010300040000002D010900 040000002D010A00040000002D010800040000002D010300040000002D010900040000002D010A 00040000002D010800040000002D010300040000002D010900040000002D010A00040000002D01 0800040000002D010300040000002D010900040000002D010A00040000002D010800040000002D 010300040000002D010900040000002D010A000500000009020000FF000700000021050100A300 69006400040000002D010800040000002D010300040000002D0104000700000021050100780068 01CF00040000002D01050007000000210501003400EE003A01040000002D010600040000002D01 070007000000210501002B006801CB01040000002D010800040000002D01030007000000210501 00310068018B020700000021050100370068010303040000002D010600040000002D0107000700 000021050100D7006801AB03040000002D010800040000002D010300040000002D010400070000 0021050100780068011E04040000002D01050007000000210501003300EC008904040000002D01 0600040000002D01070007000000210501002D0068011A05040000002D010800040000002D0103 00070000002105010034006801DA050700000021050100380068015206040000002D0106000400 00002D0107000700000021050100D7006801FA06040000002D010800040000002D010300040000 002D0104000700000021050100780068016D07040000002D01050007000000210501003200EE00 D807040000002D010600040000002D01070007000000210501002B0068016908040000002D0108 00040000002D0103000700000021050100330068012909070000002105010035006801A1090400 00002D010600040000002D0107000700000021050100D7006801490A1C000000FB0210FF000000 0000009001010000020700000054696D6573204E657720526F6D616E007DA8F47786A8F4770100 000000003000040000002D010B00040000002D010400070000002105010078006801BC0A040000 002D010600040000002D01070007000000210501002D006801630B040000002D01080004000000 2D010300070000002105010032006801230C07000000210501002C0068019B0C040000002D0104 00070000002105010078006801320D040000002D01050007000000210501003400EE009D0D0400 00002D010600040000002D01070007000000210501002B0068012E0E040000002D010800040000 002D010300070000002105010035006801EE0E070000002105010038006801660F040000002D01 0600040000002D0107000700000021050100D70068010E10040000002D010800040000002D0103 00040000002D0104000700000021050100780068018110040000002D0105000700000021050100 3300EC00EC10040000002D010600040000002D01070007000000210501002B0068017D11040000 002D010800040000002D0103000700000021050100350068013D12070000002105010037006801 B512040000002D010600040000002D0107000700000021050100D70068015D13040000002D0108 00040000002D010300040000002D010400070000002105010078006801D013040000002D010500 07000000210501003200EE003B14040000002D010600040000002D01070007000000210501002D 006801CC14040000002D010800040000002D0103000700000021050100310068018C1507000000 210501002C0068010416040000002D010600040000002D010700040000002D010800040000002D 01030007000000210501003400680194160700000021050100370068010C17040000002D010600 040000002D0107000700000021050100D7006801B417040000002D010800040000002D01030004 0000002D0104000700000021050100780068012718040000002D01050007000000210501003300 EC009218040000002D010600040000002D01070007000000210501002D0068012319040000002D 010800040000002D010300070000002105010036006801E319040000002D010600040000002D01 07000700000021050100D70068018B1A040000002D010800040000002D010300040000002D0104 00070000002105010078006801FE1A040000002D01050007000000210501003200EE00691B0400 00002D010600040000002D01070007000000210501002D006801FA1B040000002D010800040000 002D010300070000002105010034006801BA1C040000002D010600040000002D01070007000000 21050100D7006801621D040000002D010B00040000002D010400070000002105010078006801D5 1D040000002D010600040000002D01070007000000210501002D0068017C1E040000002D010800 040000002D0103000700000021050100330068013C1F070000002105010031006801B41F070000 00210501002C0068012C20040000002D010600040000002D01070007000000210501002D006801 E020040000002D010800040000002D010300070000002105010034006801942107000000210501 00370068010C22040000002D010600040000002D0107000700000021050100D7006801B4220400 00002D010800040000002D010300040000002D0104000700000021050100780068012723040000 002D01050007000000210501003300EC009223040000002D010600040000002D01070007000000 210501002D0068012324040000002D010800040000002D010300070000002105010033006801E3 24040000002D010600040000002D0107000700000021050100D70068018B25040000002D010800 040000002D010300040000002D010400070000002105010078006801FE25040000002D01050007 000000210501003200EE006926040000002D010600040000002D01070007000000210501002B00 6801FA26040000002D010800040000002D010300070000002105010031006801BA270700000021 050100320068013228040000002D010600040000002D0107000700000021050100D7006801DA28 040000002D010B00040000002D0104000700000021050100780068014D29040000002D01060004 0000002D01070007000000210501002D006801F429040000002D010800040000002D0103000700 00002105010036006801B42A0700000021050100300068012C2B07000000210501002C006801A4 2B070000002105010031006801342C070000002105010032006801AC2C07000000210501003100 6801242D040000002D010900040000002D010A00040000002D010800040000002D010300040000 002D010900040000002D010A00040000002D010800040000002D010300040000002D0109000400 00002D010A000700000021050100A40069009C2D08000000FA0200000000000000000000040000 002D010C0004000000F001000007000000FC020000FFFFFF000000040000002D01000004000000 F00101001C000000FB021000070000000000BC02000000000102022253797374656D0077400000 00CD040A457DA8F47786A8F4770100000000003000040000002D010100040000002701FFFF0400 0000F001020004000000F001030004000000F001040004000000F001050004000000F001060004 000000F001070004000000F001080004000000F001090004000000F0010A0004000000F0010B00 040000002701FFFF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\ri4\plain\f4\fs22\cf0 12. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}[b,c,s,t,q]:=HenselLifting(a,b,c,s,t,x,q) \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw24970\pich907\picwgoal14156\pichgoal514 0100090000039F0800000D001C0000000000050000000B0200000000050000000C028B038A6103 0000001E00030000001E00050000000C0202024C37050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F47740000000C2050AC57DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B001C000000FB0210FF000000000000900101000001 0700000054696D6573204E657720526F6D616E007DA8F47786A8F4770100000000003000040000 002D0104001C000000FB0256FF0000000000009001000000010700000054696D6573204E657720 526F6D616E007DA8F47786A8F4770100000000003000040000002D010500040000002D01030004 0000002D010400040000002D0105001C000000FB0210FF00000000000090010000000207000000 53796D626F6C0077400000003C060A7F7DA8F47786A8F4770100000000003000040000002D0106 001C000000FB0210FF0000000000009001000000020700000053796D626F6C0077400000003E06 0AF37DA8F47786A8F4770100000000003000040000002D0107001C000000FB0210FF0000000000 009001000000020700000054696D6573204E657720526F6D616E007DA8F47786A8F47701000000 00003000040000002D010800040000002D010300040000002D010400040000002D010500040000 002D010600040000002D010700040000002D010800040000002D010300040000002D0104000400 00002D010600040000002D010700040000002D010800040000002D010300040000002D01060004 0000002D010700040000002D010800040000002D010300040000002D010400040000002D010500 040000002D010300040000002D010400040000002D010500040000002D010600040000002D0107 00040000002D010800040000002D010300040000002D010400040000002D010500040000002D01 0600040000002D010700040000002D010800040000002D010300040000002D010600040000002D 010700040000002D010800040000002D010300040000002D010400040000002D01050004000000 2D010600040000002D010700040000002D010800040000002D010300040000002D010400040000 002D010500040000002D010600040000002D010700040000002D010800040000002D0103000400 00002D010400040000002D010600040000002D010700040000002D010800040000002D01030004 0000002D010600040000002D010700040000002D010800040000002D010300040000002D010400 040000002D010500040000002D010600040000002D010700040000002D010800040000002D0103 00040000002D010400040000002D010500040000002D010600040000002D010700040000002D01 0800040000002D010300040000002D010400040000002D010600040000002D010700040000002D 010800040000002D010300040000002D010600040000002D010700040000002D01080004000000 2D0103001C000000FB0210FF000000000000900100000001070000005346204D61746820457874 002E060A6C7DA8F47786A8F4770100000000003000040000002D0109001C000000FB0210FF0000 00000000900100000002070000005346204D61746820457874004A060ACC7DA8F47786A8F47701 00000000003000040000002D010A00040000002D010800040000002D010300040000002D010900 040000002D010A00040000002D010800040000002D010300040000002D010900040000002D010A 00040000002D010800040000002D010300040000002D010900040000002D010A00040000002D01 0800040000002D010300040000002D010900040000002D010A00040000002D010800040000002D 010300040000002D010900040000002D010A000500000009020000FF000700000021050100A300 69006400040000002D010800040000002D010300040000002D0104000700000021050100780068 01CF00040000002D01050007000000210501003400EE003A01040000002D010600040000002D01 070007000000210501002B006801CB01040000002D010800040000002D01030007000000210501 00310068018B020700000021050100370068010303040000002D010600040000002D0107000700 000021050100D7006801AB03040000002D010800040000002D010300040000002D010400070000 0021050100780068011E04040000002D01050007000000210501003300EC008904040000002D01 0600040000002D01070007000000210501002D0068011A05040000002D010800040000002D0103 00070000002105010034006801DA050700000021050100380068015206040000002D0106000400 00002D0107000700000021050100D7006801FA06040000002D010800040000002D010300040000 002D0104000700000021050100780068016D07040000002D01050007000000210501003200EE00 D807040000002D010600040000002D01070007000000210501002B0068016908040000002D0108 00040000002D0103000700000021050100330068012909070000002105010035006801A1090400 00002D010600040000002D0107000700000021050100D7006801490A1C000000FB0210FF000000 0000009001010000020700000054696D6573204E657720526F6D616E007DA8F47786A8F4770100 000000003000040000002D010B00040000002D010400070000002105010078006801BC0A040000 002D010600040000002D01070007000000210501002D006801630B040000002D01080004000000 2D010300070000002105010032006801230C07000000210501002C0068019B0C040000002D0104 00070000002105010078006801320D040000002D01050007000000210501003400EE009D0D0400 00002D010600040000002D01070007000000210501002D0068012E0E040000002D010800040000 002D010300070000002105010036006801EE0E070000002105010033006801660F040000002D01 0600040000002D0107000700000021050100D70068010E10040000002D010800040000002D0103 00040000002D0104000700000021050100780068018110040000002D0105000700000021050100 3300EC00EC10040000002D010600040000002D01070007000000210501002B0068017D11040000 002D010800040000002D0103000700000021050100350068013D12070000002105010037006801 B512040000002D010600040000002D0107000700000021050100D70068015D13040000002D0108 00040000002D010300040000002D010400070000002105010078006801D013040000002D010500 07000000210501003200EE003B14040000002D010600040000002D01070007000000210501002D 006801CC14040000002D010800040000002D0103000700000021050100310068018C1507000000 210501002C0068010416040000002D010600040000002D01070007000000210501002D006801B8 16040000002D010800040000002D0103000700000021050100330068016C170700000021050100 31006801E4170700000021050100360068015C18040000002D010600040000002D010700070000 0021050100D70068010419040000002D010800040000002D010300040000002D01040007000000 21050100780068017719040000002D01050007000000210501003300EC00E219040000002D0106 00040000002D01070007000000210501002B006801731A040000002D010800040000002D010300 070000002105010036006801331B070000002105010037006801AB1B0700000021050100370068 01231C0700000021050100300068019B1C040000002D010600040000002D010700070000002105 0100D7006801431D040000002D010800040000002D010300040000002D01040007000000210501 0078006801B61D040000002D01050007000000210501003200EE00211E040000002D0106000400 00002D01070007000000210501002B006801B21E040000002D010800040000002D010300070000 002105010034006801721F070000002105010032006801EA1F0700000021050100330068016220 070000002105010031006801DA20040000002D010600040000002D0107000700000021050100D7 0068018221040000002D010B00040000002D010400070000002105010078006801F52104000000 2D010600040000002D01070007000000210501002B0068019C22040000002D010800040000002D 0103000700000021050100350068015C23070000002105010037006801D4230700000021050100 370068014C24070000002105010037006801C42407000000210501002C0068013C25040000002D 010600040000002D010700040000002D010800040000002D010300070000002105010033006801 CC250700000021050100310068014426070000002105010036006801BC26040000002D01060004 0000002D0107000700000021050100D70068016427040000002D010800040000002D0103000400 00002D010400070000002105010078006801D727040000002D01050007000000210501003300EC 004228040000002D010600040000002D01070007000000210501002B006801D328040000002D01 0800040000002D01030007000000210501003300680193290700000021050100380068010B2A07 0000002105010036006801832A070000002105010039006801FB2A040000002D01060004000000 2D0107000700000021050100D7006801A32B040000002D010800040000002D010300040000002D 010400070000002105010078006801162C040000002D01050007000000210501003200EE00812C 040000002D010600040000002D01070007000000210501002B006801122D040000002D01080004 0000002D010300070000002105010033006801D22D0700000021050100340068014A2E07000000 2105010030006801C22E0700000021050100300068013A2F040000002D010600040000002D0107 000700000021050100D7006801E22F040000002D010B00040000002D0104000700000021050100 780068015530040000002D010600040000002D01070007000000210501002B006801FC30040000 002D010800040000002D010300070000002105010033006801BC31070000002105010030006801 3432070000002105010038006801AC32070000002105010036006801243307000000210501002C 0068019C330700000021050100310068012C34070000002105010034006801A434070000002105 0100360068011C3507000000210501003400680194350700000021050100310068010C36040000 002D010900040000002D010A00040000002D010800040000002D010300040000002D0109000400 00002D010A00040000002D010800040000002D010300040000002D010900040000002D010A0007 00000021050100A4006900843608000000FA0200000000000000000000040000002D010C000400 0000F001000007000000FC020000FFFFFF000000040000002D01000004000000F00101001C0000 00FB021000070000000000BC02000000000102022253797374656D007740000000CD040A467DA8 F47786A8F4770100000000003000040000002D010100040000002701FFFF04000000F001020004 000000F001030004000000F001040004000000F001050004000000F001060004000000F0010700 04000000F001080004000000F001090004000000F0010A0004000000F0010B00040000002701FF FF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\ri4\plain\f4\fs22\cf0 13. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}factor(a) \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw10739\pich928\picwgoal6088\pichgoal526 0100090000035E0600000D001C0000000000050000000B0200000000050000000C02A003F32903 0000001E00030000001E00050000000C020E02C817050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F477400000004A050AF87DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B001C000000FB0210FF000000000000900101000001 0700000054696D6573204E657720526F6D616E007DA8F47786A8F4770100000000003000040000 002D0104001C000000FB0256FF0000000000009001000000010700000054696D6573204E657720 526F6D616E007DA8F47786A8F4770100000000003000040000002D0105001C000000FB0210FF00 00000000009001000000020700000053796D626F6C0077400000003E060AF47DA8F47786A8F477 0100000000003000040000002D0106001C000000FB0210FF000000000000900100000002070000 0053796D626F6C0077400000003C060A807DA8F47786A8F4770100000000003000040000002D01 07001C000000FB0210FF0000000000009001000000020700000054696D6573204E657720526F6D 616E007DA8F47786A8F4770100000000003000040000002D010800040000002D01030004000000 2D010400040000002D010500040000002D010600040000002D010700040000002D010800040000 002D010300040000002D010400040000002D010500040000002D010300040000002D0106000400 00002D0107001C000000FB0210FF000000000000900100000002070000005346204D6174682045 787400B5040A2D7DA8F47786A8F4770100000000003000040000002D010900040000002D010800 040000002D0103001C000000FB0210FF000000000000900100000001070000005346204D617468 20457874001F050AB37DA8F47786A8F4770100000000003000040000002D010A00040000002D01 0900040000002D010800040000002D010300040000002D010A00040000002D010900040000002D 010800040000002D010300040000002D010400040000002D010600040000002D01070004000000 2D010800040000002D010300040000002D010400040000002D010500040000002D010600040000 002D010700040000002D010800040000002D010300040000002D010400040000002D0105000400 00002D010600040000002D010700040000002D010800040000002D010300040000002D01040004 0000002D010500040000002D010300040000002D010600040000002D010700040000002D010900 040000002D010800040000002D010300040000002D010A00040000002D010900040000002D0108 00040000002D010300040000002D010A00040000002D010900040000002D010700040000002D01 0800040000002D010300040000002D010A00040000002D010900040000002D010800040000002D 010300040000002D010A00040000002D010900040000002D010800040000002D01030004000000 2D010A00040000002D010900040000002D010800040000002D010300040000002D010A00040000 002D010900040000002D010800040000002D010300040000002D010A00040000002D0109000400 00002D010700040000002D010900040000002D010800040000002D010300040000002D010A0004 0000002D010900040000002D010800040000002D010300040000002D010A00040000002D010900 040000002D010800040000002D010300040000002D010A00040000002D010900040000002D0108 00040000002D010300040000002D010A00040000002D0109000500000009020000FF0007000000 21050100A10064006400040000002D010700040000002D010800040000002D0103000700000021 05010035007401D2000700000021050100370074014A01040000002D010600040000002D010700 0700000021050100D7007401F201040000002D010800040000002D010300040000002D01040007 00000021050100780074016502040000002D01050007000000210501003200FA00D00204000000 2D010600040000002D01070007000000210501002D0074016103040000002D010800040000002D 01030007000000210501003600740121040700000021050100330074019904040000002D010600 040000002D0107000700000021050100D70074014105040000002D010800040000002D01030004 0000002D010400070000002105010078007401B405040000002D01050007000000210501003300 F8001F06040000002D010600040000002D01070007000000210501002B007401B006040000002D 010800040000002D010300040000002D0104000700000021050100780074017707040000002D01 050007000000210501003400FA00E207040000002D010600040000002D01070007000000210501 002D0074017308040000002D010800040000002D01030007000000210501003100740133090400 00002D010A00040000002D010900040000002D010800040000002D010300040000002D010A0004 0000002D010900040000002D010800040000002D010300040000002D010A00040000002D010900 0700000021050100A2006400AB09040000002D0107000700000021050100D7007401490A040000 002D010900040000002D010800040000002D010300040000002D010A00040000002D0109000400 00002D010800040000002D010300040000002D010A00040000002D010900040000002D01080004 0000002D010300040000002D010A00040000002D010900040000002D010800040000002D010300 040000002D010A00040000002D0109000700000021050100A1006400B50A040000002D01070004 0000002D010800040000002D010300070000002105010033007401230B07000000210501003500 74019B0B040000002D010600040000002D0107000700000021050100D7007401430C1C000000FB 0210FF0000000000009001010000020700000054696D6573204E657720526F6D616E007DA8F477 86A8F4770100000000003000040000002D010B00040000002D0104000700000021050100780074 01B60C040000002D010600040000002D01070007000000210501002D0074015D0D040000002D01 0800040000002D0103000700000021050100340074011D0E070000002105010038007401950E04 0000002D010600040000002D0107000700000021050100D70074013D0F040000002D0108000400 00002D010300040000002D010400070000002105010078007401B00F040000002D010500070000 00210501003200FA001B10040000002D010600040000002D01070007000000210501002B007401 AC10040000002D010800040000002D0103000700000021050100310074016C1107000000210501 0037007401E411040000002D010600040000002D0107000700000021050100D70074018C120400 00002D010800040000002D010300040000002D010400070000002105010078007401FF12040000 002D01050007000000210501003300F8006A13040000002D010600040000002D01070007000000 210501002B007401FB13040000002D010800040000002D010300040000002D0104000700000021 05010078007401C214040000002D01050007000000210501003400FA002D15040000002D010600 040000002D01070007000000210501002D007401BE15040000002D010800040000002D01030007 00000021050100320074017E16040000002D010A00040000002D010900040000002D0108000400 00002D010300040000002D010A00040000002D010900040000002D010800040000002D01030004 0000002D010A00040000002D0109000700000021050100A2006400F61608000000FA0200000000 000000000000040000002D010C0004000000F001000007000000FC020000FFFFFF000000040000 002D01000004000000F00101001C000000FB021000070000000000BC0200000000010202225379 7374656D007740000000CD040A477DA8F47786A8F4770100000000003000040000002D01010004 0000002701FFFF04000000F001020004000000F001030004000000F001040004000000F0010500 04000000F001060004000000F001070004000000F001080004000000F001090004000000F0010A 0004000000F0010B00040000002701FFFF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\ri4\plain\f4\fs22\cf0 14. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}[divide(a,b,Rem),divide(a,c,Rem)] \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw1326\pich827\picwgoal751\pichgoal468 0100090000030B02000008001C0000000000050000000B0200000000050000000C023B032E0503 0000001E00030000001E00050000000C02D501F002050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F47740000000FA050AAD7DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B001C000000FB0210FF000000000000900100000001 070000005346204D6174682045787400B5040A2E7DA8F47786A8F4770100000000003000040000 002D0104001C000000FB0210FF000000000000900100000002070000005346204D617468204578 740018050AE27DA8F47786A8F4770100000000003000040000002D0105001C000000FB0210FF00 00000000009001000000020700000054696D6573204E657720526F6D616E007DA8F47786A8F477 0100000000003000040000002D010600040000002D010300040000002D010400040000002D0105 00040000002D010600040000002D010300040000002D010400040000002D010500040000002D01 0600040000002D010300040000002D010400040000002D010500040000002D010600040000002D 0103000500000009020000FF00040000002D010400040000002D01050007000000210501005B00 3B016400040000002D010600040000002D010300070000002105010030003B01B8000700000021 0501002C003B013001070000002105010030003B01C001040000002D010400040000002D010500 040000002D010600040000002D010300040000002D010400040000002D010500040000002D0106 00040000002D010300040000002D010400040000002D01050007000000210501005D003B013802 08000000FA0200000000000000000000040000002D01070004000000F001000007000000FC0200 00FFFFFF000000040000002D01000004000000F00101001C000000FB021000070000000000BC02 000000000102022253797374656D0077400000003E060AF57DA8F47786A8F47701000000000030 00040000002D010100040000002701FFFF04000000F001020004000000F001030004000000F001 040004000000F001050004000000F0010600040000002701FFFF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\ri4\plain\f4\fs22\cf0 15. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}ZassenhausSchranke:=proc(a,x,m) \par \pard\li600\ri1\fi-300\plain\f3\fs22\cf1 local n,M,R; \par begin \par n:=degree(a,x); \par M:=max((abs(coeff(a,x,n-k)))^(1/k)/binomial(n,k) $ k=1..n); \par R:=M/(2^(1/n)-1); \par max(binomial(m,k)*R^k $ k=1..n) \par end_proc: \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}ceil(ZassenhausSchranke(a,x,4)) \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw2046\pich827\picwgoal1159\pichgoal468 0100090000034801000005001C0000000000050000000B0200000000050000000C023B03FE0703 0000001E00030000001E00050000000C02D5018804050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F47740000000C2050AC97DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B000500000009020000FF0007000000210501003100 3B016400070000002105010036003B01DC00070000002105010032003B01540107000000210501 0039003B01CC01070000002105010030003B014402070000002105010032003B01BC0207000000 2105010038003B013403070000002105010034003B01AC0308000000FA02000000000000000000 00040000002D01040004000000F001000007000000FC020000FFFFFF000000040000002D010000 04000000F00101001C000000FB021000070000000000BC02000000000102022253797374656D00 7740000000B5040A2F7DA8F47786A8F4770100000000003000040000002D010100040000002701 FFFF04000000F001020004000000F0010300040000002701FFFF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\ri4\plain\f4\fs22\cf0 16. \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab}[b,c,s,t,q]:=HenselLifting(a,b,c,s,t,x,q) \par \pard\li50\ri6\plain\f3\fs22\cf2\protect {\pict\wmetafile8\picw32378\pich907\picwgoal18356\pichgoal514 010009000003940900000D001C0000000000050000000B0200000000050000000C028B037A7E03 0000001E00030000001E00050000000C020202B447050000000B020000000014000000FF060000 0600F602000024000100020000800080FF7FFF7F02000080FF7F0080FF7F0200040000002D0100 0004000000F001000008000000FA0200000000000000000000040000002D01000007000000FC02 0000000000000000040000002D0101001C000000FB0210FF000000000000900100000001070000 00417269616C00F477400000003C060A847DA8F47786A8F4770100000000003000040000002D01 020005000000020101000000050000000102FFFFFF00050000002E011800000005000000090200 00000004000000080100001C000000FB0210FF0000000000009001000000010700000054696D65 73204E657720526F6D616E007DA8F47786A8F4770100000000003000040000002D0103000B0000 0026060F000C004D6174685479706500007B001C000000FB0210FF000000000000900101000001 0700000054696D6573204E657720526F6D616E007DA8F47786A8F4770100000000003000040000 002D0104001C000000FB0256FF0000000000009001000000010700000054696D6573204E657720 526F6D616E007DA8F47786A8F4770100000000003000040000002D010500040000002D01030004 0000002D010400040000002D0105001C000000FB0210FF00000000000090010000000207000000 53796D626F6C007740000000FA050AAE7DA8F47786A8F4770100000000003000040000002D0106 001C000000FB0210FF0000000000009001000000020700000053796D626F6C0077400000003E06 0AF67DA8F47786A8F4770100000000003000040000002D0107001C000000FB0210FF0000000000 009001000000020700000054696D6573204E657720526F6D616E007DA8F47786A8F47701000000 00003000040000002D010800040000002D010300040000002D010400040000002D010500040000 002D010600040000002D010700040000002D010800040000002D010300040000002D0104000400 00002D010600040000002D010700040000002D010800040000002D010300040000002D01060004 0000002D010700040000002D010800040000002D010300040000002D010400040000002D010500 040000002D010300040000002D010400040000002D010500040000002D010600040000002D0107 00040000002D010800040000002D010300040000002D010400040000002D010500040000002D01 0600040000002D010700040000002D010800040000002D010300040000002D010600040000002D 010700040000002D010800040000002D010300040000002D010400040000002D01050004000000 2D010600040000002D010700040000002D010800040000002D010300040000002D010400040000 002D010500040000002D010600040000002D010700040000002D010800040000002D0103000400 00002D010400040000002D010600040000002D010700040000002D010800040000002D01030004 0000002D010600040000002D010700040000002D010800040000002D010300040000002D010400 040000002D010500040000002D010600040000002D010700040000002D010800040000002D0103 00040000002D010400040000002D010500040000002D010600040000002D010700040000002D01 0800040000002D010300040000002D010400040000002D010600040000002D010700040000002D 010800040000002D010300040000002D010600040000002D010700040000002D01080004000000 2D0103001C000000FB0210FF000000000000900100000001070000005346204D61746820457874 002E060A6E7DA8F47786A8F4770100000000003000040000002D0109001C000000FB0210FF0000 00000000900100000002070000005346204D61746820457874004A060ACE7DA8F47786A8F47701 00000000003000040000002D010A00040000002D010800040000002D010300040000002D010900 040000002D010A00040000002D010800040000002D010300040000002D010900040000002D010A 00040000002D010800040000002D010300040000002D010900040000002D010A00040000002D01 0800040000002D010300040000002D010900040000002D010A00040000002D010800040000002D 010300040000002D010900040000002D010A000500000009020000FF000700000021050100A300 69006400040000002D010800040000002D010300040000002D0104000700000021050100780068 01CF00040000002D01050007000000210501003400EE003A01040000002D010600040000002D01 070007000000210501002B006801CB01040000002D010800040000002D01030007000000210501 00310068018B020700000021050100370068010303040000002D010600040000002D0107000700 000021050100D7006801AB03040000002D010800040000002D010300040000002D010400070000 0021050100780068011E04040000002D01050007000000210501003300EC008904040000002D01 0600040000002D01070007000000210501002D0068011A05040000002D010800040000002D0103 00070000002105010034006801DA050700000021050100380068015206040000002D0106000400 00002D0107000700000021050100D7006801FA06040000002D010800040000002D010300040000 002D0104000700000021050100780068016D07040000002D01050007000000210501003200EE00 D807040000002D010600040000002D01070007000000210501002B0068016908040000002D0108 00040000002D0103000700000021050100330068012909070000002105010035006801A1090400 00002D010600040000002D0107000700000021050100D7006801490A1C000000FB0210FF000000 0000009001010000020700000054696D6573204E657720526F6D616E007DA8F47786A8F4770100 000000003000040000002D010B00040000002D010400070000002105010078006801BC0A040000 002D010600040000002D01070007000000210501002D006801630B040000002D01080004000000 2D010300070000002105010032006801230C07000000210501002C0068019B0C040000002D0104 00070000002105010078006801320D040000002D01050007000000210501003400EE009D0D0400 00002D010600040000002D01070007000000210501002D0068012E0E040000002D010800040000 002D010300070000002105010036006801EE0E070000002105010033006801660F040000002D01 0600040000002D0107000700000021050100D70068010E10040000002D010800040000002D0103 00040000002D0104000700000021050100780068018110040000002D0105000700000021050100 3300EC00EC10040000002D010600040000002D01070007000000210501002B0068017D11040000 002D010800040000002D0103000700000021050100350068013D12070000002105010037006801 B512040000002D010600040000002D0107000700000021050100D70068015D13040000002D0108 00040000002D010300040000002D010400070000002105010078006801D013040000002D010500 07000000210501003200EE003B14040000002D010600040000002D01070007000000210501002D 006801CC14040000002D010800040000002D0103000700000021050100310068018C1507000000 210501002C0068010416040000002D010600040000002D010700040000002D010800040000002D 01030007000000210501003300680194160700000021050100350068010C170700000021050100 370068018417070000002105010032006801FC1707000000210501003000680174180700000021 05010038006801EC180700000021050100380068016419040000002D010600040000002D010700 0700000021050100D70068010C1A040000002D010800040000002D010300040000002D01040007 00000021050100780068017F1A040000002D01050007000000210501003300EC00EA1A04000000 2D010600040000002D01070007000000210501002D0068017B1B040000002D010800040000002D 0103000700000021050100360068013B1C070000002105010036006801B31C0700000021050100 380068012B1D070000002105010034006801A31D0700000021050100310068011B1E0700000021 05010036006801931E0700000021050100370068010B1F040000002D010600040000002D010700 0700000021050100D7006801B31F040000002D010800040000002D010300040000002D01040007 00000021050100780068012620040000002D01050007000000210501003200EE00912004000000 2D010600040000002D01070007000000210501002B0068012221040000002D010800040000002D 010300070000002105010031006801E2210700000021050100360068015A220700000021050100 31006801D2220700000021050100320068014A23070000002105010033006801C2230700000021 050100390068013A24070000002105010037006801B2240700000021050100320068012A250400 00002D010600040000002D0107000700000021050100D7006801D225040000002D010B00040000 002D0104000700000021050100780068014526040000002D010600040000002D01070007000000 210501002D006801EC26040000002D010800040000002D010300070000002105010037006801AC 2707000000210501003100680124280700000021050100340068019C2807000000210501003500 680114290700000021050100360068018C29070000002105010039006801042A07000000210501 00340068017C2A070000002105010034006801F42A07000000210501002C0068016C2B04000000 2D010600040000002D01070007000000210501002D006801202C040000002D010800040000002D 010300070000002105010033006801D42C0700000021050100350068014C2D0700000021050100 37006801C42D0700000021050100320068013C2E070000002105010030006801B42E0700000021 050100380068012C2F070000002105010038006801A42F040000002D010600040000002D010700 0700000021050100D70068014C30040000002D010800040000002D010300040000002D01040007 0000002105010078006801BF30040000002D01050007000000210501003300EC002A3104000000 2D010600040000002D01070007000000210501002D006801BB31040000002D010800040000002D 0103000700000021050100360068017B32070000002105010034006801F3320700000021050100 370068016B33070000002105010032006801E3330700000021050100330068015B340700000021 05010039006801D3340700000021050100390068014B35070000002105010032006801C3350400 00002D010600040000002D0107000700000021050100D70068016B36040000002D010800040000 002D010300040000002D010400070000002105010078006801DE36040000002D01050007000000 210501003200EE004937040000002D010600040000002D01070007000000210501002B006801DA 37040000002D010800040000002D0103000700000021050100330068019A380700000021050100 3900680112390700000021050100300068018A39070000002105010036006801023A0700000021 050100350068017A3A070000002105010035006801F23A0700000021050100380068016A3B0700 00002105010038006801E23B040000002D010600040000002D0107000700000021050100D70068 018A3C040000002D010B00040000002D010400070000002105010078006801FD3C040000002D01 0600040000002D01070007000000210501002D006801A43D040000002D010800040000002D0103 00070000002105010037006801643E070000002105010031006801DC3E07000000210501003400 6801543F070000002105010034006801CC3F070000002105010034006801444007000000210501 0039006801BC400700000021050100390068013441070000002105010034006801AC4107000000 210501002C0068012442070000002105010032006801B4420700000021050100310068012C4307 0000002105010034006801A4430700000021050100330068011C44070000002105010035006801 94440700000021050100380068010C450700000021050100380068018445070000002105010038 006801FC450700000021050100310068017446040000002D010900040000002D010A0004000000 2D010800040000002D010300040000002D010900040000002D010A00040000002D010800040000 002D010300040000002D010900040000002D010A000700000021050100A4006900EC4608000000 FA0200000000000000000000040000002D010C0004000000F001000007000000FC020000FFFFFF 000000040000002D01000004000000F00101001C000000FB021000070000000000BC0200000000 0102022253797374656D007740000000CD040A487DA8F47786A8F4770100000000003000040000 002D010100040000002701FFFF04000000F001020004000000F001030004000000F00104000400 0000F001050004000000F001060004000000F001070004000000F001080004000000F001090004 000000F0010A0004000000F0010B00040000002701FFFF030000000000 }\plain\f3\fs22\cf2\protect \par \pard\li50\ri2\plain\f3\fs22\cf2\protect \par \pard\li300\ri5\fi-300{\*\pn\pnlvlblt\pnf1\pnindent300{\pntxtb\'b7}}\plain\f3\fs22\cf1 {\pntext\f1\'b7\tab} \par }