（*内容类型：application/vnd.wolfram.mathematica*）（***Wolfram笔记本文件***）(* http://www.wolfram.com/nb *)（*CreatedBy='Mathematica 11.0'*）（*CacheID:234*）（*内部缓存信息：笔记本文件换行测试笔记本文件换行测试笔记本数据位置[158,7]笔记本数据长度[114300，2065]笔记本选项位置[1086111925]笔记本大纲位置[1089541940]单元格标签索引位置[108911，1937]窗口框架->正常*）（*笔记本内容开头*）笔记本[{单元格[CellGroupData[{单元格[“所有代码组合”，“子子集”，CellChangeTimes->{｛3.711209697333991*^9，3.7112097002147217`*^9｝]，单元格[BoxData[行框[{行框[{行框[{“NeverDividesLucasSeqQ”，“[”，行框[{“a_”、“，”、“p_”}]、“]”}]，“：=”，行框[{“And”，“@@”，行框[{“表”，“[”，行框[{行框[{行框[{“Mod”，“[”，行框[{行框[{“a”，“[”，“n”，“]”}]，“，”，“p”}]，行框[{“{”，行框[{“n”，“，”，“0”，“”，“，行框[{“p”，“-”，“1”}]}]，“}”}]{]，“]”}]]}]、“；”}]]，“输入”，快速\离子UUID->“c499a9f1-3cbd-4b32-a323-9ff66d1ee023”]，单元格[BoxData[{行框[{行框[{行框[{“A2”，“[”，行框[{“a_”，“，”，“b_”，行框[{“n_”，“/；”，行框[{“n”，“<”，“0”}]}]，“]”}]，行框[{行框[{行框[{“A2”，“[”，行框[{“a_”，“，”，“b_”，“；”}]，“\n”，行框[{行框[{行框[{“A2”，“[”，行框[{“a_”，“，”，“b_”，行框[{行框[{“A2”，“[”，行框[{“a”、“”、“b”、“，”、“c”、“、”、“n”}]、“]”}]，“=”，行框[{行框[{“（”，行框[{行框[{行框[{“（”，行框[{行框[{“a”，“”，行框[{行框[{“（”，行框[{“n”、“-”、“1”}]、“）”}]，“^”，“2”}]]，“+”，行框[{“a”，“”，行框[{“（”，行框[{“n”，“-”，“1”}]，“）”}]]，“+”，“b”}]，行框[{“A2”，“[”，行框[{“a”，“，”，“b”，“，行框[{“n”，“-”，“1”}]}]，“]”}]]，“-“，行框[{“c”，行框[{行框[{“（”，行框[{“n”、“-”、“1”}]、“）”}]，“^”，“2”}]，行框[{“A2”，“[”，行框[{“a”，“，”，“b”，“，RowBox[｛“n”，“-”，“2”｝]｝]，“]”｝]｝]，“）”｝]，“/”，RowBox[｛“n”，“^”，“2”｝]｝]｝]｝]，“；”｝]，“\n”，行框[{行框[{行框[{“A3”，“[”，行框[{“a_”，“，”，“b_”，行框[{“n_”，“/；”，行框[{“n”，“<”，“0”}]}]，“]”}]，行框[{行框[{行框[{“A3”，“[”，行框[{“a_”，“，”，“b_”，“；”｝]，“\n”，行框[{行框[{行框[{“A3”，“[”，行框[{“a_”，“，”，“b_”，行框[{行框[{“A3”，“[”，行框[{“a”、“”、“b”、“，”、“c”、“、”、“n”}]、“]”}]，“=”，行框[{行框[{“（”，行框[{行框[{行框[{“（”，行框[{行框[{“（”，行框[{行框[{“2”、“n”}]、“-”、“1”}]，“）”}]，行框[{“（”，行框[{行框[{“a”，行框[{行框[{“（”，行框[{“n”、“-”、“1”}]、“）”}]，“^”，“2”}]]，“+”，行框[{“a”，行框[{“（”，行框[{“n”，“-”，“1”}]，“）”}]]，“+”，“b”}]，行框[{“A3”，“[”，行框[{“a”，“，”，“b”，“，行框[{“n”，“-”，“1”}]}]，“]”}]]，“-“，行框[{“c”，行框[{行框[{“（”，行框[{“n”、“-”、“1”}]、“）”}]，“^”，“3”}]，行框[{“A3”，“[”，行框[{“a”，“，”，“b”，“，行框[{“n”，“-”，“2”}]}]，“]”}]{]，“）”}]，”/“，行框[{“n”，“^”，“3”}]}]}，“；”}]，“\n”，行框[{行框[{行框[{“A3”，“[”，行框[{“a_”，“，”，“b_”，行框[{“n_”，“/；”，行框[{“n”，“<”，“0”}]}]，“]”}]，”=“，”0“}]，“；”}]，“\[IndentingNewLine]”，行框[{行框[{行框[{“A4”，“[”，行框[{“a_”，“，”，“b_”，行框[{行框[{“A4”，“[”，行框[{“a”，“，”，“b”，“，行框[{行框[{“（”，行框[{行框[{行框[{“（”，行框[{行框[{“（”，行框[{行框[{“2”、“n”}]、“-”、“1”}]，“）”}]，行框[{“（”，行框[{行框[{“a”，行框[{行框[{“（”，RowBox[｛“n”，“-”，“1”｝]，“）”｝]，“^”，“2”｝]｝]，“+”，RowBox[｛“a”，行框[{“（”，行框[{“n”，“-”，“1”}]，“）”}]]，“+”，“b”}]，行框[{“A4”，“[”，行框[{“a”，“，”，“b”，“，行框[{“n”，“-”，“1”}]}]，“]”}]]，“-“，行框[{行框[{“（”，行框[{“n”，“-”，“1”}]，“）”}]，行框[{“（”，行框[{行框[{“c”，行框[{行框[{“（”，RowBox[｛“n”，“-”，“1”｝]，“）”｝]，“^”，“2”｝]｝]，“+”，“d”｝]，“）”｝]，行框[{“A4”，“[”，行框[{“a”，“，”，“b”，“，行框[{“n”，“-”，“2”}]}]，“]”}]{]，“）”}]，”/“，行框[{“n”，“^”，“3”}]}]}，“；”}]，“\n”，行框[{行框[{行框[{“A4”，“[”，行框[{“a_”，“，”，“b_”，行框[{“n_”，“/；”，行框[{“n”，“<”，“0”}]}]，“]”}]，”=“，”0“}]，“；”}]，“\[IndentingNewLine]”，行框[{行框[{行框[{“A4”，“[”，行框[{“a_”，“，”，“b_”，“1”}]，“；”}]，“\[IndentingNewLine]”，行框[{行框[{“Aa”，“[”，“n_”，“]”}]，“：=”，行框[{“A2”，“[”，行框[{“7”，“，”，“2”，“”，“，行框[{“-”，“8”}]，“，”，“n”}]、“]”}]]，“\n”，行框[{行框[{“Ab”，“[”，“n_”，“]”}]，“：=”，行框[{“A2”，“[”，行框[{“11”，“，”，“3”，“”，“，行框[{“-”，“1”}]，“，”，“n”}]、“]”}]]，“\n”，行框[{行框[{“Ac”，“[”，“n_”，“]”}]，“：=”，行框[{“A2”，“[”，行框[{“10”、“、”、“3”、“，”、“9”、“”、“n”}]、“]”}]}]，“\n”，行框[{行框[{“广告”，“[”，“n_”，“]”}]，“：=”，行框[{“A2”，“[”，行框[{“12”、“、”、“4”、“，”、“32”、“”、“n”}]、“]”}]}]，“\n”，行框[{行框[{“Af”，“[”，“n_”，“]”}]，“：=”，行框[{“A2”，“[”，行框[{“9”、“、”、“3”、“，”、“27”、“”、“n”}]、“]”}]}]，“\n”，行框[{RowBox[｛“Ag”，“[”，“n_”，“]”｝]，“：=”，RowBox[｛“A2”，“[”，行框[{“17”、“、”、“6”、“，”、“72”、“”、“n”}]、“]”}]}]，“\n”，行框[{行框[{行框[{“A\[Delta]”，“[”，“n_”，“]”}]，“：=”，行框[{“A3”，“[”，行框[{“7”、“、”、“3”、“，”、“81”、“”、“n”}]、“]”}]]、“}]”、“\n”、，行框[{行框[{行框[{“A\[Eta]”，“[”，“n_”，“]”}]，“：=”，行框[{“A3”，“[”，RowBox[｛“11”，“，”，“5”，“，”，“125”，“，”，“n”｝]，“]”｝]｝]，“”｝]，“\n”，行框[{行框[{“A\[Alpha]”，“[”，“n_”，“]”}]，“：=”，行框[{“A3”，“[”，行框[{“10”、“、”、“4”、“，”、“64”、“”、“n”}]、“]”}]}]，“\n”，行框[{行框[{“A\[Epsilon]”，“[”，“n_”，“]”}]，“：=”，行框[{“A3”，“[”，行框[{“12”、“、”、“4”、“，”、“16”、“”、“n”}]、“]”}]]，“\n”，行框[{行框[{“A\[Zeta]”，“[”，“n_”，“]”}]，“：=”，行框[{“A3”，“[”，行框[{“9”，“，”，“3”，“”，“，行框[{“-”，“27”}]，“，”，“n”}]、“]”}]]，“\n”，行框[{行框[{“A\[Gamma]”，“[”，“n_”，“]”}]，“：=”，行框[{“A3”，“[”，行框[{“17”，“，”，“5”，“，“]”}]}]，“\[IndentingNewLine]”，行框[{行框[{“As7”，“[”，“n_”，“]”}]，“：=”，行框[{“A4”，“[”，行框[{“13”，“，”，“4”，“”，“，行框[{“-”，“27”}]，“，”，“3”，“，行框[{行框[{“As10”，“[”，“n_”，“]”}]，“：=”，行框[{“A4”，“[”，行框[{“6”，“，”，“2”，“”，“，行框[{“-”，“64”}]，“，”，“4”，“，行框[{行框[{“As18”，“[”，“n_”，“]”}]，“：=”，行框[{“A4”，“[”，行框[{“14”，“，”，“6”，“，行框[{“-”，“12”}]，“，”，“n”}]，单元格更改时间->{{3.711209034123041*^9，3.71120904460504*^9}{3.7112090699479523`*^9, 3.7112091626999483`*^9}, 3.7112091957072*^9, {3.7121952425812826`*^9, 3.7121952800339947`*^9}, {3.7121965432331343`*^9, 3.7121965473166656`*^9}，{3.712196942049591*^9，3.712196974207801*^9}{3.712197085853653*^9，3.7121970917401133`*^9}，{3.712197620383639*^9，3.7121976284666204`*^9}, {3.7121977229532857`*^9, 3.712197724184743*^9}, {3.712197769271373*^9, 3.7121977711367407`*^9}, {3.7121978707998247`*^9, 3.712197875823125*^9}, {3.712198029947028*^9, 3.7121980316641617`*^9}, {3.712198177970707*^9, 3.712198181504946*^9}, {3.712198248201336*^9, 3.712198257379244*^9}, {3.7121983035550666`*^9, 3.712198322267455*^9}, {3.712198713172888*^9, 3.7121987547466955`*^9}, {3.712198786319137*^9, 3.712198820193167*^9}，{3.7122471537623777`*^9,3.712247156004081*^9}{3.7122479809121704`*^9, 3.712247982351883*^9}, {3.7122480136264086`*^9, 3.712248073660423*^9}}，表达式UUID->“29ad24ad-40bb-44b6-8f10-\49df58270251“]}，打开]]，单元格[CellGroupData[{单元格[“代码仅用于序列B（A005258），作为示例”，“Subsubsection”，单元格更改时间->{{3.711209318311751*^9，3.71120932682428*^9}{3.711209708821954*^9, 3.711209711991036*^9}, {3.712248370329836*^9, 3.7122483959282937`*^9}}，表达式UUID->“0320e824-a2c0-4d5f-a148-\a94df6c9a1be“]，单元格[CellGroupData[{单元格[BoxData[{行框[{行框[{行框[{“A2”，“[”，行框[{“a_”，“，”，“b_”，行框[{“n_”，“/；”，行框[{“n”，“<”，“0”}]}]，“]”}]，行框[{行框[{行框[{“A2”，“[”，行框[{“a_”，“，”，“b_”，“；”}]，“\n”，行框[{行框[{行框[{“A2”，“[”，行框[{“a_”，“，”，“b_”，行框[{行框[{“A2”，“[”，行框[{“a”、“”、“b”、“，”、“c”、“、”、“n”}]、“]”}]，“=”，行框[{行框[{“（”，行框[{行框[{行框[{“（”，行框[{行框[{“a”，“”，行框[{行框[{“（”，行框[{“n”、“-”、“1”}]、“）”}]，“^”，“2”}]]，“+”，行框[{“a”，“”，行框[{“（”，行框[{“n”，“-”，“1”}]，“）”}]]，“+”，“b”}]，行框[{“A2”，“[”，行框[{“a”，“，”，“b”，“，行框[{“n”，“-”，“1”}]}]，“]”}]]，“-“，行框[{“c”，行框[{行框[{“（”，行框[{“n”、“-”、“1”}]、“）”}]，“^”，“2”}]，行框[{“A2”，“[”，RowBox[｛“a”，“，”，“b”，“，”，“c”，“，”，RowBox[｛“n”，“-”，“2”｝]｝]，“]”｝]｝]，“）”｝]，“/”，行框[{“n”，“^”，“2”}]}]}，“；”}]，“\[IndentingNewLine]”，行框[{行框[{行框[{“Ab”，“[”，“n_”，“]”}]，“：=”，行框[{“A2”，“[”，行框[{“11”，“，”，“3”，“”，“，行框[{“-”，“1”}]，“，”，“n”}]，行框[{行框[{行框[{“NeverDividesLucasSeqQ”，“[”，RowBox[｛“a_”，“，”，“p_”｝]，“]”｝]，“：=”，行框[{“And”，“@@”，行框[{“表”，“[”，行框[{行框[{行框[{“Mod”，“[”，行框[{行框[{“a”，“[”，“n”，“]”}]，“，”，“p”}]，行框[{“{”，行框[{“n”，“，”，“0”，“”，“，行框[{“p”、“-”、“1”}]}]、“}”}]]、“]”}]]}]，“；”}]，“\[IndentingNewLine]”，行框[{“选择”，“[”，行框[{行框[{“范围”，“[”，“100”，“]”}]，“，”，行框[{行框[{行框[{“PrimeQ”，“[”，“#”，“]”}]，“&”，行框[{“NeverDividesLucasSeqQ”，“[”，行框[{“Ab”，“，”，“#”}]，“]”}]}]，单元格更改时间->{{3.7112093427155457`*^9，3.711209396537429*^9}}，表达式UUID->“133a2de0-bcd0-42a7-926b-\0b5bfb1f3533“]，单元格[BoxData[行框[{“{”，行框[{"2", ",", "5", ",", "13", ",", "17", ",", "29", ",", "37", ",", "41", ",", “61”、“、”、“73”、“，”、“89”}]、“}”}]]，“输出”，单元格更改时间->{{3.711209393014195*^9，3.7112096977178*^9}{3.7121943371966667`*^9, 3.7121943481764455`*^9}, 3.7121943822300243`*^9}，表达式UUID->“cb963da1-e743-45ee-8165-\b433c64cc757“]}，打开]]}，打开]]，单元格[CellGroupData[{单元格[“每个序列的素数最多为10000”，“子子集”，单元格更改时间->{{3.7112094044559517`*^9，3.711209427415963*^9}}，表达式UUID->“847f10e1-1ccf-4e15-89b7-\b2459084e559“]，单元格[BoxData[样式框[行框[{“A000172”，“：”}]，字体大小->16]]，“输入”，表达式UUID->“9dbf1a6c-8936-49ca-81de-73dd957bf283”]，单元格[CellGroupData[{单元格[BoxData[行框[{“选择”，“[”，行框[{行框[{“范围”，“[”，“10000”，“]”}]，“，”，行框[{行框[{行框[{“PrimeQ”，“[”，“#”，“]”}]，“&”，行框[{“NeverDividesLucasSeqQ”，“[”，行框[{“Aa”，“，”，“#”}]，“]”}]}]，”&“}]}，”]“}]]，“输入”，单元格更改时间->{{3.711209483031364*^9，3.711209493247291*^9}{3.7121983311090117`*^9，3.7121983365683594`*^9}，3.712198402354703*^9{3.712198434195615*^9，3.712198450114236*^9}，{3.7121989818834486`*^9，3.7121989842185445`*^9}}，表达式UUID->“ad2c6a74-8be0-4820-8877-\c16f3af1b379“]，单元格[BoxData[行框[{“{”，行框[{"3", ",", "11", ",", "17", ",", "19", ",", "43", ",", "83", ",", "89", ",", "97", ",", "113", ",", "137", ",", "139", ",", "163", ",", "193", ",", "211", ",", "233", ",", "241", ",", "283", ",", "307", ",", "313", ",", "331", ",", "347", ",", "353", ",", "379", ",", "401", ",", "409", ",", “419”，“，”，“433”，“，”，“443”，“，”，“491”，“，”，“499”，“，”，“523”，“，”，"547", ",", "569", ",", "587", ",", "601", ",", "617", ",", "619", ",", "641", ",", "643", ",", "673", ",", "811", ",", "827", ",", "859", ",", "881", ",", "929", ",", "947", ",", "953", ",", "977", ",", "1009", ",", "1019", ",", "1033", ",", "1049", ",", "1051", ",", "1091", ",", "1097", ",", "1129", ",", "1153", ",", "1163", ",", "1193", ",", "1217", ",", "1259", ",", "1291", ",", "1297", ",", "1307", ",", "1321", ",", "1427", ",", "1433", ",", "1451", ",", "1481", ",", "1483", ",", "1499", ",", "1531", ",", "1553", ",", "1571", ",", "1601", ",", "1619", ",", "1657", ",", "1667", ",", "1721", ",", "1753", ",", "1777", ",", "1787", ",", "1801", ",", "1811", ",", "1867", ",", "1873", ",", "1889", ",", "1907", ",", "1987", ",", "1993", ",", "2017", ",", "2027", ",", "2083", ",", "2099", ",", "2113", ",", "2129", ",", "2137", ",", "2153", ",", "2161", ",", "2179", ",", "2203", ",", "2243", ",", "2251", ",", "2273", ",", "2297", ",", "2339", ",", "2371", ",", "2377", ",", "2393", ",", "2411", ",", "2441", ",", "2459", ",", "2467", ",", "2473", ",", "2539", ",", "2579", ",", "2609", ",", "2657", ",", "2659", ",", "2683", ",", "2689", ",", "2699", ",", "2707", ",", "2729", ",", "2777", ",", "2801", ",", "2803", ",", "2833", ",", "2843", ",", "2857", ",", "2897", ",", "2939", ",", "2953", ",", "2963", ",", "2969", ",", "3001", ",", "3011", ",", "3041", ",", "3067", ",", "3083", ",", "3089", ",", "3121", ",", "3137", ",", "3169", ",", "3209", ",", "3217", ",", "3251", ",", "3257", ",", "3259", ",", "3299", ",", "3313", ",", "3323", ",", "3329", ",", "3347", ",", "3371", ",", "3449", ",", "3457", ",", "3499", ",", "3529", ",", "3571", ",", "3593", ",", "3617", ",", "3691", ",", "3761", ",", "3769", ",", "3803", ",", "3851", ",", "3889", ",", "3907", ",", "3923", ",", "3929", ",", "4001", ",", "4049", ",", "4051", ",", "4099", ",", "4129", ",", "4153", ",", "4211", ",", "4217", ",", "4243", ",", "4259", ",", "4289", ",", "4297", ",", "4337", ",", "4457", ",", "4481", ",", "4483", ",", "4513", ",", "4523", ",", "4547", ",", "4561", ",", "4603", ",", “4651”，“，”，“4673”，“，”，“4691”，“，”，“4793”，“，”，“4817”，“，”，“4889”，“，”，“4937”，“，”，“4969”，“，”，“4993”，“，”，“5003”，“，”，“5011”，“，”，"5051", ",", "5107", ",", "5171", ",", "5179", ",", "5227", ",", "5233", ",", "5273", ",", "5323", ",", "5347", ",", "5387", ",", "5393", ",", "5417", ",", "5441", ",", "5483", ",", "5521", ",", "5569", ",", "5651", ",", "5657", ",", "5689", ",", "5779", ",", "5827", ",", "5843", ",", "5849", ",", "5867", ",", "5881", ",", "5923", ",", "5939", ",", "5953", ",", "6011", ",", "6043", ",", "6067", ",", "6073", ",", "6091", ",", “6113”，“，”，“6131”，“，”，“6163”，“，”，“6203”，“，”，“6257”，“，”，“6323”，",", "6329", ",", "6361", ",", "6379", ",", "6427", ",", "6449", ",", "6473", ",", "6481", ",", "6491", ",", "6521", ",", "6529", ",", "6553", ",", "6577", ",", "6659", ",", "6689", ",", "6737", ",", "6761", ",", "6779", ",", "6793", ",", "6803", ",", "6827", ",", "6883", ",", "6907", ",", "6947", ",", "6971", ",", "6977", ",", "7001", ",", "7027", ",", "7043", ",", "7057", ",", "7129", ",", "7177", ",", "7211", ",", "7219", ",", "7243", ",", "7297", ",", "7331", ",", "7451", ",", "7457", ",", "7459", ",", "7489", ",", "7499", ",", "7507", ",", "7523", ",", "7529", ",", "7537", ",", "7547", ",", "7561", ",", "7577", ",", "7603", ",", "7649", ",", "7681", ",", "7723", ",", "7793", ",", "7817", ",", "7867", ",", "7883", ",", "7937", ",", "8009", ",", "8017", ",", "8059", ",", "8081", ",", "8123", ",", "8171", ",", "8233", ",", "8291", ",", "8329", ",", "8363", ",", "8369", ",", "8377", ",", "8387", ",", "8419", ",", "8513", ",", "8609", ",", "8627", ",", "8641", ",", "8681", ",", "8689", ",", "8699", ",", "8707", ",", "8713", ",", "8731", ",", "8737", ",", "8753", ",", "8761", ",", "8803", ",", "8819", ",", "8849", ",", "8867", ",", "8923", ",", "8929", ",", "8963", ",", "8969", ",", "9001", ",", "9011", ",", "9041", ",", "9137", ",", "9161", ",", "9187", ",", "9209", ",", "9227", ",", "9241", ",", "9257", ",", "9337", ",", "9377", ",", "9403", ",", "9419", ",", "9433", ",", "9467", ",", "9473", ",", "9491", ",", "9539", ",", "9547", ",", "9619", ",", "9643", ",", "9689", ",", "9697", ",", "9739", ",", "9769", ",", "9803", ",", "9817", ",", "9833", ",", "9851", ",", "9857", ",", "9859", ",", "9883", ",", "9929"}], “}”}]]，“输出”，单元格更改时间->{3.7112094988085957`*^9}，表达式UUID->“1c11040f-da07-463d-bfb8-\f73b47f326dd“]}，打开]]，单元格[BoxData[样式框[行框[{“A005258”，“：”}]，FontSize->16]]，“输入”，单元格更改时间->{3.7121984693673954`*^9}，表达UUID->“69c71715-2ba9-47f3-83af-\8bf79eba89f5“]，单元格[CellGroupData[{单元格[BoxData[行框[{“选择”，“[”，行框[{行框[{“范围”，“[”，“10000”，“]”}]，“，”，行框[{行框[{行框[{“PrimeQ”，“[”，“#”，“]”}]，“&”，行框[{“NeverDividesLucasSeqQ”，“[”，行框[{“Ab”，“，”，“#”}]，“]”}]}]，单元格更改时间->{{3.711208954073536*^9，3.711208972859923*^9}，3.7112093042657413`*^9, 3.7112094742652283`*^9}],单元格[BoxData[行框[{“{”，行框[{“2”，“，”，“5”，“，”，“13”，“，”，“17”，“，”，“29”，“，”，“37”，“，”，“41”，“，”，"61", ",", "73", ",", "89", ",", "101", ",", "109", ",", "137", ",", "149",",", "173", ",", "181", ",", "197", ",", "229", ",", "233", ",", "269", ",", "277", ",", "313", ",", "337", ",", "349", ",", "353", ",", "373", ",", "397", ",", "401", ",", "409", ",", "433", ",", "457", ",", "461", ",", "541", ",", "557", ",", "601", ",", "613", ",", "641", ",", "661", ",", "673", ",", "677", ",", "701", ",", "709", ",", "733", ",", "761", ",", "769", ",", "797", ",", "821", ",", "829", ",", "853", ",", "857", ",", "877", ",", "929", ",", "941", ",", "977", ",", "997", ",", "1009", ",", "1033", ",", "1061", ",", "1069", ",", "1097", ",", "1109", ",", "1117", ",", "1153", ",", "1193", ",", "1201", ",", "1217", ",", "1229", ",", "1237", ",", "1249", ",", "1277", ",", "1297", ",", "1301", ",", "1373", ",", "1381", ",", "1489", ",", "1493", ",", "1597", ",", "1601", ",", "1613", ",", "1657", ",", "1669", ",", "1693", ",", "1697", ",", "1709", ",", "1721", ",", "1741", ",", "1753", ",", "1777", ",", "1789", ",", "1873", ",", "1901", ",", "1973", ",", "2017", ",", "2029", ",", "2053", ",", "2069", ",", "2081", ",", "2113", ",", "2129", ",", "2137", ",", "2161", ",", "2213", ",", "2221", ",", "2237", ",", "2269", ",", "2281", ",", "2293", ",", "2297", ",", "2333", ",", "2377", ",", "2381", ",", "2393", ",", "2417", ",", "2437", ",", "2441", ",", "2521", ",", "2549", ",", "2557", ",", "2593", ",", "2657", ",", "2677", ",", "2689", ",", "2713", ",", "2729", ",", "2741", ",", "2749", ",", "2777", ",", "2789", ",", "2797", ",", "2801", ",", "2833", ",", "2837", ",", "2861", ",", "2897", ",", "2917", ",", "2969", ",", "3037", ",", "3041", ",", "3049", ",", "3109", ",", "3137", ",", "3169", ",", "3209", ",", "3217", ",", "3329", ",", "3361", ",", "3389", ",", "3413", ",", "3433", ",", "3529", ",", "3557", ",", "3581", ",", "3613", ",", "3617", ",", "3637", ",", "3677", ",", "3697", ",", "3709", ",", "3761", ",", "3769", ",", "3793", ",", "3853", ",", "3917", ",", "3929", ",", "4001", ",", "4013", ",", "4021", ",", "4049", ",", "4057", ",", "4093", ",", "4129", ",", “4133”，“，”，“4201”，“，”，“4261”，“，”，“4337”，“，”，“4357”，“，”，“4397”，“，”，“4409”，“，”，“4441”，“，”，“4457”，“，”，“4481”，“，”，“4493”，“，”，"4513", ",", "4517", ",", "4561", ",", "4649", ",", "4657", ",", "4789", ",", "4793", ",", "4801", ",", "4813", ",", "4889", ",", "4933", ",", "4937", ",", "4957", ",", "4973", ",", "5021", ",", "5077", ",", "5081", ",", "5101", ",", "5113", ",", "5189", ",", "5233", ",", "5237", ",", "5273", ",", "5297", ",", "5309", ",", "5381", ",", "5393", ",", "5417", ",", "5449", ",", "5501", ",", "5573", ",", "5581", ",", "5653", ",", “5657”，“，”，“5669”，“，”，“5693”，“，”，“5737”，“，”，“5741”，“，”，“5801”，",", "5813", ",", "5869", ",", "5953", ",", "5981", ",", "6029", ",", "6037", ",", "6053", ",", "6073", ",", "6173", ",", "6197", ",", "6257", ",", "6301", ",", "6329", ",", "6353", ",", "6389", ",", "6397", ",", "6469", ",", "6481", ",", "6577", ",", "6581", ",", "6653", ",", "6689", ",", "6701", ",", "6709", ",", "6733", ",", "6761", ",", "6781", ",", "6793", ",", "6829", ",", "6833", ",", "6869", ",", "6917", ",", "6949", ",", "6961", ",", "6977", ",", "7001", ",", "7057", ",", "7109", ",", "7121", ",", "7129", ",", "7213", ",", "7237", ",", "7297", ",", "7309", ",", "7321", ",", "7393", ",", "7417", ",", "7477", ",", "7481", ",", "7517", ",", "7529", ",", "7537", ",", "7541", ",", "7549", ",", "7561", ",", "7589", ",", "7621", ",", "7673", ",", "7681", ",", "7717", ",", "7741", ",", "7753", ",", "7793", ",", "7817", ",", "7841", ",", "7873", ",", "7937", ",", "7993", ",", "8009", ",", "8017", ",", "8053", ",", "8081", ",", "8089", ",", "8093", ",", "8101", ",", "8117", ",", "8161", ",", "8209", ",", "8221", ",", "8233", ",", "8317", ",", "8353", ",", "8369", ",", "8377", ",", "8389", ",", "8429", ",", "8461", ",", "8501", ",", "8513", ",", "8521", ",", "8573", ",", "8597", ",", "8609", ",", "8629", ",", "8689", ",", "8737", ",", "8741", ",", "8821", ",", "8837", ",", "8849", ",", "8861", ",", "8893", ",", "8929", ",", "8933", ",", "8941", ",", "8969", ",", "9001", ",", "9029", ",", "9041", ",", "9049", ",", "9109", ",", "9133", ",", "9157", ",", "9161", ",", "9173", ",", "9221", ",", "9241", ",", "9277", ",", "9293", ",", "9397", ",", "9461", ",", "9497", ",", "9521", ",", "9613", ",", "9649", ",", "9661", ",", "9721", ",", "9749", ",", "9769", ",", "9781", ",", "9833", ",", "9901", “，”，“9929”，“，”，单元格更改时间->{{3.711208961180725*^9，3.711208985292623*^9}，3.711209304719928*^9, 3.711209487444129*^9}，表达式UUID->“f469e3f9-b475-413d-ad04-\d1ea75072991“]}，打开]]，单元格[BoxData[样式框[RowBox[｛“A002893”，“：”｝]，字体大小->16]]，“输入”，单元格更改时间->{3.7121984938784227`*^9}，表达式UUID->“02a42941-fb23-4ce5-8b35-\0cf05a9606d4“]，单元格[CellGroupData[{单元格[BoxData[行框[{“选择”，“[”，行框[{行框[{“范围”，“[”，“10000”，“]”}]，“，”，行框[{行框[{行框[{“PrimeQ”，“[”，“#”，“]”}]，“&”，行框[{“NeverDividesLucasSeqQ”，“[”，RowBox[｛“Ac”，“，”，“#”｝]，“]”｝]｝]，“&”｝]｝]，“]”｝]]，“Input”，单元格更改时间->{{3.7112094859435253`*^9，3.71120948055448*^9}]，单元格[BoxData[行框[{“{”，行框[{"2", ",", "7", ",", "13", ",", "37", ",", "61", ",", "73", ",", "109", ",", "127", ",", "157", ",", "163", ",", "193", ",", "211", ",", "223", ",", "229", ",", "271", ",", "283", ",", "307", ",", "313", ",", "331", ",", "337", ",", "349", ",", "367", ",", "379", ",", "409", ",", "421", ",", "433", ",", "463", ",", "487", ",", "499", ",", "523", ",", "577", ",", "607", ",", "613", ",", "619", ",", "631", ",", "661", ",", "673", ",", "691", ",", "727", ",", "733", ",", "751", ",", "757", ",", "769", ",", "787", ",", "823", ",", "829", ",", "853", ",", "883", ",", "907", ",", "919", ",", "1021", ",", "1039", ",", "1063", ",", "1069", ",", "1087", ",", "1117", ",", "1129", ",", "1153", ",", "1171", ",", "1249", ",", "1279", ",", "1297", ",", "1381", ",", "1423", ",", "1429", ",", "1447", ",", "1459", ",", "1471", ",", "1483", ",", "1489", ",", "1543", ",", "1549", ",", "1579", ",", "1597", ",", "1609", ",", "1621", ",", "1663", ",", "1693", ",", "1699", ",", "1723", ",", "1741", ",", "1747", ",", "1753", ",", "1777", ",", "1783", ",", "1873", ",", "1933", ",", "1993", ",", "2089", ",", "2113", ",", "2131", ",", "2143", ",", "2221", ",", "2251", ",", "2269", ",", "2287", ",", "2293", ",", "2311", ",", "2347", ",", "2371", ",", "2467", ",", "2503", ",", "2521", ",", "2551", ",", "2557", ",", "2593", ",", "2617", ",", "2647", ",", "2671", ",", "2677", ",", "2683", ",", "2689", ",", "2707", ",", "2713", ",", "2719", ",", "2731", ",", "2749", ",", "2767", ",", "2791", ",", "2797", ",", "2803", ",", "2833", ",", "2851", ",", "2857", ",", "2887", ",", "2917", ",", "2953", ",", "2971", ",", "3001", ",", "3037", ",", "3067", ",", "3109", ",", "3121", ",", "3163", ",", "3169", ",", "3181", ",", "3187", ",", "3217", ",", "3229", ",", "3253", ",", "3259", ",", "3301", ",", "3307", ",", "3313", ",", "3343", ",", "3391", ",", "3457", ",", "3469", ",", "3499", ",", "3511", ",", "3517", ",", "3529", ",", "3559", ",", "3571", ",", "3607", ",", "3613", ",", "3631", ",", "3637", ",", "3709", ",", “3727”，“，”，“3739”，“，”，“3769”，“，”，“3823”，“，”，“3853”，“，”，“3877”，“，”，“3907”，“，”，“3919”，“，”，“3931”，“，”，“3943”，“，”，“3967”，“，”，"4003", ",", "4027", ",", "4051", ",", "4093", ",", "4111", ",", "4159", ",", "4177", ",", "4201", ",", "4219", ",", "4231", ",", "4273", ",", "4327", ",", "4339", ",", "4357", ",", "4363", ",", "4423", ",", "4441", ",", "4447", ",", "4483", ",", "4513", ",", "4591", ",", "4597", ",", "4621", ",", "4639", ",", "4657", ",", "4723", ",", "4729", ",", "4759", ",", "4783", ",", "4789", ",", "4801", ",", "4813", ",", "4861", ",", “4909”，“，”，“4933”，“，”，“4951”，“，”，“4957”，“，”，“4969”，“，”，“4993”，",", "4999", ",", "5011", ",", "5059", ",", "5113", ",", "5119", ",", "5167", ",", "5197", ",", "5209", ",", "5233", ",", "5323", ",", "5437", ",", "5479", ",", "5521", ",", "5569", ",", "5581", ",", "5623", ",", "5641", ",", "5659", ",", "5683", ",", "5689", ",", "5743", ",", "5749", ",", "5791", ",", "5821", ",", "5869", ",", "5881", ",", "5953", ",", "6043", ",", "6067", ",", "6073", ",", "6091", ",", "6121", ",", "6151", ",", "6229", ",", "6247", ",", "6271", ",", "6343", ",", "6361", ",", "6379", ",", "6397", ",", "6427", ",", "6451", ",", "6481", ",", "6553", ",", "6571", ",", "6607", ",", "6619", ",", "6661", ",", "6679", ",", "6691", ",", "6703", ",", "6709", ",", "6733", ",", "6763", ",", "6781", ",", "6793", ",", "6823", ",", "6841", ",", "6871", ",", "6883", ",", "6907", ",", "6949", ",", "6961", ",", "6991", ",", "6997", ",", "7027", ",", "7039", ",", "7069", ",", "7159", ",", "7177", ",", "7207", ",", "7219", ",", "7243", ",", "7297", ",", "7321", ",", "7351", ",", "7393", ",", "7417", ",", "7459", ",", "7549", ",", "7561", ",", "7573", ",", "7741", ",", "7753", ",", "7789", ",", "7867", ",", "7873", ",", "7951", ",", "7993", ",", "8011", ",", "8017", ",", "8059", ",", "8101", ",", "8167", ",", "8179", ",", "8191", ",", "8221", ",", "8269", ",", "8287", ",", "8353", ",", "8389", ",", "8431", ",", "8443", ",", "8461", ",", "8527", ",", "8563", ",", "8581", ",", "8629", ",", "8647", ",", "8677", ",", "8707", ",", "8719", ",", "8731", ",", "8821", ",", "8839", ",", "8887", ",", "8971", ",", "9007", ",", "9013", ",", "9049", ",", "9067", ",", "9091", ",", "9103", ",", "9109", ",", "9127", ",", "9133", ",", "9151", ",", "9181", ",", "9199", ",", "9283", ",", "9319", ",", "9337", ",", "9343", ",", "9403", ",", "9433", ",", "9439", ",", "9463", ",", "9547", ",", "9631", ",", "9649", ",", "9679", ",", "9697", ",", "9721", ",", "9739", ",", "9769", ",", "9781", ",", "9787", ",", "9811", ",", "9817", ",", "9871", ",", "9883", ",", "9907", ",", "9931", ",", "9949", “，”，“9973”}]，“}”}]]，“输出”，手机更换次数->{3.711209510291123*^9}，表达式UUID->“744e7f4f-25cd-4255-868d-\4d7572a9361a“]}，打开]]，单元格[BoxData[样式框[行框[{“A081085”，“：”}]，FontSize->16]]，“输入”，单元格更改时间->{3.712198518077566*^9}，表达式UUID->“43c9faa4-ff0f-4d8b-85a1-\ebd54e13d94a“]，单元格[CellGroupData[{单元格[BoxData[行框[{“选择”，“[”，行框[{RowBox[｛“Range”，“[”，“10000”，“]”｝]，“，”，行框[{行框[{行框[{“PrimeQ”，“[”，“#”，“]”}]，“&”，行框[{“NeverDividesLucasSeqQ”，“[”，行框[{“广告”，“，”，“#”}]，“]”}]}]，”&“}]}，”]“}]]，“输入”，单元格更改时间->{{3.7112094948073063`*^9，3.7112094835402*^9}]，单元格[BoxData[行框[{“{”，行框[{"3", ",", "11", ",", "17", ",", "19", ",", "43", ",", "59", ",", "73", ",", "83", ",", "89", ",", "107", ",", "179", ",", "211", ",", "227", ",", "233", ",", "241", ",", "257", ",", "307", ",", "331", ",", "337", ",", "379", ",", "401", ",", "409", ",", "419", ",", "433", ",", "449", ",", "457", ",", "467", ",", "521", ",", "547", ",", "563", ",", "577", ",", "587", ",", "593", ",", "601", ",", "619", ",", "641", ",", "643", ",", "683", ",", "691", ",", "739", ",", "761", ",", "769", ",", "811", ",", "827", ",", "859", ",", "881", ",", "883", ",", "929", ",", "937", ",", "947", ",", "953", ",", "977", ",", "1009", ",", "1019", ",", "1033", ",", "1049", ",", "1051", ",", "1091", ",", "1097", ",", "1129", ",", "1163", ",", "1171", ",", "1201", ",", "1217", ",", "1249", ",", "1259", ",", "1283", ",", "1289", ",", "1291", ",", "1297", ",", "1409", ",", "1427", ",", "1433", ",", "1451", ",", "1481", ",", "1571", ",", "1579", ",", "1627", ",", "1657", ",", "1697", ",", "1723", ",", "1747", ",", "1753", ",", "1801", ",", "1873", ",", "1907", ",", "1979", ",", "1987", ",", "1993", ",", "2011", ",", "2017", ",", "2027", ",", "2081", ",", "2113", ",", "2131", ",", "2137", ",", "2153", ",", "2179", ",", "2203", ",", "2243", ",", "2267", ",", "2281", ",", "2297", ",", "2339", ",", "2347", ",", "2371", ",", "2377", ",", "2393", ",", "2441", ",", "2459", ",", "2539", ",", "2579", ",", "2593", ",", "2609", ",", "2699", ",", "2707", ",", "2713", ",", "2729", ",", "2801", ",", "2803", ",", "2833", ",", "2851", ",", "2857", ",", "2897", ",", "2953", ",", "2963", ",", "2969", ",", "2971", ",", "3001", ",", "3019", ",", "3041", ",", "3049", ",", "3067", ",", "3083", ",", "3089", ",", "3121", ",", "3137", ",", "3169", ",", "3187", ",", "3203", ",", "3209", ",", "3217", ",", "3251", ",", “3299”，“，”，“3307”，“，”，“3313”，“，”，“3323”，“，”，“3329”，“，”，“3347”，“，”，“3449”，“，”，“3467”，“，”，“3491”，“，”，“3499”，“，”，“3529”，“，”，"3539", ",", "3547", ",", "3593", ",", "3643", ",", "3691", ",", "3697", ",", "3739", ",", "3761", ",", "3779", ",", "3793", ",", "3803", ",", "3833", ",", "3881", ",", "3889", ",", "3923", ",", "3929", ",", "3931", ",", "3947", ",", "4003", ",", "4049", ",", "4051", ",", "4057", ",", "4073", ",", "4091", ",", "4099", ",", "4139", ",", "4153", ",", "4201", ",", "4241", ",", "4283", ",", "4289", ",", "4337", ",", "4339", ",", “4363”，“，”，“4481”，“，”，“4483”，“，”，“4507”，“，”，“4547”，“，”，“4561”，",", "4603", ",", "4649", ",", "4651", ",", "4691", ",", "4729", ",", "4787", ",", "4801", ",", "4817", ",", "4937", ",", "4969", ",", "4987", ",", "5003", ",", "5009", ",", "5011", ",", "5059", ",", "5147", ",", "5179", ",", "5209", ",", "5233", ",", "5273", ",", "5347", ",", "5387", ",", "5417", ",", "5419", ",", "5443", ",", "5483", ",", "5521", ",", "5563", ",", "5651", ",", "5657", ",", "5659", ",", "5683", ",", "5689", ",", "5779", ",", "5801", ",", "5843", ",", "5857", ",", "5867", ",", "5881", ",", "5897", ",", "5953", ",", "6043", ",", "6067", ",", "6113", ",", "6121", ",", "6217", ",", "6257", ",", "6299", ",", "6323", ",", "6337", ",", "6361", ",", "6379", ",", "6427", ",", "6449", ",", "6521", ",", "6553", ",", "6673", ",", "6689", ",", "6691", ",", "6737", ",", "6761", ",", "6779", ",", "6793", ",", "6827", ",", "6841", ",", "6857", ",", "6883", ",", "6899", ",", "6907", ",", "6961", ",", "7001", ",", "7057", ",", "7121", ",", "7177", ",", "7187", ",", "7193", ",", "7211", ",", "7307", ",", "7321", ",", "7393", ",", "7411", ",", "7433", ",", "7457", ",", "7459", ",", "7499", ",", "7507", ",", "7529", ",", "7577", ",", "7603", ",", "7673", ",", "7681", ",", "7691", ",", "7793", ",", "7817", ",", "7841", ",", "7873", ",", "7883", ",", "7907", ",", "7937", ",", "7993", ",", "8009", ",", "8011", ",", "8059", ",", "8081", ",", "8161", ",", "8179", ",", "8219", ",", "8297", ",", "8329", ",", "8353", ",", "8377", ",", "8387", ",", "8443", ",", "8467", ",", "8513", ",", "8521", ",", "8537", ",", "8539", ",", "8609", ",", "8627", ",", "8731", ",", "8761", ",", "8779", ",", "8819", ",", "8849", ",", "8867", ",", "8963", ",", "9001", ",", "9041", ",", "9043", ",", "9049", ",", "9059", ",", "9067", ",", "9091", ",", "9187", ",", "9209", ",", "9281", ",", "9323", ",", "9371", ",", "9377", ",", "9419", ",", "9473", ",", "9601", ",", "9643", ",", "9649", ",", "9739", ",", "9769", ",", "9787", ",", "9803", ",", "9833", ",", "9859", ",", "9883", ",", "9907"}], “}”}]]，“输出”，单元格更改时间->{3.711209521867313*^9}，表达UUID->“93a32406-f57c-4f77-bb15-\3325d5418046英寸]}，打开]]，单元格[BoxData[样式框[行框[{“A006077”，“：”}]，FontSize->16]]，“输入”，单元格更改时间->{3.712198542356569*^9}，表达式UUID->“91c544e3-d930-44c6-a9ba-\1c841edbbc08“]，单元格[CellGroupData[{单元格[BoxData[行框[{“选择”，“[”，行框[{行框[{“范围”，“[”，“10000”，“]”}]，“，”，行框[{行框[{RowBox[｛“PrimeQ”，“[”，“#”，“]”｝]，“&&”，行框[{“NeverDividesLucasSeqQ”，“[”，行框[{“Af”，“，”，“#”}]，“]”}]}]，单元格更改时间->{{3.711209501575222*^9，3.711209501687192*^9}]，单元格[BoxData[行框[{“{”，行框[{"2", ",", "5", ",", "13", ",", "17", ",", "29", ",", "37", ",", "41", ",", "61", ",", "73", ",", "97", ",", "101", ",", "113", ",", "137", ",", "149",",", "157", ",", "173", ",", "181", ",", "197", ",", "229", ",", "241", ",", "257", ",", "277", ",", "313", ",", "317", ",", "349", ",", "353", ",", "389", ",", "409", ",", "421", ",", "433", ",", "449", ",", "457", ",", "461", ",", "509", ",", "541", ",", "569", ",", "577", ",", "593", ",", "613", ",", "641", ",", "653", ",", "661", ",", "673", ",", "709", ",", "757", ",", "761", ",", "769", ",", "797", ",", "809", ",", "829", ",", "853", ",", "857", ",", "877", ",", "881", ",", "929", ",", "937", ",", "941", ",", "953", ",", "997", ",", "1021", ",", "1049", ",", "1061", ",", "1093", ",", "1109", ",", "1201", ",", "1249", ",", "1277", ",", "1289", ",", "1297", ",", "1301", ",", "1361", ",", "1373", ",", "1409", ",", "1433", ",", "1453", ",", "1481", ",", "1489", ",", "1493", ",", "1553", ",", "1609", ",", "1637", ",", "1657", ",", "1669", ",", "1693", ",", "1709", ",", "1733", ",", "1741", ",", "1753", ",", "1949", ",", "1997", ",", "2029", ",", "2081", ",", "2089", ",", "2129", ",", "2137", ",", "2141", ",", "2221", ",", "2237", ",", "2269", ",", "2273", ",", "2281", ",", "2293", ",", "2309", ",", "2341", ",", "2357", ",", "2389", ",", "2417", ",", "2437", ",", "2441", ",", "2477", ",", "2521", ",", "2593", ",", "2617", ",", "2633", ",", "2657", ",", "2689", ",", "2693", ",", "2713", ",", "2729", ",", "2741", ",", "2749", ",", "2753", ",", "2777", ",", "2789", ",", "2797", ",", "2833", ",", "2857", ",", "2897", ",", "2909", ",", "2953", ",", "2957", ",", "2969", ",", "3049", ",", "3061", ",", "3169", ",", "3209", ",", "3217", ",", "3221", ",", "3229", ",", "3257", ",", "3301", ",", "3313", ",", "3373", ",", "3389", ",", "3413", ",", "3433", ",", "3449", ",", "3469", ",", "3517", ",", "3529", “，”，“3533”，“，”，“3541”，“，”，“3613”，“，”，“3637”，“，”，“3673”，“，”，“3697”，“，”，“3709”，“，”，“3733”，“，”，“3793”，“，”，“3797”，“，”，“3833”，",", "3877", ",", "3889", ",", "3917", ",", "3929", ",", "4001", ",", "4021", ",", "4049", ",", "4073", ",", "4093", ",", "4157", ",", "4201", ",", "4217", ",", "4229", ",", "4253", ",", "4261", ",", "4273", ",", "4349", ",", "4357", ",", "4373", ",", "4409", ",", "4421", ",", "4441", ",", "4457", ",", "4481", ",", "4493", ",", "4513", ",", "4549", ",", "4561", ",", "4597", ",", "4621", ",", "4673", ",", "4721", ",", "4729", “，”，“4733”，“，”，“4789”，“，”，“4817”，“，”，“4861”，“，”，“4877”，“，”，"4889", ",", "4909", ",", "4937", ",", "4957", ",", "4969", ",", "4973", ",", "4993", ",", "5009", ",", "5021", ",", "5101", ",", "5113", ",", "5153", ",", "5189", ",", "5197", ",", "5233", ",", "5237", ",", "5273", ",", "5281", ",", "5297", ",", "5333", ",", "5393", ",", "5413", ",", "5417", ",", "5441", ",", "5449", ",", "5477", ",", "5521", ",", "5557", ",", "5653", ",", "5657", ",", "5689", ",", "5693", ",", "5701", ",", "5717", ",", "5737", ",", "5801", ",", "5821", ",", "5849", ",", "5857", ",", "5861", ",", "5869", ",", "5881", ",", "5953", ",", "6029", ",", "6037", ",", "6053", ",", "6073", ",", "6089", ",", "6101", ",", "6221", ",", "6269", ",", "6277", ",", "6317", ",", "6337", ",", "6373", ",", "6389", ",", "6421", ",", "6449", ",", "6469", ",", "6481", ",", "6521", ",", "6529", ",", "6661", ",", "6701", ",", "6733", ",", "6737", ",", "6761", ",", "6829", ",", "6833", ",", "6841", ",", "6869", ",", "6917", ",", "6949", ",", "6961", ",", "6977", ",", "6997", ",", "7001", ",", "7121", ",", "7129", ",", "7177", ",", "7193", ",", "7229", ",", "7237", ",", "7309", ",", "7321", ",", "7333", ",", "7349", ",", "7417", ",", "7433", ",", "7457", ",", "7477", ",", "7481", ",", "7489", ",", "7517", ",", "7529", ",", "7537", ",", "7541", ",", "7561", ",", "7573", ",", "7577", ",", "7589", ",", "7649", ",", "7789", ",", "7793", ",", "7853", ",", "7901", ",", "7933", ",", "7949", ",", "7993", ",", "8009", ",", "8017", ",", "8053", ",", "8069", ",", "8089", ",", "8093", ",", "8233", ",", "8237", ",", "8269", ",", "8293", ",", "8317", ",", "8329", ",", "8353", ",", "8461", ",", "8501", ",", "8513", ",", "8521", ",", "8537", ",", "8573", ",", "8581", ",", "8597", ",", "8609", ",", "8641", ",", "8693", ",", "8713", ",", "8737", ",", "8753", ",", "8761", ",", "8837", ",", "8849", ",", "8861", ",", "8893", ",", "9013", ",", "9029", ",", "9049", ",", "9137", ",", "9161", ",", "9209", ",", "9257", ",", "9277", ",", "9281", ",", "9337", ",", "9397", ",", "9421", ",", "9473", ",", "9497", ",", "9521", ",", "9601", ",", "9661", ",", "9677", ",", "9689", “，”，“9697”，“，”，“9721”，“，”，“9769”，“，”，“9781”，“，”，“9817”，“，”，“9829”，“，”，“9833”，“，”，“9949”，“，”，“9973”｝]，“｝”｝]]，“输出”，单元格更改时间->{3.711209532306883*^9}，表达式UUID->“6d152880-bb57-4a83-a884-\0e2990f8cee9“]}，打开]]，单元格[BoxData[样式框[行框[{“A093388”，“：”}]，FontSize->16]]，“输入”，单元格更改时间->{3.712198565640293*^9｝，表达UUID->“1aof2ebc-36bf-47e3-b8e4-\122598ba6a53“]，单元格[CellGroupData[{单元格[BoxData[行框[{“选择”，“[”，行框[{行框[{“范围”，“[”，“10000”，“]”}]，“，”，行框[{行框[{行框[{“PrimeQ”，“[”，“#”，“]”}]，“&”，行框[{“NeverDividesLucasSeqQ”，“[”，行框[{“Ag”，“，”，“#”}]，“]”}]}]，”&“}]}，”]“}]]，“输入”，单元格更改时间->{{3.71120950538312*^9，3.71120950.5511368*^9}]，单元格[BoxData[行框[{“{”，行框[{"5", ",", "11", ",", "29", ",", "31", ",", "59", ",", "79", ",", "107", ",","131", ",", "149", ",", "151", ",", "173", ",", "179", ",", "193", ",", "197", ",", "199", ",", "241", ",", "251", ",", "271", ",", "317", ",", "409", ",", "433", ",", "439", ",", "443", ",", "457", ",", "461", ",", "509", ",", "557", ",", "587", ",", "601", ",", "607", ",", "659", ",", "677", ",", "701", ",", "727", ",", "751", ",", "769", ",", "773", ",", "797", ",", "821", ",", "823", ",", "827", ",", "919", ",", "971", ",", "1009", ",", "1013", ",", "1019", ",", "1033", ",", "1039", ",", "1061", ",", "1063", ",", "1087", ",", "1109", ",", "1163", ",", "1181", ",", "1187", ",", "1229", ",", "1249", ",", "1259", ",", "1277", ",", "1279", ",", "1301", ",", "1303", ",", "1321", ",", "1327", ",", "1399", ",", "1427", ",", "1451", ",", "1493", ",", "1499", ",", "1523", ",", "1543", ",", "1571", ",", "1613", ",", "1619", ",", "1637", ",", "1657", ",", "1753", ",", "1783", ",", "1801", ",", "1811", ",", "1831", ",", "1879", ",", "1901", ",", "1979", ",", "1993", ",", "2003", ",", "2027", ",", "2099", ",", "2137", ",", "2141", ",", "2143", ",", "2161", ",", "2213", ",", "2239", ",", "2243", ",", "2267", ",", "2281", ",", "2287", ",", "2311", ",", "2333", ",", "2357", ",", "2377", ",", "2381", ",", "2383", ",", "2459", ",", "2473", ",", "2503", ",", "2531", ",", "2549", ",", "2551", ",", "2579", ",", "2593", ",", "2621", ",", "2689", ",", "2693", ",", "2699", ",", "2719", ",", "2741", ",", "2767", ",", "2789", ",", "2819", ",", "2837", ",", "2861", ",", "2887", ",", "2909", ",", "2939", ",", "2953", ",", "2963", ",", "3079", ",", "3083", ",", "3121", ",", “3203”，“，”，“3221”，“，”，“3251”，“，”，“3299”，“，”，“3313”，“，”，“3323”，“，”，“3347”，“，”，“3361”，“，”，“3371”，“，”，“3391”，“，”，“3457”，“，”，"3511", ",", "3539", ",", "3557", ",", "3559", ",", "3583", ",", "3607", ",", "3673", ",", "3677", ",", "3701", ",", "3769", ",", "3797", ",", "3821", ",", "3851", ",", "3917", ",", "3919", ",", "3923", ",", "3943", ",", "3947", ",", "3967", ",", "3989", ",", "4013", ",", "4019", ",", "4091", ",", "4129", ",", "4133", ",", "4139", ",", "4153", ",", "4177", ",", "4201", ",", "4211", ",", "4231", ",", "4259", ",", "4273", ",", “4283”，“，”，“4373”，“，”，“4397”，“，”，“4513”，“，”，“4547”，“，”，“4561”，",", "4591", ",", "4637", ",", "4643", ",", "4729", ",", "4787", ",", "4801", ",", "4903", ",", "4931", ",", "4951", ",", "4969", ",", "4973", ",", "5003", ",", "5021", ",", "5099", ",", "5113", ",", "5147", ",", "5167", ",", "5209", ",", "5233", ",", "5237", ",", "5281", ",", "5381", ",", "5387", ",", "5477", ",", "5479", ",", "5527", ",", "5531", ",", "5573", ",", "5623", ",", "5641", ",", "5647", ",", "5651", ",", "5669", ",", "5689", ",", "5717", ",", "5741", ",", "5743", ",", "5813", ",", "5839", ",", "5861", ",", "5867", ",", "5953", ",", "5981", ",", "6029", ",", "6053", ",", "6079", ",", "6101", ",", "6121", ",", "6131", ",", "6197", ",", "6203", ",", "6217", ",", "6247", ",", "6269", ",", "6317", ",", "6323", ",", "6343", ",", "6367", ",", "6389", ",", "6481", ",", "6529", ",", "6553", ",", "6577", ",", "6653", ",", "6679", ",", "6703", ",", "6779", ",", "6793", ",", "6827", ",", "6841", ",", "6869", ",", "6871", ",", "6917", ",", "6947", ",", "6991", ",", "7013", ",", "7019", ",", "7039", ",", "7043", ",", "7057", ",", "7109", ",", "7129", ",", "7159", ",", "7253", ",", "7321", ",", "7331", ",", "7349", ",", "7351", ",", "7393", ",", "7417", ",", "7451", ",", "7489", ",", "7517", ",", "7523", ",", "7541", ",", "7591", ",", "7681", ",", "7687", ",", "7753", ",", "7757", ",", "7829", ",", "7853", ",", "7873", ",", "7877", ",", "7901", ",", "7907", ",", "7927", ",", "7949", ",", "8017", ",", "8093", ",", "8123", ",", "8161", ",", "8167", ",", "8171", ",", "8191", ",", "8209", ",", "8219", ",", "8233", ",", "8237", ",", "8291", ",", "8311", ",", "8329", ",", "8363", ",", "8377", ",", "8431", ",", "8521", ",", "8597", ",", "8623", ",", "8627", ",", "8669", ",", "8689", ",", "8699", ",", "8719", ",", "8737", ",", "8741", ",", "8819", ",", "8837", ",", "8839", ",", "8861", ",", "8863", ",", "8887", ",", "8929", ",", "8933", ",", "9001", ",", "9011", ",", "9029", ",", "9059", ",", "9103", ",", "9127", ",", "9151", ",", "9199", ",", "9203", ",", "9221", ",", "9241", ",", "9293", ",", "9319", ",", "9337", ",", "9371", ",", "9391", ",", “9413”，“，”，“9433”，“，”，“9439”，“，”，“9461”，“，”，“9467”，“，”，“9511”，“，”，“9539”，“，”，“9649”，“，”，“9677”，“，”，“9679”，“，”，“9697”，“，”，"9721", ",", "9749", ",", "9769", ",", "9803", ",", "9817", ",", "9851", “、”、“9871”、“、”，“9941”、“，”、“9967”}]、“}”}]]，“输出”，单元格更改时间->{3.7112095438202667`*^9}]}，打开]]，单元格[BoxData[样式框[行框[{“A125143”，“：”，“”，行框[{样式框[行框[{“（”，“*”}]]，“”，行框[{“upto”，“”，“sign”}]，“，”*）“}]}]，字体大小->16]]，“输入”，单元格更改时间->{{3.7122463214817486`*^9，3.712246329462655*^9}}，表达式UUID->“f63e0965-5b0e-4694-a8d8-\d56a296beb82“]，单元格[CellGroupData[{单元格[BoxData[行框[{“选择”，“[”，行框[{行框[{“范围”，“[”，“10000”，“]”}]，“，”，行框[{行框[{行框[{“PrimeQ”，“[”，“#”，“]”}]，“&”，行框[{“NeverDividesLucasSeqQ”，“[”，行框[{“A\[Delta]”，“，”，“#”}]，“]”}]}]，单元格更改时间->{{3.711209515879078*^9，3.7112095126411107*^9}]，单元格[BoxData[行框[{“{”，行框[{"2", ",", "5", ",", "7", ",", "11", ",", "13", ",", "19", ",", "29", ",", "41", ",", "47", ",", "61", ",", "67", ",", "71", ",", "73", ",", "89", ",", "97", ",", "101", ",", "103", ",", "131", ",", "137", ",", "139", ",","149", ",", "157", ",", "163", ",", "167", ",", "173", ",", "179", ",", "181", ",", "193", ",", "197", ",", "199", ",", "211", ",", "223", ",", "227", ",", "229", ",", "233", ",", "241", ",", "251", ",", "257", ",", "263", ",", "269", ",", "281", ",", "283", ",", "293", ",", "317", ",", "331", ",", "347", ",", "349", ",", "359", ",", "367", ",", "373", ",", "379", ",", "383", ",", "397", ",", "409", ",", "419", ",", "431", ",", "433", ",", "439", ",", "457", ",", "467", ",", "487", ",", "491", ",", "521", ",", "523", ",", "541", ",", "547", ",", "557", ",", "563", ",", "569", ",", "571", ",", "593", ",", "599", ",", "601", ",", "607", ",", "613", ",", "617", ",", "619", ",", "641", ",", "643", ",", "653", ",", "659", ",", "661", ",", "673", ",", "709", ",", "727", ",", "739", ",", "761", ",", "769", ",", "797", ",", "811", ",", "823", ",", "829", ",", "853", ",", "859", ",", "907", ",", "919", ",", "937", ",", "953", ",", "967", ",", "971", ",", "983", ",", "1013", ",", "1021", ",", "1031", ",", "1033", ",", "1049", ",", "1063", ",", "1069", ",", "1091", ",", "1097", ",", "1109", ",", "1117", ",", "1129", ",", "1153", ",", "1163", ",", "1171", ",", "1193", ",", "1213", ",", "1231", ",", "1237", ",", "1249", ",", "1279", ",", "1291", ",", "1303", ",", "1307", ",", "1319", ",", “1321”，“，”，“1361”，“，”，“1367”，“，”，“1373”，“，”，“1399”，“，”，“1409”，“，”，“1423”，“，”，“1427”，“，”，“1433”，“，”，“1439”，“，”，“1447”，“，”，"1451", ",", "1459", ",", "1481", ",", "1487", ",", "1531", ",", "1543", ",", "1549", ",", "1559", ",", "1567", ",", "1579", ",", "1583", ",", "1597", ",", "1601", ",", "1607", ",", "1609", ",", "1613", ",", "1619", ",", "1637", ",", "1667", ",", "1669", ",", "1693", ",", "1697", ",", "1721", ",", "1747", ",", "1753", ",", "1777", ",", "1789", ",", "1801", ",", "1847", ",", "1861", ",", "1867", ",", "1871", ",", "1901", ",", “1907”，“，”，“1931”，“，”，“1933”，“，”，“1979”，“，”，“1993”，“，”，“1997”，",", "2011", ",", "2017", ",", "2053", ",", "2063", ",", "2069", ",", "2081", ",", "2083", ",", "2111", ",", "2131", ",", "2161", ",", "2179", ",", "2203", ",", "2207", ",", "2221", ",", "2237", ",", "2239", ",", "2251", ",", "2267", ",", "2269", ",", "2293", ",", "2297", ",", "2309", ",", "2339", ",", "2351", ",", "2357", ",", "2377", ",", "2383", ",", "2389", ",", "2393", ",", "2399", ",", "2417", ",", "2423", ",", "2437", ",", "2447", ",", "2459", ",", "2467", ",", "2473", ",", "2477", ",", "2503", ",", "2521", ",", "2531", ",", "2543", ",", "2579", ",", "2591", ",", "2593", ",", "2609", ",", "2617", ",", "2621", ",", "2633", ",", "2647", ",", "2657", ",", "2663", ",", "2677", ",", "2683", ",", "2687", ",", "2693", ",", "2699", ",", "2711", ",", "2713", ",", "2719", ",", "2729", ",", "2731", ",", "2741", ",", "2749", ",", "2753", ",", "2767", ",", "2789", ",", "2791", ",", "2797", ",", "2819", ",", "2833", ",", "2837", ",", "2843", ",", "2851", ",", "2857", ",", "2861", ",", "2879", ",", "2887", ",", "2917", ",", "2927", ",", "2939", ",", "2957", ",", "2971", ",", "2999", ",", "3001", ",", "3011", ",", "3019", ",", "3023", ",", "3037", ",", "3041", ",", "3061", ",", "3079", ",", "3089", ",", "3169", ",", "3181", ",", "3191", ",", "3203", ",", "3217", ",", "3221", ",", "3251", ",", "3259", ",", "3271", ",", "3299", ",", "3313", ",", "3319", ",", "3323", ",", "3329", ",", "3359", ",", "3361", ",", "3371", ",", "3407", ",", "3433", ",", "3463", ",", "3467", ",", "3469", ",", "3491", ",", "3511", ",", "3517", ",", "3527", ",", "3529", ",", "3533", ",", "3541", ",", "3557", ",", "3559", ",", "3583", ",", "3593", ",", "3607", ",", "3613", ",", "3623", ",", "3631", ",", "3637", ",", "3643", ",", "3659", ",", "3671", ",", "3673", ",", "3677", ",", "3691", ",", "3697", ",", "3709", ",", "3727", ",", "3739", ",", "3767", ",", "3769", ",", "3779", ",", "3793", ",", "3797", ",", "3833", ",", "3853", ",", "3863", ",", "3877", ",", "3881", ",", "3889", ",", "3907", ",", "3911", ",", "3917", ",", "3919", ",", "3923", ",", "3929", ",", "3947", ",", “3967”，“，”，“3989”，“，”，“4001”，“，”，“4003”，“，”，“4007”，“，”，“4013”，“，”，“4021”，“，”，“4051”，“，”，“4073”，“，”，“4093”，“，”，“4099”，“，”，"4127", ",", "4129", ",", "4133", ",", "4139", ",", "4157", ",", "4159", ",", "4177", ",", "4201", ",", "4217", ",", "4219", ",", "4229", ",", "4241", ",", "4253", ",", "4259", ",", "4261", ",", "4273", ",", "4283", ",", "4289", ",", "4327", ",", "4337", ",", "4349", ",", "4357", ",", "4397", ",", "4421", ",", "4441", ",", "4451", ",", "4463", ",", "4481", ",", "4483", ",", "4493", ",", "4507", ",", "4513", ",", "4519", ",", “4523”，“，”，“4561”，“，”，“4583”，“，”，“4591”，“，”，“4603”，“，”，“4639”，",", "4651", ",", "4657", ",", "4663", ",", "4673", ",", "4721", ",", "4723", ",", "4733", ",", "4751", ",", "4759", ",", "4783", ",", "4787", ",", "4789", ",", "4793", ",", "4799", ",", "4817", ",", "4831", ",", "4871", ",", "4889", ",", "4909", ",", "4919", ",", "4933", ",", "4937", ",", "4951", ",", "4957", ",", "4967", ",", "4969", ",", "4987", ",", "4993", ",", "4999", ",", "5009", ",", "5021", ",", "5023", ",", "5039", ",", "5051", ",", "5087", ",", "5099", ",", "5107", ",", "5147", ",", "5153", ",", "5167", ",", "5171", ",", "5179", ",", "5189", ",", "5209", ",", "5227", ",", "5233", ",", "5273", ",", "5279", ",", "5297", ",", "5303", ",", "5309", ",", "5323", ",", "5333", ",", "5347", ",", "5381", ",", "5393", ",", "5399", ",", "5407", ",", "5431", ",", "5437", ",", "5441", ",", "5449", ",", "5477", ",", "5483", ",", "5501", ",", "5519", ",", "5521", ",", "5527", ",", "5531", ",", "5563", ",", "5573", ",", "5581", ",", "5623", ",", "5639", ",", "5641", ",", "5651", ",", "5653", ",", "5683", ",", "5693", ",", "5701", ",", "5717", ",", "5737", ",", "5741", ",", "5779", ",", "5821", ",", "5839", ",", "5849", ",", "5857", ",", "5867", ",", "5869", ",", "5879", ",", "5881", ",", "5897", ",", "5903", ",", "5923", ",", "5939", ",", "5953", ",", "5981", ",", "6007", ",", "6043", ",", "6047", ",", "6073", ",", "6089", ",", "6091", ",", "6101", ",", "6113", ",", "6121", ",", "6131", ",", "6143", ",", "6151", ",", "6173", ",", "6197", ",", "6199", ",", "6203", ",", "6211", ",", "6221", ",", "6229", ",", "6257", ",", "6263", ",", "6269", ",", "6271", ",", "6287", ",", "6301", ",", "6311", ",", "6317", ",", "6329", ",", "6353", ",", "6361", ",", "6367", ",", "6373", ",", "6389", ",", "6397", ",", "6449", ",", "6451", ",", "6473", ",", "6491", ",", "6547", ",", "6553", ",", "6569", ",", "6571", ",", "6577", ",", "6581", ",", "6599", ",", "6607", ",", "6619", ",", "6637", ",", "6653", ",", "6661", ",", "6673", ",", "6679", ",", "6691", ",", "6701", ",", "6709", ",", "6719", ",", "6737", ",", "6781", ",", "6791", ",", "6793", ",", "6803", ",", “6829”，“，”，“6841”，“，”，“6857”，“，”，“6869”，“，”，“6871”，“，”，“6899”，“，”，“6907”，“，”，“6911”，“，”，“6947”，“，”，“6961”，“，”，“6967”，“，”，"6971", ",", "6983", ",", "6991", ",", "7001", ",", "7013", ",", "7019", ",", "7039", ",", "7043", ",", "7057", ",", "7103", ",", "7121", ",", "7127", ",", "7129", ",", "7151", ",", "7159", ",", "7187", ",", "7193", ",", "7207", ",", "7219", ",", "7283", ",", "7307", ",", "7321", ",", "7331", ",", "7349", ",", "7369", ",", "7393", ",", "7411", ",", "7417", ",", "7433", ",", "7451", ",", "7457", ",", "7477", ",", "7487", ",", “7489”，“，”，“7499”，“，”，“7523”，“，”，“7529”，“，”，“7541”，“，”，“7547”，",", "7549", ",", "7577", ",", "7583", ",", "7589", ",", "7591", ",", "7603", ",", "7607", ",", "7621", ",", "7639", ",", "7643", ",", "7649", ",", "7669", ",", "7673", ",", "7681", ",", "7687", ",", "7691", ",", "7699", ",", "7703", ",", "7723", ",", "7741", ",", "7753", ",", "7759", ",", "7793", ",", "7817", ",", "7823", ",", "7873", ",", "7877", ",", "7883", ",", "7907", ",", "7927", ",", "7933", ",", "7949", ",", "7963", ",", "7993", ",", "8053", ",", "8069", ",", "8081", ",", "8089", ",", "8101", ",", "8123", ",", "8147", ",", "8167", ",", "8171", ",", "8179", ",", "8191", ",", "8221", ",", "8233", ",", "8237", ",", "8263", ",", "8273", ",", "8291", ",", "8311", ",", "8317", ",", "8353", ",", "8363", ",", "8369", ",", "8377", ",", "8389", ",", "8419", ",", "8423", ",", "8429", ",", "8467", ",", "8501", ",", "8521", ",", "8527", ",", "8537", ",", "8573", ",", "8597", ",", "8599", ",", "8609", ",", "8627", ",", "8629", ",", "8641", ",", "8647", ",", "8663", ",", "8669", ",", "8677", ",", "8681", ",", "8689", ",", "8693", ",", "8719", ",", "8731", ",", "8741", ",", "8747", ",", "8753", ",", "8761", ",", "8779", ",", "8803", ",", "8807", ",", "8819", ",", "8821", ",", "8837", ",", "8839", ",", "8849", ",", "8861", ",", "8867", ",", "8929", ",", "8933", ",", "8969", ",", "8971", ",", "9001", ",", "9013", ",", "9029", ",", "9041", ",", "9043", ",", "9049", ",", "9059", ",", "9067", ",", "9091", ",", "9103", ",", "9133", ",", "9157", ",", "9173", ",", "9181", ",", "9199", ",", "9203", ",", "9209", ",", "9221", ",", "9239", ",", "9277", ",", "9281", ",", "9283", ",", "9293", ",", "9319", ",", "9337", ",", "9349", ",", "9371", ",", "9403", ",", "9431", ",", "9437", ",", "9439", ",", "9461", ",", "9463", ",", "9467", ",", "9491", ",", "9533", ",", "9539", ",", "9547", ",", "9551", ",", "9587", ",", "9613", ",", "9619", ",", "9629", ",", "9631", ",", "9649", ",", "9661", ",", "9697", ",", "9719", ",", "9739", ",", "9743", ",", "9749", ",", "9767", ",", "9769", ",", "9781", ",", "9787", ",", "9791", ",", "9803", ",", "9817", ",", "9829", ",", “9833”，“，”，“9857”，“，”，“9859”，“，”，“9871”，“，”，“9901”，“，”，“9929”，“，”，“9941”，“，”，“9967”｝]，“｝”｝]]，“输出”，单元格更改时间->{3.711209555369375*^9}，表达式UUID->“78bccd4b-e8d8-49d8-9265-\2329a244b961“]}，打开]]，单元格[BoxData[样式框[行框[{“A229111”，“：”，“”，行框[{样式框[行框[{“（”，“*”}]]，行框[{“向上”，“”，“到”，“，”，RowBox[｛“sign”，“：”｝]｝]，“”，“*）”｝]｝]，FontSize->16]]，“输入”，单元格更改时间->{3.7121989294730277`*^9, {3.712246252730197*^9, 3.7122462576046057`*^9}, {3.7122463018855333`*^9, 3.7122463160061235`*^9}}，表达式UUID->“0ffab129-75ea-4de6-a713-\4abe1aa453aa“]，单元格[CellGroupData[{单元格[BoxData[行框[{“选择”，“[”，行框[{行框[{“范围”，“[”，“10000”，“]”}]，“，”，行框[{行框[{行框[{“PrimeQ”，“[”，“#”，“]”}]，“&”，行框[{“NeverDividesLucasSeqQ”，“[”，行框[{“A\[Eta]”，“，”，“#”}]，“]”}]}]，单元格更改时间->{{3.7112095206153183`*^9，3.711209521961112*^9}]，单元格[BoxData[行框[{“{”，行框[{"2", ",", "3", ",", "17", ",", "19", ",", "23", ",", "31", ",", "47", ",", "53", ",", "61", ",", "107", ",", "109", ",", "113", ",", "137", ",", "139", ",", "151", ",", "173", ",", "197", ",", "199", ",", "211", ",", "227", ",", "229", ",", "233", ",", "241", ",", "257", ",", "263", ",", "293", ",", "317", ",", "347", ",", "353", ",", "383", ",", "421", ",", "439", ",", "443", ",", "467", ",", "499", ",", "541", ",", "587", ",", "593", ",", "619", ",", "647", ",", "661", ",", "677", ",", "683", ",", "691", ",", "751", ",", "769", ",", "773", ",", "857", ",", "919", ",", "947", ",", "953", ",", "977", ",", "991", ",", "1013", ",", "1039", ",", "1051", ",", "1069", ",", "1103", ",", "1163", ",", "1171", ",", "1187", ",", "1193", ",", "1217", ",", "1223", ",", "1231", ",", "1249", ",", "1283", ",", "1291", ",", "1321", ",", "1367", ",", "1427", ",", "1429", ",", "1459", ",", "1487", ",", "1489", ",", "1493", ",", "1531", ",", "1549", ",", "1579", ",", "1583", ",", "1607", ",", "1609", ",", "1613", ",", "1637", ",", "1759", ",", "1789", ",", "1801", ",", "1847", ",", "1861", ",", "1877", ",", "1907", ",", "1999", ",", "2003", ",", "2029", ",", "2153", ",", "2161", ",", "2179", ",", "2207", ",", "2213", ",", "2221", ",", "2239", ",", "2243", ",", "2251", ",", "2269", ",", "2341", “，”，“2357”，“，”，“2389”，“，”，“2417”，“，”，“2447”，“，”，“2477”，“，”，“2539”，“，”，“2543”，“，”，“2551”，“，”，“2657”，“，”，“2671”，“，”，“2687”，",", "2689", ",", "2719", ",", "2731", ",", "2749", ",", "2777", ",", "2843", ",", "2897", ",", "2927", ",", "2957", ",", "2963", ",", "2971", ",", "3023", ",", "3109", ",", "3137", ",", "3167", ",", "3203", ",", "3229", ",", "3259", ",", "3271", ",", "3301", ",", "3319", ",", "3391", ",", "3407", ",", "3413", ",", "3469", ",", "3529", ",", "3541", ",", "3571", ",", "3593", ",", "3767", ",", "3769", ",", "3833", ",", "3889", “，”，“3917”，“，”，“3919”，“，”，“3923”，“，”，“3931”，“，”，“3947”，“，”，"4073", ",", "4099", ",", "4129", ",", "4133", ",", "4157", ",", "4159", ",", "4217", ",", "4253", ",", "4283", ",", "4337", ",", "4373", ",", "4441", ",", "4457", ",", "4493", ",", "4517", ",", "4523", ",", "4547", ",", "4549", ",", "4621", ",", "4637", ",", "4639", ",", "4643", ",", "4673", ",", "4729", ",", "4733", ",", "4759", ",", "4789", ",", "4801", ",", "4817", ",", "4861", ",", "4877", ",", "4909", ",", "4943", ",", "4967", ",", "4969", ",", "4999", ",", "5003", ",", "5011", ",", "5059", ",", "5101", ",", "5147", ",", "5153", ",", "5179", ",", "5209", ",", "5237", ",", "5273", ",", "5297", ",", "5333", ",", "5449", ",", "5479", ",", "5569", ",", "5573", ",", "5581", ",", "5641", ",", "5657", ",", "5689", ",", "5717", ",", "5749", ",", "5779", ",", "5783", ",", "5791", ",", "5807", ",", "5813", ",", "5821", ",", "5843", ",", "5869", ",", "5881", ",", "5987", ",", "6113", ",", "6143", ",", "6151", ",", "6173", ",", "6197", ",", "6203", ",", "6211", ",", "6229", ",", "6263", ",", "6271", ",", "6287", ",", "6317", ",", "6323", ",", "6361", ",", "6379", ",", "6563", ",", "6619", ",", "6653", ",", "6679", ",", "6691", ",", "6709", ",", "6737", ",", "6781", ",", "6803", ",", "6829", ",", "6917", ",", "6947", ",", "6949", ",", "6961", ",", "6991", ",", "7013", ",", "7039", ",", "7043", ",", "7103", ",", "7129", ",", "7309", ",", "7321", ",", "7351", ",", "7369", ",", "7433", ",", "7457", ",", "7459", ",", "7487", ",", "7489", ",", "7517", ",", "7547", ",", "7549", ",", "7561", ",", "7577", ",", "7607", ",", "7621", ",", "7643", ",", "7699", ",", "7727", ",", "7741", ",", "7789", ",", "7793", ",", "7823", ",", "7879", ",", "7937", ",", "7951", ",", "8087", ",", "8093", ",", "8101", ",", "8123", ",", "8161", ",", "8179", ",", "8191", ",", "8221", ",", "8237", ",", "8269", ",", "8273", ",", "8311", ",", "8329", ",", "8363", ",", "8387", ",", "8447", ",", "8513", ",", "8537", ",", "8539", ",", "8597", ",", "8627", ",", "8641", ",", "8663", ",", "8689", ",", "8693", ",", "8719", ",", "8731", ",", "8753", ",", "8761", ",", "8783", ",", "8821", “，”，“8839”，“，”，“8929”，“，”，“8933”，“，”，“8941”，“，”，“8963”，“，”，“8971”，“，”，“9049”，“，”，“9091”，“，”，“9109”，“，”，“9137”，“，”，“9151”，",", "9181", ",", "9199", ",", "9257", ",", "9319", ",", "9377", ",", "9391", ",", "9421", ",", "9439", ",", "9511", ",", "9533", ",", "9587", ",", "9601", ",", "9619", ",", "9649", ",", "9661", ",", "9677", ",", "9679", ",", "9721", ",", "9739", ",", "9743", ",", "9769", ",", "9781", ",", "9803", ",", "9811", ",", "9833", ",", "9857", ",", "9887", ",", “9901”，“，”，“9923”，“，手机更换次数->{3.71120956726035*^9}，表达式UUID->“06aa306c-b16e-497e-b679-2f81457e0882”]}，打开]]，单元格[BoxData[样式框[行框[{“A002895”，“：”}]，FontSize->16]]，“输入”，单元格更改时间->{3.7122452439832287`*^9}，表达式UUID->“e4213a33-e318-4cee-af15-\a68f0cbc347f“]，单元格[CellGroupData[{单元格[BoxData[行框[{“选择”，“[”，行框[{行框[{“范围”，“[”，“10000”，“]”}]，“，”，行框[{行框[{行框[{“PrimeQ”，“[”，“#”，“]”}]，“&”，行框[{“NeverDividesLucasSeqQ”，“[”，行框[{“A\[Alpha]”，“，”，“#”}]，“]”}]}]，单元格更改时间->{{3.711209527014963*^9，3.71120952 7895707*^9}]，单元格[BoxData[行框[{“{”，行框[{"3", ",", "5", ",", "13", ",", "17", ",", "29", ",", "31", ",", "37", ",", "41", ",", "43", ",", "47", ",", "53", ",", "59", ",", "61", ",", "67", ",", "71", ",", "83", ",", "89", ",", "101", ",", "103", ",", "107", ",", "109", ",", "127", ",", "131", ",", "137", ",", "163", ",", "167", ",", "173", ",", "181", ",", "191", ",", "193", ",", "199", ",", "229", ",", "233", ",", "239", ",", "241", ",", "251", ",", "257", ",", "269", ",", "307", ",", "311", ",", "317", ",", "337", ",", "347", ",", "349", ",", "359", ",", "367", ",", "373", ",", "409", ",", "419", ",", "421", ",", "449", ",", "457", ",", "461", ",", "463", ",", "479", ",", "487", ",", "499", ",", "503", ",", "541", ",", "557", ",", "571", ",", "577", ",", "601", ",", "607", ",", "617", ",", "619", ",", "641", ",", "647", ",", "653", ",", "661", ",", "683", ",", "701", ",", "719", ",", "727", ",", "743", ",", "751", ",", "769", ",", "773", ",", "787", ",", "811", ",", "821", ",", "823", ",", "853", ",", "859", ",", "863", ",", "887", ",", "907", ",", "941", ",", "953", ",", "967", ",", "971", ",", "983", ",", "991", ",", "997", ",", "1009", ",", "1013", ",", "1019", ",", "1021", ",","1031", ",", "1039", ",", "1049", ",", "1051", ",", "1087", ",", "1091", ",", "1093", ",", "1097", ",", "1103", ",", "1123", ",", "1129", ",", “1151”，“，”，“1153”，“，”，“1163”，“，”，“1171”，“，”，“1181”，“，”，“1187”，“，”，“1229”，“，”，“1237”，“，”，“1249”，“，”，“1259”，“，”，“1283”，“，”，"1289", ",", "1291", ",", "1301", ",", "1303", ",", "1307", ",", "1319", ",", "1321", ",", "1327", ",", "1361", ",", "1381", ",", "1409", ",", "1423", ",", "1433", ",", "1439", ",", "1447", ",", "1451", ",", "1459", ",", "1471", ",", "1481", ",", "1483", ",", "1487", ",", "1489", ",", "1499", ",", "1511", ",", "1523", ",", "1553", ",", "1571", ",", "1579", ",", "1583", ",", "1607", ",", "1613", ",", "1627", ",", "1667", ",", “1669”，“，”，“1693”，“，”，“1697”，“，”，“1709”，“，”，“1721”，“，”，“1723”，",", "1741", ",", "1747", ",", "1759", ",", "1783", ",", "1787", ",", "1789", ",", "1801", ",", "1811", ",", "1823", ",", "1831", ",", "1867", ",", "1873", ",", "1877", ",", "1889", ",", "1901", ",", "1907", ",", "1913", ",", "1933", ",", "1951", ",", "1973", ",", "1979", ",", "1997", ",", "1999", ",", "2003", ",", "2011", ",", "2017", ",", "2027", ",", "2039", ",", "2069", ",", "2083", ",", "2087", ",", "2111", ",", "2129", ",", "2131", ",", "2141", ",", "2143", ",", "2153", ",", "2161", ",", "2179", ",", "2203", ",", "2221", ",", "2237", ",", "2243", ",", "2267", ",", "2273", ",", "2281", ",", "2287", ",", "2293", ",", "2297", ",", "2311", ",", "2333", ",", "2339", ",", "2347", ",", "2351", ",", "2357", ",", "2371", ",", "2381", ",", "2393", ",", "2399", ",", "2411", ",", "2441", ",", "2459", ",", "2467", ",", "2473", ",", "2503", ",", "2521", ",", "2531", ",", "2539", ",", "2543", ",", "2549", ",", "2551", ",", "2557", ",", "2579", ",", "2591", ",", "2593", ",", "2617", ",", "2621", ",", "2647", ",", "2657", ",", "2663", ",", "2671", ",", "2677", ",", "2683", ",", "2687", ",", "2689", ",", "2693", ",", "2699", ",", "2707", ",", "2711", ",", "2713", ",", "2719", ",", "2729", ",", "2731", ",", "2741", ",", "2753", ",", "2801", ",", "2833", ",", "2843", ",", "2851", ",", "2897", ",", "2903", ",", "2909", ",", "2917", ",", "2927", ",", "2939", ",", "2953", ",", "2957", ",", "2971", ",", "3011", ",", "3019", ",", "3023", ",", "3041", ",", "3061", ",", "3067", ",", "3079", ",", "3089", ",", "3119", ",", "3121", ",", "3163", ",", "3169", ",", "3181", ",", "3187", ",", "3209", ",", "3217", ",", "3229", ",", "3251", ",", "3253", ",", "3271", ",", "3299", ",", "3301", ",", "3307", ",", "3313", ",", "3329", ",", "3347", ",", "3373", ",", "3391", ",", "3433", ",", "3457", ",", "3461", ",", "3463", ",", "3467", ",", "3527", ",", "3533", ",", "3541", ",", "3547", ",", "3559", ",", "3571", ",", "3581", ",", "3583", ",", "3593", ",", "3607", ",", "3613", ",", "3623", ",", "3659", ",", "3671", ",", "3673", ",", "3691", ",", "3697", ",", "3701", ",", “3709”，“，”，“3719”，“，”，“3727”，“，”，“3733”，“，”，“3739”，“，”，“3767”，“，”，“3779”，“，”，“3793”，“，”，“3803”，“，”，“3821”，“，”，“3823”，“，”，"3833", ",", "3851", ",", "3917", ",", "3931", ",", "3943", ",", "3947", ",", "3967", ",", "3989", ",", "4001", ",", "4007", ",", "4013", ",", "4019", ",", "4049", ",", "4051", ",", "4057", ",", "4091", ",", "4099", ",", "4111", ",", "4129", ",", "4133", ",", "4139", ",", "4153", ",", "4201", ",", "4217", ",", "4219", ",", "4229", ",", "4231", ",", "4243", ",", "4253", ",", "4259", ",", "4273", ",", "4289", ",", "4297", ",", “4327”，“，”，“4337”，“，”，“4339”，“，”，“4357”，“，”，“4363”，“，”，“4373”，",", "4391", ",", "4397", ",", "4409", ",", "4441", ",", "4463", ",", "4483", ",", "4507", ",", "4513", ",", "4523", ",", "4549", ",", "4561", ",", "4567", ",", "4597", ",", "4603", ",", "4639", ",", "4643", ",", "4649", ",", "4657", ",", "4663", ",", "4673", ",", "4691", ",", "4759", ",", "4783", ",", "4787", ",", "4799", ",", "4801", ",", "4817", ",", "4861", ",", "4877", ",", "4903", ",", "4931", ",", "4933", ",", "4937", ",", "4943", ",", "4957", ",", "5009", ",", "5021", ",", "5039", ",", "5051", ",", "5077", ",", "5087", ",", "5099", ",", "5101", ",", "5113", ",", "5147", ",", "5167", ",", "5171", ",", "5179", ",", "5189", ",", "5209", ",", "5273", ",", "5279", ",", "5303", ",", "5309", ",", "5323", ",", "5333", ",", "5347", ",", "5381", ",", "5407", ",", "5417", ",", "5441", ",", "5443", ",", "5483", ",", "5507", ",", "5527", ",", "5557", ",", "5563", ",", "5569", ",", "5581", ",", "5591", ",", "5639", ",", "5641", ",", "5651", ",", "5653", ",", "5659", ",", "5683", ",", "5689", ",", "5693", ",", "5701", ",", "5711", ",", "5717", ",", "5737", ",", "5741", ",", "5743", ",", "5779", ",", "5783", ",", "5791", ",", "5801", ",", "5813", ",", "5843", ",", "5849", ",", "5857", ",", "5861", ",", "5867", ",", "5897", ",", "5903", ",", "5923", ",", "5939", ",", "5953", ",", "5981", ",", "6007", ",", "6011", ",", "6043", ",", "6047", ",", "6053", ",", "6067", ",", "6073", ",", "6079", ",", "6089", ",", "6101", ",", "6113", ",", "6133", ",", "6151", ",", "6163", ",", "6173", ",", "6199", ",", "6203", ",", "6211", ",", "6217", ",", "6229", ",", "6247", ",", "6257", ",", "6263", ",", "6271", ",", "6287", ",", "6299", ",", "6311", ",", "6329", ",", "6337", ",", "6353", ",", "6359", ",", "6379", ",", "6389", ",", "6421", ",", "6473", ",", "6491", ",", "6547", ",", "6551", ",", "6553", ",", "6569", ",", "6581", ",", "6607", ",", "6619", ",", "6653", ",", "6689", ",", "6701", ",", "6703", ",", "6709", ",", "6719", ",", "6733", ",", "6737", ",", "6761", ",", "6763", ",", "6779", ",", "6781", ",", "6793", ",", "6803", ",", "6823", ",", "6827", ",", “6833”，“，”，“6857”，“，”，“6863”，“，”，“6871”，“，”，“6883”，“，”，“6899”，“，”，“6907”，“，”，“6947”，“，”，“6949”，“，”，“6959”，“，”，“6961”，“，”，"6967", ",", "6971", ",", "6977", ",", "6983", ",", "6991", ",", "6997", ",", "7001", ",", "7013", ",", "7039", ",", "7043", ",", "7057", ",", "7121", ",", "7127", ",", "7177", ",", "7187", ",", "7193", ",", "7207", ",", "7211", ",", "7213", ",", "7229", ",", "7237", ",", "7243", ",", "7247", ",", "7253", ",", "7283", ",", "7297", ",", "7307", ",", "7331", ",", "7349", ",", "7417", ",", "7433", ",", "7451", ",", "7459", ",", “7477”，“，”，“7489”，“，”，“7507”，“，”，“7517”，“，”，“7523”，“，”，“7529”，",", "7541", ",", "7549", ",", "7559", ",", "7573", ",", "7577", ",", "7583", ",", "7589", ",", "7591", ",", "7603", ",", "7621", ",", "7639", ",", "7649", ",", "7669", ",", "7681", ",", "7687", ",", "7723", ",", "7727", ",", "7741", ",", "7753", ",", "7757", ",", "7759", ",", "7789", ",", "7793", ",", "7817", ",", "7853", ",", "7867", ",", "7879", ",", "7883", ",", "7919", ",", "7933", ",", "7937", ",", "7949", ",", "7993", ",", "8011", ",", "8017", ",", "8053", ",", "8069", ",", "8081", ",", "8087", ",", "8111", ",", "8117", ",", "8123", ",", "8171", ",", "8209", ",", "8221", ",", "8231", ",", "8233", ",", "8237", ",", "8243", ",", "8269", ",", "8273", ",", "8287", ",", "8291", ",", "8293", ",", "8297", ",", "8311", ",", "8329", ",", "8363", ",", "8389", ",", "8423", ",", "8431", ",", "8447", ",", "8461", ",", "8513", ",", "8521", ",", "8537", ",", "8539", ",", "8563", ",", "8581", ",", "8623", ",", "8627", ",", "8629", ",", "8641", ",", "8663", ",", "8677", ",", "8693", ",", "8699", ",", "8713", ",", "8731", ",", "8737", ",", "8741", ",", "8753", ",", "8761", ",", "8779", ",", "8807", ",", "8821", ",", "8831", ",", "8837", ",", "8849", ",", "8863", ",", "8867", ",", "8887", ",", "8923", ",", "8933", ",", "8941", ",", "8951", ",", "8963", ",", "8971", ",", "8999", ",", "9011", ",", "9013", ",", "9029", ",", "9041", ",", "9043", ",", "9059", ",", "9067", ",", "9091", ",", "9103", ",", "9157", ",", "9173", ",", "9181", ",", "9209", ",", "9221", ",", "9239", ",", "9257", ",", "9277", ",", "9283", ",", "9311", ",", "9319", ",", "9323", ",", "9337", ",", "9343", ",", "9349", ",", "9371", ",", "9397", ",", "9403", ",", "9413", ",", "9419", ",", "9421", ",", "9431", ",", "9437", ",", "9461", ",", "9479", ",", "9491", ",", "9497", ",", "9511", ",", "9533", ",", "9539", ",", "9547", ",", "9551", ",", "9587", ",", "9679", ",", "9721", ",", "9733", ",", "9743", ",", "9791", ",", "9803", ",", "9811", ",", "9817", ",", "9883", ",", "9887", ",", "9901", ",", "9923", ",", "9929", ",", "9931", ",", "9941", ",", "9949", ",", "9967", ",", "9973"}], “}”}]]，“输出”，手机更换次数->{3.711209579831544*^9}，表达UUID->“58b4e3cd-ea2d-43bf-8ec4-\8e68d035027f“]}，打开]]，单元格[BoxData[“”]，“Input”，单元格更改时间->{3.7121986369528437`*^9, {3.7122450424984336`*^9, 3.712245044115971*^9}, 3.7122452335030007`*^9}，表达式UUID->“86e8f53b-69e1-42a0-962a-\0a126d3d3443“]，单元格[BoxData[样式框[RowBox[｛“A290575”，“：”｝]，FontSize->16]]，“输入”，单元格更改时间->{3.712246103835596*^9，3.7122461058390865`*^9}}，表达式UUID->“0d745a71-b14c-4520-bb63-\f47d2ada5ccf“]，单元格[CellGroupData[{单元格[BoxData[行框[{“选择”，“[”，行框[{行框[{“范围”，“[”，“10000”，“]”}]，“，”，行框[{行框[{行框[{“PrimeQ”，“[”，“#”，“]”}]，“&”，行框[{“NeverDividesLucasSeqQ”，“[”，行框[{“A\[Epsilon]”，“，”，“#”}]，“]”}]}]，单元格更改时间->{{3.7112095399004*^9，3.7112095186462*^9}]，单元格[BoxData[行框[{“{”，行框[{"3", ",", "7", ",", "13", ",", "19", ",", "23", ",", "29", ",", "31", ",", "37", ",", "43", ",", "47", ",", "61", ",", "67", ",", "73", ",", "83", ",", "89", ",", "101", ",", "103", ",", "107", ",", "109", ",", "113", ",","127", ",", "131", ",", "139", ",", "149", ",", "157", ",", "167", ",", "179", ",", "191", ",", "193", ",", "197", ",", "223", ",", "227", ",", "229", ",", "241", ",", "251", ",", "257", ",", "271", ",", "281", ",", "293", ",", "307", ",", "311", ",", "313", ",", "353", ",", "367", ",", "373", ",", "379", ",", "389", ",", "401", ",", "419", ",", "431", ",", "433", ",", "439", ",", "449", ",", "461", ",", "467", ",", "479", ",", "487", ",", "491", ",", "503", ",", "521", ",", "523", ",", "541", ",", "547", ",", "557", ",", "563", ",", "569", ",", "571", ",", "587", ",", "601", ",", "607", ",", "613", ",", "619", ",", "641", ",", "643", ",", "653", ",", "661", ",", "677", ",", "683", ",", "709", ",", "719", ",", "739", ",", "743", ",", "769", ",", "821", ",", "823", ",", "827", ",", "829", ",", "857", ",", "863", ",", "877", ",", "881", ",", "887", ",", "907", ",", "919", ",", "929", ",", "937", ",", "941", ",", "947", ",", "953", ",", "967", ",", "971", ",", "977", ",", "1009", ",", "1013", ",", "1021", ",", "1031", ",", "1033", ",", "1039", ",", "1051", ",", "1087", ",", "1093", ",", "1097", ",", "1103", ",", "1109", ",", "1129", ",", "1193", ",", "1213", ",", "1217", ",", "1223", ",", "1231", ",", "1237", “，”，“1249”，“，”，“1259”，“，”，“1279”，“，”，“1283”，“，”，“1291”，“，”，“1297”，“，”，“1301”，“，”，“1307”，“，”，“1321”，“，”，“1327”，“，”，“1361”，",", "1367", ",", "1373", ",", "1381", ",", "1399", ",", "1423", ",", "1429", ",", "1447", ",", "1451", ",", "1453", ",", "1459", ",", "1481", ",", "1487", ",", "1493", ",", "1499", ",", "1511", ",", "1531", ",", "1543", ",", "1549", ",", "1553", ",", "1567", ",", "1597", ",", "1601", ",", "1607", ",", "1609", ",", "1613", ",", "1627", ",", "1657", ",", "1663", ",", "1693", ",", "1747", ",", "1759", ",", "1777", ",", "1783", “，”，“1787”，“，”，“1789”，“，”，“1801”，“，”，“1811”，“，”，“1823”，“，”，"1847", ",", "1867", ",", "1871", ",", "1877", ",", "1889", ",", "1901", ",", "1931", ",", "1951", ",", "1973", ",", "1979", ",", "1993", ",", "1997", ",", "2003", ",", "2027", ",", "2029", ",", "2039", ",", "2053", ",", "2063", ",", "2069", ",", "2083", ",", "2089", ",", "2099", ",", "2111", ",", "2131", ",", "2141", ",", "2143", ",", "2153", ",", "2161", ",", "2179", ",", "2203", ",", "2207", ",", "2213", ",", "2221", ",", "2267", ",", "2273", ",", "2281", ",", "2287", ",", "2309", ",", "2311", ",", "2333", ",", "2339", ",", "2341", ",", "2351", ",", "2371", ",", "2381", ",", "2389", ",", "2393", ",", "2399", ",", "2411", ",", "2447", ",", "2473", ",", "2503", ",", "2531", ",", "2539", ",", "2543", ",", "2579", ",", "2591", ",", "2593", ",", "2617", ",", "2621", ",", "2633", ",", "2659", ",", "2683", ",", "2687", ",", "2689", ",", "2699", ",", "2707", ",", "2711", ",", "2729", ",", "2731", ",", "2741", ",", "2753", ",", "2789", ",", "2791", ",", "2797", ",", "2819", ",", "2833", ",", "2861", ",", "2879", ",", "2887", ",", "2897", ",", "2917", ",", "2927", ",", "2939", ",", "2957", ",", "2969", ",", "2971", ",", "2999", ",", "3001", ",", "3011", ",", "3023", ",", "3037", ",", "3041", ",", "3049", ",", "3083", ",", "3119", ",", "3121", ",", "3137", ",", "3167", ",", "3169", ",", "3187", ",", "3203", ",", "3209", ",", "3217", ",", "3259", ",", "3271", ",", "3307", ",", "3313", ",", "3323", ",", "3331", ",", "3347", ",", "3359", ",", "3361", ",", "3371", ",", "3413", ",", "3433", ",", "3491", ",", "3499", ",", "3517", ",", "3547", ",", "3557", ",", "3559", ",", "3571", ",", "3583", ",", "3593", ",", "3607", ",", "3613", ",", "3623", ",", "3631", ",", "3671", ",", "3673", ",", "3691", ",", "3701", ",", "3709", ",", "3727", ",", "3761", ",", "3769", ",", "3779", ",", "3793", ",", "3797", ",", "3821", ",", "3823", ",", "3853", ",", "3863", ",", "3907", ",", "3911", ",", "3917", ",", "3919", ",", "3931", ",", "3943", ",", "3947", ",", "3967", ",", "3989", ",", "4003", ",", "4019", ",", "4021", ",", "4027", ",", "4049", ",", "4079", ",", "4091", “，”，“4099”，“，”，“4127”，“，”，“4129”，“，”，“4133”，“，”，“4157”，“，”，“4159”，“，”，“4177”，“，”，“4229”，“，”，“4231”，“，”，“4241”，“，”，“4253”，",", "4271", ",", "4273", ",", "4283", ",", "4289", ",", "4297", ",", "4327", ",", "4337", ",", "4339", ",", "4349", ",", "4363", ",", "4409", ",", "4421", ",", "4447", ",", "4451", ",", "4457", ",", "4463", ",", "4481", ",", "4483", ",", "4507", ",", "4513", ",", "4517", ",", "4583", ",", "4591", ",", "4597", ",", "4603", ",", "4621", ",", "4637", ",", "4651", ",", "4663", ",", "4673", ",", "4691", ",", "4703", ",", "4723", “，”，“4733”，“，”，“4759”，“，”，“4789”，“，”，“4793”，“，”，“4799”，“，”，"4801", ",", "4813", ",", "4817", ",", "4831", ",", "4871", ",", "4889", ",", "4909", ",", "4919", ",", "4931", ",", "4937", ",", "4943", ",", "4951", ",", "4957", ",", "4967", ",", "4973", ",", "4987", ",", "4993", ",", "5011", ",", "5021", ",", "5059", ",", "5099", ",", "5107", ",", "5113", ",", "5119", ",", "5153", ",", "5167", ",", "5171", ",", "5189", ",", "5209", ",", "5227", ",", "5231", ",", "5233", ",", "5273", ",", "5279", ",", "5281", ",", "5297", ",", "5309", ",", "5333", ",", "5347", ",", "5351", ",", "5387", ",", "5399", ",", "5407", ",", "5413", ",", "5417", ",", "5419", ",", "5437", ",", "5441", ",", "5449", ",", "5477", ",", "5479", ",", "5503", ",", "5507", ",", "5519", ",", "5527", ",", "5531", ",", "5557", ",", "5563", ",", "5569", ",", "5591", ",", "5639", ",", "5641", ",", "5651", ",", "5653", ",", "5657", ",", "5659", ",", "5689", ",", "5693", ",", "5711", ",", "5737", ",", "5749", ",", "5779", ",", "5783", ",", "5791", ",", "5801", ",", "5807", ",", "5813", ",", "5821", ",", "5827", ",", "5839", ",", "5849", ",", "5851", ",", "5857", ",", "5869", ",", "5879", ",", "5881", ",", "5897", ",", "5903", ",", "5927", ",", "5939", ",", "5953", ",", "5981", ",", "5987", ",", "6011", ",", "6029", ",", "6037", ",", "6053", ",", "6067", ",", "6079", ",", "6113", ",", "6121", ",", "6131", ",", "6133", ",", "6143", ",", "6173", ",", "6211", ",", "6217", ",", "6221", ",", "6247", ",", "6257", ",", "6263", ",", "6269", ",", "6287", ",", "6299", ",", "6301", ",", "6311", ",", "6323", ",", "6337", ",", "6343", ",", "6361", ",", "6367", ",", "6379", ",", "6397", ",", "6427", ",", "6449", ",", "6481", ",", "6491", ",", "6521", ",", "6547", ",", "6553", ",", "6563", ",", "6569", ",", "6577", ",", "6581", ",", "6599", ",", "6607", ",", "6619", ",", "6637", ",", "6653", ",", "6659", ",", "6661", ",", "6679", ",", "6689", ",", "6691", ",", "6701", ",", "6703", ",", "6709", ",", "6719", ",", "6733", ",", "6737", ",", "6761", ",", "6763", ",", "6781", ",", "6793", ",", "6823", ",", "6829", ",", "6857", ",", "6883", ",", "6907", ",", "6911", “，”，“6917”，“，”，“6949”，“，”，“6961”，“，”，“6967”，“，”，“6971”，“，”，“6977”，“，”，“6983”，“，”，“7039”，“，”，“7057”，“，”，“7069”，“，”，“7079”，",", "7103", ",", "7109", ",", "7121", ",", "7151", ",", "7159", ",", "7177", ",", "7187", ",", "7193", ",", "7229", ",", "7237", ",", "7243", ",", "7297", ",", "7331", ",", "7349", ",", "7369", ",", "7393", ",", "7411", ",", "7417", ",", "7433", ",", "7451", ",", "7457", ",", "7459", ",", "7481", ",", "7487", ",", "7499", ",", "7529", ",", "7537", ",", "7547", ",", "7559", ",", "7561", ",", "7577", ",", "7583", ",", "7607", “，”，“7643”，“，”，“7673”，“，”，“7681”，“，”，“7687”，“，”，“7691”，“，”，"7699", ",", "7717", ",", "7727", ",", "7741", ",", "7757", ",", "7789", ",", "7829", ",", "7873", ",", "7883", ",", "7927", ",", "7933", ",", "7937", ",", "7949", ",", "7951", ",", "7993", ",", "8009", ",", "8011", ",", "8039", ",", "8059", ",", "8069", ",", "8089", ",", "8101", ",", "8111", ",", "8147", ",", "8179", ",", "8191", ",", "8209", ",", "8219", ",", "8221", ",", "8231", ",", "8243", ",", "8269", ",", "8273", ",", "8287", ",", "8291", ",", "8297", ",", "8317", ",", "8329", ",", "8369", ",", "8377", ",", "8389", ",", "8419", ",", "8423", ",", "8429", ",", "8443", ",", "8467", ",", "8501", ",", "8521", ",", "8527", ",", "8537", ",", "8543", ",", "8563", ",", "8573", ",", "8623", ",", "8629", ",", "8641", ",", "8647", ",", "8681", ",", "8693", ",", "8699", ",", "8707", ",", "8713", ",", "8719", ",", "8731", ",", "8741", ",", "8747", ",", "8753", ",", "8779", ",", "8783", ",", "8803", ",", "8819", ",", "8821", ",", "8831", ",", "8837", ",", "8839", ",", "8863", ",", "8893", ",", "8923", ",", "8929", ",", "8933", ",", "8941", ",", "8963", ",", "9001", ",", "9011", ",", "9013", ",", "9029", ",", "9041", ",", "9043", ",", "9067", ",", "9091", ",", "9109", ",", "9127", ",", "9137", ",", "9157", ",", "9161", ",", "9173", ",", "9181", ",", "9199", ",", "9203", ",", "9209", ",", "9221", ",", "9257", ",", "9293", ",", "9311", ",", "9319", ",", "9323", ",", "9341", ",", "9349", ",", "9371", ",", "9397", ",", "9403", ",", "9413", ",", "9419", ",", "9421", ",", "9431", ",", "9433", ",", "9461", ",", "9463", ",", "9467", ",", "9473", ",", "9479", ",", "9491", ",", "9497", ",", "9511", ",", "9521", ",", "9533", ",", "9539", ",", "9547", ",", "9551", ",", "9587", ",", "9601", ",", "9629", ",", "9631", ",", "9649", ",", "9677", ",", "9697", ",", "9719", ",", "9739", ",", "9743", ",", "9749", ",", "9767", ",", "9781", ",", "9811", ",", "9817", ",", "9829", ",", "9839", ",", "9857", ",", "9871", ",", "9887", ",", "9907", ",", "9923", ",", "9929", ",", "9941", ",", "9949"}], “}”}]]，“输出”，单元格更改时间->{3.711209593223652*^9}]}，打开]]，单元格[BoxData[样式框[RowBox[｛“A290576”，“：”｝]，字体大小->16]]，“输入”，单元格更改时间->{3.7121986561455297`*^9}，表达式UUID->“4778fa3c-5938-4698-8cf5-\ac66db7fc0b1“]，单元格[CellGroupData[{单元格[BoxData[行框[{“选择”，“[”，行框[{行框[{“范围”，“[”，“10000”，“]”}]，“，”，行框[{行框[{行框[{“PrimeQ”，“[”，“#”，“]”}]，“&”，行框[{“NeverDividesLucasSeqQ”，“[”，RowBox[｛“A\[Zeta]”，“，”，“#”｝]，“]”｝]｝]，“&”｝]｝]，“]”｝]]，“输入”，单元格更改时间->{{3.711209541319173*^9，3.711209540238323`*^9}]，单元格[BoxData[行框[{“{”，行框[{"2", ",", "5", ",", "7", ",", "13", ",", "17", ",", "19", ",", "29", ",", "37", ",", "43", ",", "47", ",", "59", ",", "61", ",", "67", ",", "71", ",", "83", ",", "89", ",", "101", ",", "109", ",", "127", ",", "139", ",", "149", ",", "167", ",", "173", ",", "191", ",", "211", ",", "233", ",", "239", ",", "241", ",", "251", ",", "257", ",", "271", ",", "277", ",", "281", ",", "307", ",", "311", ",", "313", ",", "331", ",", "337", ",", "347", ",", "349", ",", "353", ",", "359", ",", "373", ",", "379", ",", "383", ",", "409", ",", "419", ",", "421", ",", "431", ",", "433", ",", "443", ",", "449", ",", "461", ",", "463", ",", "479", ",", "487", ",", "503", ",", "509", ",", "523", ",", "557", ",", "577", ",", "593", ",", "599", ",", "601", ",", "607", ",", "619", ",", "641", ",", "653", ",", "659", ",", "661", ",", "677", ",", "691", ",", "701", ",", "709", ",", "719", ",", "727", ",", "739", ",", "751", ",", "769", ",", "787", ",", "797", ",", "809", ",", "811", ",", "821", ",", "827", ",", "829", ",", "839", ",", "853", ",", "857", ",", "859", ",", "863", ",", "877", ",", "881", ",", "883", ",", "919", ",", "929", ",", "937", ",", "947", ",", "953", ",", "997", ",", "1013", ",", "1021", ",", "1031", ",", "1051", ",","1061", ",", "1069", ",", "1087", ",", "1091", ",", "1117", ",", "1129", ",", "1151", ",", "1153", ",", "1163", ",", "1171", ",", "1181", ",", "1187", ",", "1201", ",", "1237", ",", "1249", ",", "1277", ",", "1279", ",", "1283", ",", "1301", ",", "1307", ",", "1319", ",", "1321", ",", "1367", ",", "1373", ",", "1429", ",", "1447", ",", "1451", ",", "1453", ",", "1459", ",", "1471", ",", "1481", ",", "1483", ",", "1487", ",", "1489", ",", "1493", ",", "1511", ",", "1531", ",", "1543", ",", "1553", ",", "1559", ",", "1567", ",", "1571", ",", "1597", ",", "1601", ",", "1607", ",", "1609", ",", "1613", ",", "1619", ",", "1621", ",", "1627", ",", "1663", ",", "1693", ",", "1697", ",", "1699", ",", "1721", ",", "1733", ",", "1741", ",", "1747", ",", "1753", ",", "1759", ",", "1783", “，”，“1787”，“，”，“1801”，“，”，“1811”，“，”，“1823”，“，”，“1847”，“，”，“1861”，“，”，“1867”，“，”，“1871”，“，”，“1873”，“，”，“1877”，“，”，“1901”，",", "1913", ",", "1931", ",", "1933", ",", "1949", ",", "1951", ",", "1979", ",", "1987", ",", "1997", ",", "1999", ",", "2003", ",", "2017", ",", "2027", ",", "2029", ",", "2053", ",", "2063", ",", "2069", ",", "2083", ",", "2087", ",", "2089", ",", "2099", ",", "2111", ",", "2113", ",", "2129", ",", "2131", ",", "2141", ",", "2143", ",", "2161", ",", "2179", ",", "2237", ",", "2239", ",", "2243", ",", "2251", ",", "2269", “，”，“2273”，“，”，“2281”，“，”，“2293”，“，”，“2333”，“，”，“2339”，“，”，"2341", ",", "2351", ",", "2371", ",", "2377", ",", "2381", ",", "2393", ",", "2399", ",", "2417", ",", "2423", ",", "2441", ",", "2473", ",", "2477", ",", "2503", ",", "2543", ",", "2551", ",", "2557", ",", "2579", ",", "2591", ",", "2617", ",", "2621", ",", "2633", ",", "2647", ",", "2657", ",", "2663", ",", "2671", ",", "2677", ",", "2683", ",", "2687", ",", "2689", ",", "2707", ",", "2749", ",", "2753", ",", "2767", ",", "2797", ",", "2801", ",", "2803", ",", "2833", ",", "2837", ",", "2851", ",", "2861", ",", "2879", ",", "2903", ",", "2909", ",", "2957", ",", "2963", ",", "2969", ",", "2971", ",", "3001", ",", "3011", ",", "3019", ",", "3049", ",", "3061", ",", "3067", ",", "3079", ",", "3083", ",", "3109", ",", "3163", ",", "3191", ",", "3203", ",", "3229", ",", "3251", ",", "3253", ",", "3257", ",", "3259", ",", "3271", ",", "3301", ",", "3307", ",", "3313", ",", "3319", ",", "3331", ",", "3347", ",", "3359", ",", "3389", ",", "3407", ",", "3413", ",", "3433", ",", "3457", ",", "3461", ",", "3469", ",", "3491", ",", "3499", ",", "3511", ",", "3533", ",", "3539", ",", "3547", ",", "3557", ",", "3559", ",", "3581", ",", "3593", ",", "3607", ",", "3613", ",", "3617", ",", "3623", ",", "3637", ",", "3673", ",", "3677", ",", "3691", ",", "3697", ",", "3709", ",", "3727", ",", "3739", ",", "3767", ",", "3793", ",", "3797", ",", "3803", ",", "3821", ",", "3823", ",", "3847", ",", "3851", ",", "3863", ",", "3877", ",", "3881", ",", "3889", ",", "3911", ",", "3917", ",", "3919", ",", "3923", ",", "3929", ",", "3967", ",", "3989", ",", "4001", ",", "4007", ",", "4019", ",", "4021", ",", "4027", ",", "4049", ",", "4057", ",", "4073", ",", "4093", ",", "4111", ",", "4127", ",", "4129", ",", "4133", ",", "4157", ",", "4159", ",", "4201", ",", "4211", ",", "4217", ",", "4219", ",", "4231", ",", "4241", ",", "4243", ",", "4273", ",", "4283", ",", "4289", ",", "4297", ",", "4327", ",", "4349", ",", "4357", ",", "4363", ",", "4373", ",", "4391", ",", "4421", ",", "4441", ",", "4451", ",", "4457", ",", "4493", ",", "4513", ",", "4517", ",", "4519", “，”，“4523”，“，”，“4547”，“，”，“4561”，“，”，“4567”，“，”，“4591”，“，”，“4597”，“，”，“4603”，“，”，“4639”，“，”，“4643”，“，”，“4649”，“，”，“4657”，",", "4673", ",", "4691", ",", "4703", ",", "4721", ",", "4733", ",", "4783", ",", "4799", ",", "4801", ",", "4817", ",", "4861", ",", "4871", ",", "4877", ",", "4931", ",", "4933", ",", "4937", ",", "4943", ",", "4957", ",", "4967", ",", "4969", ",", "4987", ",", "4993", ",", "5003", ",", "5009", ",", "5011", ",", "5023", ",", "5051", ",", "5077", ",", "5081", ",", "5087", ",", "5101", ",", "5107", ",", "5113", ",", "5147", “，”，“5153”，“，”，“5171”，“，”，“5179”，“，”，“5189”，“，”，“5227”，“，”，"5231", ",", "5233", ",", "5237", ",", "5273", ",", "5279", ",", "5303", ",", "5323", ",", "5333", ",", "5347", ",", "5351", ",", "5387", ",", "5393", ",", "5399", ",", "5407", ",", "5413", ",", "5417", ",", "5441", ",", "5443", ",", "5449", ",", "5471", ",", "5479", ",", "5483", ",", "5503", ",", "5507", ",", "5527", ",", "5531", ",", "5563", ",", "5639", ",", "5647", ",", "5653", ",", "5669", ",", "5683", ",", "5689", ",", "5711", ",", "5717", ",", "5737", ",", "5741", ",", "5743", ",", "5749", ",", "5779", ",", "5783", ",", "5791", ",", "5801", ",", "5807", ",", "5813", ",", "5821", ",", "5827", ",", "5867", ",", "5869", ",", "5897", ",", "5903", ",", "5923", ",", "5927", ",", "5953", ",", "5981", ",", "5987", ",", "6007", ",", "6011", ",", "6029", ",", "6037", ",", "6043", ",", "6053", ",", "6067", ",", "6089", ",", "6091", ",", "6113", ",", "6121", ",", "6197", ",", "6203", ",", "6221", ",", "6229", ",", "6257", ",", "6263", ",", "6269", ",", "6271", ",", "6299", ",", "6311", ",", "6329", ",", "6353", ",", "6361", ",", "6367", ",", "6379", ",", "6389", ",", "6397", ",", "6449", ",", "6473", ",", "6491", ",", "6521", ",", "6529", ",", "6547", ",", "6551", ",", "6569", ",", "6577", ",", "6581", ",", "6599", ",", "6607", ",", "6619", ",", "6637", ",", "6659", ",", "6661", ",", "6673", ",", "6679", ",", "6701", ",", "6703", ",", "6709", ",", "6719", ",", "6737", ",", "6761", ",", "6763", ",", "6779", ",", "6781", ",", "6791", ",", "6793", ",", "6803", ",", "6823", ",", "6827", ",", "6857", ",", "6863", ",", "6869", ",", "6871", ",", "6883", ",", "6907", ",", "6911", ",", "6917", ",", "6947", ",", "6967", ",", "6971", ",", "6977", ",", "6983", ",", "6991", ",", "7001", ",", "7013", ",", "7027", ",", "7039", ",", "7043", ",", "7057", ",", "7069", ",", "7103", ",", "7121", ",", "7127", ",", "7129", ",", "7151", ",", "7159", ",", "7177", ",", "7193", ",", "7207", ",", "7211", ",", "7213", ",", "7219", ",", "7237", ",", "7243", ",", "7247", ",", "7253", ",", "7309", ",", "7331", ",", "7349", ",", "7351", ",", "7369", ",", "7411", ",", "7417", “，”，“7457”，“，”，“7459”，“，”，“7477”，“，”，“7489”，“，”，“7499”，“，”，“7507”，“，”，“7517”，“，”，“7529”，“，”，“7537”，“，”，“7549”，“，”，“7559”，",", "7561", ",", "7577", ",", "7583", ",", "7591", ",", "7603", ",", "7621", ",", "7639", ",", "7669", ",", "7673", ",", "7687", ",", "7703", ",", "7717", ",", "7723", ",", "7741", ",", "7753", ",", "7759", ",", "7829", ",", "7841", ",", "7877", ",", "7879", ",", "7883", ",", "7901", ",", "7919", ",", "7927", ",", "7933", ",", "7937", ",", "7949", ",", "7993", ",", "8011", ",", "8039", ",", "8053", ",", "8087", ",", "8089", “，”，“8101”，“，”，“8161”，“，”，“8231”，“，”，“8237”，“，”，“8293”，“，”，"8311", ",", "8317", ",", "8329", ",", "8353", ",", "8363", ",", "8369", ",", "8377", ",", "8389", ",", "8419", ",", "8423", ",", "8443", ",", "8447", ",", "8467", ",", "8501", ",", "8513", ",", "8521", ",", "8527", ",", "8537", ",", "8539", ",", "8543", ",", "8563", ",", "8599", ",", "8609", ",", "8623", ",", "8627", ",", "8629", ",", "8641", ",", "8647", ",", "8663", ",", "8681", ",", "8713", ",", "8719", ",", "8737", ",", "8753", ",", "8761", ",", "8779", ",", "8783", ",", "8807", ",", "8837", ",", "8849", ",", "8861", ",", "8863", ",", "8887", ",", "8893", ",", "8929", ",", "8933", ",", "8941", ",", "8963", ",", "8999", ",", "9011", ",", "9029", ",", "9041", ",", "9043", ",", "9049", ",", "9059", ",", "9091", ",", "9103", ",", "9127", ",", "9137", ",", "9157", ",", "9173", ",", "9181", ",", "9209", ",", "9221", ",", "9227", ",", "9239", ",", "9257", ",", "9277", ",", "9293", ",", "9311", ",", "9319", ",", "9323", ",", "9337", ",", "9349", ",", "9371", ",", "9377", ",", "9397", ",", "9403", ",", "9413", ",", "9431", ",", "9439", ",", "9461", ",", "9463", ",", "9473", ",", "9491", ",", "9497", ",", "9547", ",", "9551", ",", "9601", ",", "9613", ",", "9619", ",", "9629", ",", "9631", ",", "9649", ",", "9661", ",", "9679", ",", "9689", ",", "9721", ",", "9739", ",", "9743", ",", "9749", ",", "9769", ",", "9791", ",", "9803", ",", "9857", ",", "9907", ",", "9923", ",", "9929", ",", "9931", ",", "9967", ",", “9973”}]，“}”}]]，“输出”，单元格更改时间->{3.711209606138208*^9}]}，打开]]，单元格[BoxData[样式框[行框[{“A005259”，“：”}]，FontSize->18]]，“输入”，单元格更改时间->{3.7121986764447365`*^9, {3.7121988567081175`*^9, 3.7121988568080854`*^9}}，表达式UUID->“f8cd7c7a-4f59-4ed2-80f4-\8d40a004b901“]，单元格[CellGroupData[{单元格[BoxData[行框[{“选择”，“[”，行框[{行框[{“范围”，“[”，“10000”，“]”}]，“，”，行框[{行框[{RowBox[｛“PrimeQ”，“[”，“#”，“]”｝]，“&&”，RowBox[｛“NeverDividesLucasSeqQ”，“[”，行框[{“A\[Gamma]”，“，”，“#”}]，“]”}]}]，单元格更改时间->{{3.711209549910984*^9，3.711209552023549*^9}]，单元格[BoxData[行框[{“{”，行框[{"2", ",", "3", ",", "7", ",", "13", ",", "23", ",", "29", ",", "43", ",", "47", ",", "53", ",", "67", ",", "71", ",", "79", ",", "83", ",", "89", ",", "101", ",", "103", ",", "107", ",", "109", ",", "113", ",", "127", ",", "131", ",", "137", ",", "149", ",", "157", ",", "167", ",", "173", “，”，“199”，“，”，“223”，“，”，“229”，“，”，“239”，“，”，“263”，“，”，“269”，",", "277", ",", "281", ",", "311", ",", "313", ",", "317", ",", "337", ",", "349", ",", "353", ",", "359", ",", "373", ",", "383", ",", "389", ",", "397", ",", "401", ",", "409", ",", "421", ",", "449", ",", "457", ",", "461", ",", "467", ",", "479", ",", "487", ",", "491", ",", "509", ",", "521", ",", "523", ",", "547", ",", "557", ",", "563", ",", "569", ",", "587", ",", "601", ",", "607", ",", "613", ",", "619", ",", "641", ",", "643", ",", "647", ",", "653", ",", "661", ",", "673", ",", "677", ",", "683", ",", "719", ",", "727", ",", "739", ",", "743", ",", "773", ",", "797", ",", "809", ",", "811", ",", "823", ",", "827", ",", "829", ",", "839", ",", "853", ",", "859", ",", "863", ",", "877", ",", "883", ",", "919", ",", "929", ",", "941", ",", "967", ",", "983", ",", "997", ",", "1013", ",", "1019", ",", "1021", ",", "1031", ",", "1033", ",", "1039", ",", "1051", ",", "1061", ",", "1063", ",", "1091", ",", "1093", ",", "1103", ",", "1109", ",", "1123", ",", "1151", ",", "1163", ",", "1171", ",", "1181", ",", "1187", ",", "1223", ",", "1231", ",", "1237", ",", "1249", ",", "1277", ",", "1279", ",", "1283", ",", "1289", ",", "1291", ",", "1301", ",", "1303", ",", "1307", ",", "1319", ",", "1321", ",", "1327", ",", "1361", ",", "1367", ",", "1373", ",", "1399", ",", "1409", ",", "1423", ",", "1429", ",", "1439", ",", "1451", ",", "1459", ",", "1481", ",", "1483", ",", "1493", ",", "1511", ",", "1543", ",", "1549", ",", "1553", ",", "1567", ",", "1571", ",", "1579", ",", "1583", ",", "1597", ",", "1601", ",", "1607", ",", "1609", ",", "1613", ",", "1627", ",", "1663", ",", "1667", ",", "1693", ",", "1697", ",", "1699", ",", "1721", ",", "1733", ",", "1747", ",", "1753", ",", "1777", ",", "1783", ",", "1787", ",", "1789", ",", "1801", ",", "1811", ",", "1861", ",", "1871", ",", "1877", ",", "1879", ",", "1889", ",", "1901", ",", "1913", ",", "1979", ",", "1987", ",", "1993", ",", "1997", ",", "1999", ",", "2003", ",", "2017", ",", "2027", ",", "2029", ",", "2039", ",", "2053", ",", "2063", ",", "2081", ",", "2089", ",", "2099", ",", "2111", “，”，“2113”，“，”，“2129”，“，”，“2131”，“，”，“2141”，“，”，“2143”，“，”，“2153”，“，”，“2161”，“，”，“2203”，“，”，“2207”，“，”，“2213”，“，”，“2221”，",", "2239", ",", "2243", ",", "2251", ",", "2267", ",", "2273", ",", "2281", ",", "2287", ",", "2309", ",", "2311", ",", "2339", ",", "2347", ",", "2351", ",", "2357", ",", "2389", ",", "2393", ",", "2417", ",", "2437", ",", "2447", ",", "2467", ",", "2473", ",", "2503", ",", "2531", ",", "2549", ",", "2551", ",", "2593", ",", "2609", ",", "2617", ",", "2621", ",", "2633", ",", "2647", ",", "2657", ",", "2659", ",", "2671", “，”，“2677”，“，”，“2687”，“，”，“2689”，“，”，“2699”，“，”，“2707”，“，”，"2711", ",", "2719", ",", "2729", ",", "2741", ",", "2749", ",", "2753", ",", "2777", ",", "2789", ",", "2791", ",", "2801", ",", "2803", ",", "2819", ",", "2833", ",", "2837", ",", "2851", ",", "2861", ",", "2887", ",", "2903", ",", "2909", ",", "2927", ",", "2953", ",", "2963", ",", "2999", ",", "3001", ",", "3011", ",", "3023", ",", "3061", ",", "3067", ",", "3083", ",", "3119", ",", "3121", ",", "3163", ",", "3167", ",", "3169", ",", "3181", ",", "3187", ",", "3191", ",", "3217", ",", "3221", ",", "3229", ",", "3251", ",", "3253", ",", "3257", ",", "3271", ",", "3299", ",", "3301", ",", "3307", ",", "3323", ",", "3329", ",", "3359", ",", "3361", ",", "3371", ",", "3373", ",", "3389", ",", "3391", ",", "3433", ",", "3461", ",", "3463", ",", "3467", ",", "3491", ",", "3499", ",", "3511", ",", "3517", ",", "3527", ",", "3533", ",", "3539", ",", "3541", ",", "3547", ",", "3557", ",", "3559", ",", "3571", ",", "3583", ",", "3593", ",", "3617", ",", "3637", ",", "3643", ",", "3659", ",", "3671", ",", "3673", ",", "3677", ",", "3691", ",", "3701", ",", "3709", ",", "3719", ",", "3739", ",", "3761", ",", "3767", ",", "3769", ",", "3793", ",", "3803", ",", "3823", ",", "3853", ",", "3881", ",", "3889", ",", "3911", ",", "3919", ",", "3931", ",", "3947", ",", "3967", ",", "3989", ",", "4003", ",", "4007", ",", "4051", ",", "4073", ",", "4079", ",", "4093", ",", "4099", ",", "4127", ",", "4129", ",", "4133", ",", "4139", ",", "4211", ",", "4217", ",", "4219", ",", "4231", ",", "4241", ",", "4243", ",", "4253", ",", "4259", ",", "4261", ",", "4271", ",", "4289", ",", "4327", ",", "4337", ",", "4363", ",", "4391", ",", "4397", ",", "4409", ",", "4421", ",", "4423", ",", "4457", ",", "4463", ",", "4493", ",", "4507", ",", "4517", ",", "4519", ",", "4547", ",", "4561", ",", "4591", ",", "4597", ",", "4603", ",", "4621", ",", "4637", ",", "4643", ",", "4649", ",", "4651", ",", "4657", ",", "4673", ",", "4691", ",", "4721", ",", "4729", ",", "4733", ",", "4751", ",", "4759", ",", "4783", ",", "4787", ",", "4793", ",", "4799", ",", "4801", ",", "4813", “，”，“4817”，“，”，“4831”，“，”，“4889”，“，”，“4903”，“，”，“4909”，“，”，“4919”，“，”，“4931”，“，”，“4937”，“，”，“4957”，“，”，“4967”，“，”，“4969”，",", "4987", ",", "4993", ",", "4999", ",", "5003", ",", "5039", ",", "5051", ",", "5059", ",", "5077", ",", "5081", ",", "5087", ",", "5107", ",", "5113", ",", "5119", ",", "5147", ",", "5153", ",", "5167", ",", "5171", ",", "5179", ",", "5189", ",", "5197", ",", "5231", ",", "5261", ",", "5279", ",", "5281", ",", "5303", ",", "5309", ",", "5323", ",", "5333", ",", "5351", ",", "5381", ",", "5387", ",", "5399", ",", "5413", “，”，“5417”，“，”，“5419”，“，”，“5431”，“，”，“5437”，“，”，“5441”，“，”，"5471", ",", "5483", ",", "5503", ",", "5507", ",", "5521", ",", "5531", ",", "5557", ",", "5563", ",", "5591", ",", "5651", ",", "5653", ",", "5657", ",", "5659", ",", "5669", ",", "5689", ",", "5693", ",", "5701", ",", "5711", ",", "5737", ",", "5779", ",", "5791", ",", "5821", ",", "5843", ",", "5849", ",", "5851", ",", "5861", ",", "5869", ",", "5879", ",", "5923", ",", "5927", ",", "5939", ",", "5981", ",", "5987", ",", "6007", ",", "6011", ",", "6029", ",", "6047", ",", "6053", ",", "6067", ",", "6073", ",", "6079", ",", "6101", ",", "6113", ",", "6163", ",", "6197", ",", "6211", ",", "6217", ",", "6221", ",", "6229", ",", "6271", ",", "6277", ",", "6287", ",", "6299", ",", "6301", ",", "6317", ",", "6323", ",", "6329", ",", "6337", ",", "6343", ",", "6353", ",", "6359", ",", "6361", ",", "6373", ",", "6421", ",", "6449", ",", "6451", ",", "6469", ",", "6473", ",", "6481", ",", "6491", ",", "6529", ",", "6551", ",", "6563", ",", "6569", ",", "6571", ",", "6599", ",", "6607", ",", "6619", ",", "6653", ",", "6661", ",", "6673", ",", "6691", ",", "6701", ",", "6709", ",", "6737", ",", "6761", ",", "6763", ",", "6791", ",", "6793", ",", "6803", ",", "6823", ",", "6829", ",", "6857", ",", "6863", ",", "6869", ",", "6871", ",", "6907", ",", "6911", ",", "6917", ",", "6959", ",", "6961", ",", "6967", ",", "6971", ",", "6977", ",", "6983", ",", "6991", ",", "6997", ",", "7013", ",", "7019", ",", "7027", ",", "7039", ",", "7043", ",", "7057", ",", "7079", ",", "7103", ",", "7121", ",", "7127", ",", "7129", ",", "7151", ",", "7159", ",", "7177", ",", "7187", ",", "7193", ",", "7207", ",", "7213", ",", "7219", ",", "7243", ",", "7309", ",", "7321", ",", "7331", ",", "7349", ",", "7369", ",", "7411", ",", "7417", ",", "7457", ",", "7487", ",", "7499", ",", "7517", ",", "7523", ",", "7541", ",", "7573", ",", "7577", ",", "7583", ",", "7589", ",", "7591", ",", "7603", ",", "7607", ",", "7621", ",", "7643", ",", "7649", ",", "7669", ",", "7673", ",", "7681", ",", "7691", ",", "7699", ",", "7703", ",", "7717", ",", "7741", ",", "7757", ",", "7759", “，”，“7789”，“，”，“7793”，“，”，“7817”，“，”，“7829”，“，”，“7853”，“，”，“7867”，“，”，“7901”，“，”，“7907”，“，”，“7919”，“，”，“7949”，“，”，“7951”，",", "7963", ",", "7993", ",", "8069", ",", "8081", ",", "8101", ",", "8117", ",", "8123", ",", "8147", ",", "8161", ",", "8167", ",", "8171", ",", "8179", ",", "8191", ",", "8209", ",", "8219", ",", "8221", ",", "8263", ",", "8269", ",", "8287", ",", "8291", ",", "8297", ",", "8317", ",", "8353", ",", "8363", ",", "8377", ",", "8387", ",", "8419", ",", "8423", ",", "8431", ",", "8443", ",", "8447", ",", "8467", ",", "8513", “，”，“8521”，“，”，“8539”，“，”，“8543”，“，”，“8597”，“，”，“8599”，“，”，"8623", ",", "8627", ",", "8629", ",", "8641", ",", "8677", ",", "8689", ",", "8693", ",", "8707", ",", "8713", ",", "8719", ",", "8741", ",", "8747", ",", "8803", ",", "8807", ",", "8819", ",", "8821", ",", "8831", ",", "8837", ",", "8839", ",", "8849", ",", "8861", ",", "8867", ",", "8887", ",", "8923", ",", "8933", ",", "8963", ",", "8999", ",", "9001", ",", "9007", ",", "9011", ",", "9013", ",", "9043", ",", "9103", ",", "9109", ",", "9127", ",", "9133", ",", "9151", ",", "9161", ",", "9181", ",", "9187", ",", "9203", ",", "9209", ",", "9221", ",", "9239", ",", "9241", ",", "9277", ",", "9281", ",", "9283", ",", "9311", ",", "9323", ",", "9341", ",", "9343", ",", "9349", ",", "9371", ",", "9377", ",", "9421", ",", "9433", ",", "9437", ",", "9439", ",", "9467", ",", "9473", ",", "9479", ",", "9491", ",", "9497", ",", "9511", ",", "9533", ",", "9547", ",", "9551", ",", "9587", ",", "9619", ",", "9629", ",", "9649", ",", "9661", ",", "9689", ",", "9697", ",", "9719", ",", "9739", ",", "9743", ",", "9749", ",", "9769", ",", "9803", ",", "9811", ",", "9817", ",", "9829", ",", "9833", ",", "9839", ",", "9871", ",", "9883", ",", "9901", ",", "9923", ",", "9931", ",", "9941", ",", "9967", ",", "9973"}], “}”}]]，“输出”，单元格更改时间->{3.7112096202006598`*^9}，表达式UUID->“9e9fb333-eaa-4450-9b20-\bcea7ae93fdd“]}，打开]]，单元格[BoxData[{样式框[行框[{行框[{“A005260”，“：”，“”，“s10”}]，“”}]，字体大小->16]，“\[IndentingNewLine]”，样式框[行框[{行框[{行框[{“{”，“}”}]，“--”}]，“在”，“”，“一些”，“，”阶段“}]，FontSize->12]}]，“输入”，单元格更改时间->{{3.7122463613890896`*^9，3.7122464098515806`*^9}{3.712247001305768*^9, 3.7122470041577373`*^9}}，表达式UUID->“5ca91fe8-2c45-4452-99de-\6de8511237f9“]，单元格[BoxData[样式框[RowBox[｛“A219692”，“：”，“s18”｝]，字体大小->16]]，“输入”，单元格更改时间->{{3.712246427282141*^9，3.7122464397293444`*^9}{3.7122470085127497`*^9, 3.7122470093464966`*^9}}，表达式UUID->“3a03e37f-3a25-498b-ac0f-\719f3af2487f“]，单元格[BoxData[样式框[行框[{行框[{行框[{“{”，“}”}]，“--”}]，“在”，“”，“一些”，“，”阶段“}]，字体大小->12]]，“输入”，表达式UUID->“96f59244-0d3f-4f12-8d9f-\d030c9074bfa“]，单元格[BoxData[{样式框[行框[{“A183204”，“：”，“”，“s7”}]，字体大小->16]，“\[IndentingNewLine]”，样式框[行框[{行框[{行框[{“{”，“}”}]，“--“}]，”全部“，”，“素数”，“”，“除法”，“，“在”，“”，“一些”，“，”阶段“}]，字体大小->12]，“\n”}]，“输入”，单元格更改时间->{3.7122469766057796`*^9，3.71224701982708*^9}}，表达式UUID->“4e64172e-0b78-4780-805f-\46060c7f3703“]}，打开]]},窗口大小->{1051，517}，窗口边距->{{-8，自动}，{自动，0}}，FrontEndVersion->“11.1 for Microsoft Windows（64位）（2017年4月18日）”，样式定义->“Default.nb”]（*笔记本内容结束*）（*内部缓存信息*）（*单元格标签大纲单元格标签索引->{}*)（*单元格标签索引单元格标签索引->{}*)（*笔记本文件大纲笔记本[{单元格[CellGroupData[{单元格[580，22，110，1，39，“子子集”，“表达式UUID”->\“1e78e16d-f1ed-4616-aedf-068cebd33e28”]，单元格[693，25，508，15，30，“输入”，“表达式UUID”->\“78179dde-812c-4d86-875a-c01a648418b6”]，单元格[1204，42，8192，234，506，“输入”，“表达式UUID”->\“29ad24ad-40bb-44b6-8f10-49df58270251”]}，打开]]，单元格[CellGroupData[{单元格[9433，281，296，4，39，“Subsubsection”，“ExpressionUUID”->\“0320e824-a2c0-4d5f-a148-a94df6c9a1be”]，单元格[CellGroupData[{单元格[9754，289，2396，74，126，“输入”，“表达式UUID”->\“49b512a1-f231-4862-85d0-1ca134fedfbf”]，单元格[12153365373,8,30，“输出”，“表达式UUID”->\“1b866992-38bb-4e97-babe-0c6775133018”]}，打开]]}，打开]]，单元格[CellGroupData[{单元格[12575，379，194，3，39，“Subsubsection”，“ExpressionUUID”->\“30d6ee9b-a7d1-4978-861c-f52dfce23ff7”]，单元格[12772，384，134，3，34，“输入”，“表达式UUID”->\“c6299cfa-0eb6-492e-a256-b1aaf0ffd8c0”]，单元格[CellGroupData[{单元格[1293139158213，30，“输入”，“表达式UUID”->\“2fb3c2ab-6314-4a7f-b419-4b8d10f0bff7”]，单元格[13516、406、5150、72、335，“输出”，“表达式UUID”->\“1328da9f-0db6-4faa-ba51-b138cd4925b2”]}，打开]]，单元格[18681，481，183，6，34，“输入”，“表达式UUID”->\“b3cdb088-e64c-494a-9143-6f23e729c445”]，单元格[CellGroupData[{单元格[18889，491，397，10，30，“输入”，“表达式UUID”->\“f2ff9772-dd3d-4d0b-bb37-678019f848c5”]，单元格[19289、503、5044、70、316，“输出”，“表达式UUID”->\“0331985b-cd20-46d8-98e2-f7e98b589900”]}，打开]]，单元格[24348576183,6,34，“输入”，“表达式UUID”->\“28bd0399-5f86-44a2-a6a6-c99626c0941”]，单元格[CellGroupData[{单元格[24556，586，347，9，30，“输入”，“表达式UUID”->\“bb740189-2d46-4cad-b470-82795ac506b7”]，单元格[24906，597，5092，71，335，“输出”，“表达式UUID”->\“78e4c569-8252-4741-9355-43c89b5bf576”]}，打开]]，单元格[30013，671，181，6，34，“输入”，“表达式UUID”->\“5ab7ef46-e5a0-4ecb-9db6-53f0008fbd11”]，单元格[CellGroupData[{单元格[30219，681，347，9，30，“输入”，“表达式UUID”->\“49320b61-a2a9-481d-bca2-4cbbc8d29066”]，单元格[30569、692、4841、68、316，“输出”，“表达式UUID”->\“6be34053-573a-494e-b6fc-3b758af444f4”]}，打开]]，单元格[35425，763，181，6，34，“输入”，“表达式UUID”->\“878f7336-a423-4385-9ff9-7a665541a9d1”]，单元格[CellGroupData[{单元格[35631、773、345、9、30，“输入”，“表达式UUID”->\“b2ce25be-e564-4865-8783-abcdd871829a”]，单元格[35979、784、5131、71、335，“输出”，“表达式UUID”->\“22d2aea6-d678-4265-ac61-e3c7efd141e3”]}，打开]]，单元格[41125，858，181，6，34，“输入”，“表达式UUID”->\“b0438781-f7ce-4f68-802b-38e2ca8ebc3b”]，单元格[CellGroupData[{单元格[41331，868，344，9，30，“输入”，“表达式UUID”->\“34ad7e0d-357f-4faf-af38-935887c7148c”]，单元格[41678、879、4986、68、335，“输出”，“表达式UUID”->\“5eb95b90-12b4-479d-a20d-49ab6e249789”]}，打开]]，单元格[46679，950，319，10，34，“输入”，“表达式UUID”->\“7114dd4e-e4ee-47ce-a59f-5c9df483396a”]，单元格[CellGroupData[{单元格[47023，964，352，9，30，“输入”，“表达式UUID”->\“a83690d7-2213-40de-95d8-656913bad5f8”]，细胞[44737897510476142677，“输出”，“表达UUID”->\“8418f653-f444-4140-91cd-823a7bcc2baa”]}，打开]]，单元格[57869，1120，426，13，34，“输入”，“表达式UUID”->\“ca7bb5be-e62a-4579-9f7b-97d2f053de09”]，单元格[CellGroupData[{单元格[58320，1137，352，9，30，“输入”，“表达式UUID”->\“37d0914f-18d8-4b54-81d5-1b282e4a439f”]，单元格[58675、1148、4971、68、316，“输出”，“表达式UUID”->\“d6f6cdfa-918f-4c82-8cfb-6dfc5f044ef7”]}，打开]]，单元格【63661，1219，183，6，34，“输入”，“表达UUID”->\“76b2e286-af7f-437b-8b3d-5643de4cbca8”]，单元格[CellGroupData[{单元格[63869，1229，352，9，30，“输入”，“表达式UUID”->\“0197aab8-2382-4ce9-badb-ffbb2ad6ebaf”]，单元格[64224、1240、10140、138、658，“输出”，“表达式UUID”->\“7b41cde0-d439-4c08-b589-fc22a2a613be”]}，打开]]，单元格[74379，1381，206，4，30，“输入”，“表达式UUID”->\“9d492892-7eba-4b2e-aa01-b07169d6b8b5”]，单元格[74588，1387，207，6，34，“输入”，“表达式UUID”->\“fd3add01-ec4f-4580-a012-fd21ff02c967”]，单元格[CellGroupData[{单元格[748201397354，9，30，“输入”，“表达式UUID”->\“529e80dd-b188-498b-8081-f2e9a0e8b4f4”]，单元格[75177、1408、10156、137、658，“输出”，“表达式UUID”->\“489a5968-0c1f-4314-973a-dc9b7f2da2c4”]}，打开]]，单元格[85348，1548，183，6，34，“输入”，“表达式UUID”->\“b3529c91-3830-495a-a322-979e8902df65”]，单元格[CellGroupData[{单元格[85556，1558，353，9，30，“输入”，“表达式UUID”->\“d2058093-52aa-4ba6-99d5-84a127b16cd5”]，单元格[85912，1569，10170，137，658，“输出”，“表达式UUID”->\“e841201b-c3af-42d7-89a1-a763c8b2c23a”]}，打开]]，单元格[96097，1709，237，7，37，“输入”，“表达式UUID”->\“89733df7-0f80-43b5-9127-89a40e02486d”]，单元格[CellGroupData[{单元格[96359，1720，352，9，30，“输入”，“表达式UUID”->\“4038e7bf-4f28-420a-8fd1-006e283bafeb”]，单元格[96714，1731，10442，142，677，“输出”，“表达式UUID”->\“397db50d-9580-4099-9148-c60e1e400c87”]}，打开]]，单元格[107171，1876，486，14，50，“输入”，“表达式UUID”->\“5ca91fe8-2c45-4452-99de-6de8511237f9”]，单元格[107660，1892，267，7，34，“输入”，“表达式UUID”->\“ad0f9fe6-19e6-4e4e-8149-87262ef02e5f”]，单元格[1079301901249，7，29，“输入”，“表达式UUID”->\“b8c648a9-2dd5-487d-ba6d-89aa5d024101”]，单元格[108182，1910，413，12，69，“输入”，“表达式UUID”->\“a2485387-1120-4c56-b641-50676f153dde”]}，打开]]}]*)