+3 f8361 (5|$#,)!
+3 f0 (8361|$#,)!
+3 f1171 (8361|$#,)!
+3 f0 (8351|0@0@2&#,)!
+3 f1 (8351|0@0@2&#,)!
+3 f0 (8356|0@0@2&#,)!
+3 f1 (8356|0@0@2&#,)!
+3 f0 (8361|0@0@2&#,)!
+3 f1 (8361|0@0@2&#,)!
+3 f0 (8361|$#,5|$#,5|$#,)!
+3 f8351 (8361|$#,5|$#,5|$#,)!
+3 f0 (8361|$#,5|$#,5|$#,5|$#,1171|0@5@2&#,)!
+3 f1 (8361|$#,5|$#,5|$#,5|$#,1171|0@5@2&#,)!
+3 f0 (8361|$#,5|$#,5|$#,5|$#,1171|0@5@2&#,)!
+3 f1 (8361|$#,5|$#,5|$#,5|$#,1171|0@5@2&#,)!
+3 f0 (8361|$#,5|$#,5|$#,1343|4@0@19@3@0#,)!
+3 f5 (8361|$#,5|$#,5|$#,1343|4@0@19@3@0#,)!
+3 f0 (8361|$#,5|$#,1343|4@0@19@3@0#,)!
+3 f5 (8361|$#,5|$#,1343|4@0@19@3@0#,)!
+3 f0 (1059|0@5@7&#,1171|0@5@2&#,1063|0@5@2&#,)!
+3 f1 (1059|0@5@7&#,1171|0@5@2&#,1063|0@5@2&#,)!
+3 f0 (1059|0@5@7&#,)!
+3 f1171 (1059|0@5@7&#,)!
+3 f0 (1171|0@5@2&#,2352|0@5@2&#,1111|0@5@2&#,8361|0@0@2&#,8361|0@0@2&#,1042|0@5@2&#,)!
+3 f1063 (1171|0@5@2&#,2352|0@5@2&#,1111|0@5@2&#,8361|0@0@2&#,8361|0@0@2&#,1042|0@5@2&#,)!
+3 f0 (1063|0@5@2&#,)!
+3 f1 (1063|0@5@2&#,)!
+3 f0 (1063|0@5@7&#,)!
+3 f1171 (1063|0@5@7&#,)!
+3 f0 (1063|0@5@7&#,5|$#,)!
+3 f1171 (1063|0@5@7&#,5|$#,)!
+3 f0 (1063|0@5@7&#,)!
+3 f1111 (1063|0@5@7&#,)!
+3 f0 (1063|0@5@7&#,)!
+3 f1171 (1063|0@5@7&#,)!
+3 f0 (1063|0@5@7&#,)!
+3 f1042 (1063|0@5@7&#,)!
+3 f0 (1063|0@5@7&#,)!
+3 f8361 (1063|0@5@7&#,)!
+3 f0 (1063|0@5@7&#,)!
+3 f8361 (1063|0@5@7&#,)!
+3 f0 (1063|0@5@7&#,8491|$#,)!
+3 f5 (1063|0@5@7&#,8491|$#,)!
+3 f0 (1063|0@5@7&#,1007|0@5@7&#,)!
+3 f5 (1063|0@5@7&#,1007|0@5@7&#,)!
+3 f0 (1063|0@5@7&#,)!
+3 f5 (1063|0@5@7&#,)!
+3 f0 (1063|0@5@7&#,8491|$#,5|$#,)!
+3 f1 (1063|0@5@7&#,8491|$#,5|$#,)!
+3 f0 (1063|0@5@7&#,5|$#,)!
+3 f1 (1063|0@5@7&#,5|$#,)!
+3 f0 (1063|0@5@7&#,5|$#,)!
+3 f1 (1063|0@5@7&#,5|$#,)!
+3 f0 (1063|0@5@7&#,5|$#,)!
+3 f1 (1063|0@5@7&#,5|$#,)!
+3 f0 (1063|0@5@7&#,)!
+3 f5 (1063|0@5@7&#,)!
+3 f0 (1063|0@5@7&#,)!
+3 f5 (1063|0@5@7&#,)!
+3 f0 (1063|0@5@7&#,)!
+3 f5 (1063|0@5@7&#,)!
+3 f0 (1060|0@5@7&#,)!
+3 f1171 (1060|0@5@7&#,)!
+3 f0 (1060|0@5@7&#,1051|0@5@2&#,)!
+3 f1 (1060|0@5@7&#,1051|0@5@2&#,)!
+3 f0 (1171|0@5@2&#,1063|0@5@18@2@0#,1111|0@5@2&#,5|$#,1042|0@5@2&#,)!
+3 f1051 (1171|0@5@2&#,1063|0@5@18@2@0#,1111|0@5@2&#,5|$#,1042|0@5@2&#,)!
+3 f0 (1051|0@5@2&#,)!
+3 f1 (1051|0@5@2&#,)!
+3 f0 (1051|0@5@7&#,)!
+3 f1171 (1051|0@5@7&#,)!
+3 f0 (1051|0@5@7&#,)!
+3 f1171 (1051|0@5@7&#,)!
+3 f0 (1051|0@5@7&#,)!
+3 f1063 (1051|0@5@7&#,)!
+3 f0 (1051|0@5@7&#,)!
+3 f1042 (1051|0@5@7&#,)!
+3 f0 (1051|0@5@7&#,)!
+3 f5 (1051|0@5@7&#,)!
+3 f0 (1051|0@5@7&#,1010|0@5@7&#,)!
+3 f2 (1051|0@5@7&#,1010|0@5@7&#,)!
+3 f0 (1051|0@5@7&#,1007|0@5@7&#,)!
+3 f2 (1051|0@5@7&#,1007|0@5@7&#,)!
+3 f0 (1051|0@5@7&#,)!
+3 f1171 (1051|0@5@7&#,)!
+3 f0 (315|$#,)!
+3 f1051 (315|$#,)!
+3 f0 (1018|$#,)!
+3 f1171 (1018|$#,)!
+3 f0 (5|$#,1171|0@5@2&#,1042|0@5@2&#,)!
+3 f1018 (5|$#,1171|0@5@2&#,1042|0@5@2&#,)!
+3 f0 (1018|$#,)!
+3 f1042 (1018|$#,)!
+3 f0 (1018|0@0@2&#,)!
+3 f1 (1018|0@0@2&#,)!
+3 f0 (1018|$#,)!
+3 f2 (1018|$#,)!
+3 f0 (1018|$#,)!
+3 f2 (1018|$#,)!
+3 f0 (1018|0@0@2&#,1108|0@5@2&#,)!
+3 f1102 (1018|0@0@2&#,1108|0@5@2&#,)!
+3 f0 (1102|$#,)!
+3 f1171 (1102|$#,)!
+3 f0 (1102|$#,2|$#,)!
+3 f1 (1102|$#,2|$#,)!
+3 f0 (1102|0@0@2&#,)!
+3 f1 (1102|0@0@2&#,)!
+3 f0 (1102|$#,)!
+3 f1042 (1102|$#,)!
+3 f0 (1102|$#,)!
+3 f1171 (1102|$#,)!
+3 f0 ()!
+3 f1108 ()!
+3 f0 (1108|0@5@2&#,1105|0@5@2&#,)!
+3 f1108 (1108|0@5@2&#,1105|0@5@2&#,)!
+3 f0 (1108|0@5@7&#,)!
+3 f1171 (1108|0@5@7&#,)!
+3 f0 (1108|0@5@7&#,8420|$#,)!
+3 f1105 (1108|0@5@7&#,8420|$#,)!
+3 f0 (1108|0@5@2&#,)!
+3 f1 (1108|0@5@2&#,)!
+3 f0 (8420|$#,20|0@5@2&#,)!
+3 f1105 (8420|$#,20|0@5@2&#,)!
+3 f0 (1111|0@5@2&#,)!
+3 f1105 (1111|0@5@2&#,)!
+3 f0 (1114|0@0@2&#,)!
+3 f1105 (1114|0@0@2&#,)!
+3 f0 (1117|0@0@2&#,)!
+3 f1105 (1117|0@0@2&#,)!
+3 f0 (1018|0@0@2&#,)!
+3 f1105 (1018|0@0@2&#,)!
+3 f0 (1126|0@0@2&#,)!
+3 f1105 (1126|0@0@2&#,)!
+3 f0 (1135|0@0@2&#,)!
+3 f1105 (1135|0@0@2&#,)!
+3 f0 (1147|0@5@2&#,)!
+3 f1105 (1147|0@5@2&#,)!
+3 f0 (1147|0@5@2&#,)!
+3 f1105 (1147|0@5@2&#,)!
+3 f0 (1147|0@5@2&#,)!
+3 f1105 (1147|0@5@2&#,)!
+3 f0 (1153|0@5@2&#,)!
+3 f1105 (1153|0@5@2&#,)!
+3 f0 (1105|0@5@7&#,)!
+3 f1171 (1105|0@5@7&#,)!
+3 f0 (1105|0@5@7&#,8420|$#,)!
+3 f2 (1105|0@5@7&#,8420|$#,)!
+3 f0 (1105|0@5@7&#,)!
+3 f1111 (1105|0@5@7&#,)!
+3 f0 (1105|0@5@7&#,)!
+3 f1111 (1105|0@5@7&#,)!
+3 f0 (1105|0@5@7&#,)!
+3 f1117 (1105|0@5@7&#,)!
+3 f0 (1105|0@5@7&#,)!
+3 f1171 (1105|0@5@7&#,)!
+3 f0 (1105|0@5@7&#,)!
+3 f1126 (1105|0@5@7&#,)!
+3 f0 (1105|0@5@7&#,)!
+3 f1135 (1105|0@5@7&#,)!
+3 f0 (1105|0@5@7&#,)!
+3 f1147 (1105|0@5@7&#,)!
+3 f0 (1105|0@5@7&#,)!
+3 f1147 (1105|0@5@7&#,)!
+3 f0 (1105|0@5@7&#,)!
+3 f1147 (1105|0@5@7&#,)!
+3 f0 (1105|0@5@7&#,)!
+3 f1153 (1105|0@5@7&#,)!
+3 f0 (1105|0@5@7&#,)!
+3 f1114 (1105|0@5@7&#,)!
+3 f0 (1105|0@5@2&#,)!
+3 f1 (1105|0@5@2&#,)!
+3 f0 (1111|0@5@7&#,1173|$#,)!
+3 f2 (1111|0@5@7&#,1173|$#,)!
+3 f0 (8491|$#,)!
+3 f1171 (8491|$#,)!
+3 f0 (8491|$#,1173|$#,)!
+3 f1111 (8491|$#,1173|$#,)!
+3 f0 ()!
+3 f1111 ()!
+3 f0 (1173|$#,)!
+3 f1111 (1173|$#,)!
+3 f0 (1173|$#,)!
+3 f1111 (1173|$#,)!
+3 f0 (1173|$#,)!
+3 f1111 (1173|$#,)!
+3 f0 (1173|$#,)!
+3 f1111 (1173|$#,)!
+3 f0 (1173|$#,)!
+3 f1111 (1173|$#,)!
+3 f0 (1173|$#,)!
+3 f1111 (1173|$#,)!
+3 f0 (1111|0@5@2&#,)!
+3 f1 (1111|0@5@2&#,)!
+3 f0 (1111|0@5@7&#,1010|0@5@7&#,)!
+3 f2 (1111|0@5@7&#,1010|0@5@7&#,)!
+3 f0 (1111|0@5@7&#,1007|0@5@7&#,)!
+3 f2 (1111|0@5@7&#,1007|0@5@7&#,)!
+3 f0 (1111|0@5@7&#,1007|0@5@7&#,)!
+3 f2 (1111|0@5@7&#,1007|0@5@7&#,)!
+3 f0 (1111|0@5@7&#,1173|$#,)!
+3 f2 (1111|0@5@7&#,1173|$#,)!
+3 f0 (1111|0@5@7&#,)!
+3 f1171 (1111|0@5@7&#,)!
+3 f0 (1111|0@5@7&#,)!
+3 f2 (1111|0@5@7&#,)!
+3 f0 (1111|0@5@7&#,)!
+3 f2 (1111|0@5@7&#,)!
+3 f0 (1111|0@5@7&#,)!
+3 f2 (1111|0@5@7&#,)!
+3 f0 (1111|0@5@7&#,)!
+3 f2 (1111|0@5@7&#,)!
+3 f0 (1111|0@5@7&#,)!
+3 f2 (1111|0@5@7&#,)!
+3 f0 (1111|0@5@7&#,)!
+3 f2 (1111|0@5@7&#,)!
+3 f0 (2352|0@5@2&#,)!
+3 f1114 (2352|0@5@2&#,)!
+3 f0 (1114|0@0@2&#,)!
+3 f1 (1114|0@0@2&#,)!
+3 f0 (1114|$#,)!
+3 f1171 (1114|$#,)!
+3 f0 (1018|0@0@2&#,1120|0@5@2&#,)!
+3 f1117 (1018|0@0@2&#,1120|0@5@2&#,)!
+3 f0 (1117|0@0@2&#,)!
+3 f1 (1117|0@0@2&#,)!
+3 f0 (1117|$#,)!
+3 f1171 (1117|$#,)!
+3 f0 (1129|0@5@2&#,)!
+3 f1126 (1129|0@5@2&#,)!
+3 f0 (1126|0@0@2&#,)!
+3 f1 (1126|0@0@2&#,)!
+3 f0 (1126|$#,)!
+3 f1171 (1126|$#,)!
+3 f0 (1141|0@5@2&#,)!
+3 f1135 (1141|0@5@2&#,)!
+3 f0 (1135|0@0@2&#,)!
+3 f1 (1135|0@0@2&#,)!
+3 f0 (1135|$#,)!
+3 f1171 (1135|$#,)!
+3 f0 ()!
+3 f1129 ()!
+3 f0 ()!
+3 f1129 ()!
+3 f0 (1129|0@2@7&#,)!
+3 f1 (1129|0@2@7&#,)!
+3 f0 (1132|0@0@4&#,)!
+3 f1129 (1132|0@0@4&#,)!
+3 f0 (1129|@5|0@5@7&#,1132|0@0@4&#,)!
+3 f1129 (1129|@5|0@5@7&#,1132|0@0@4&#,)!
+3 f0 (1129|@5|0@5@7&#,1132|0@0@4&#,)!
+3 f1129 (1129|@5|0@5@7&#,1132|0@0@4&#,)!
+3 f0 (1129|0@5@7&#,)!
+3 f1171 (1129|0@5@7&#,)!
+3 f0 (1129|0@5@7&#,1171|0@5@7&#,)!
+3 f1171 (1129|0@5@7&#,1171|0@5@7&#,)!
+3 f0 (1129|0@5@2&#,)!
+3 f1 (1129|0@5@2&#,)!
+3 f0 (1018|0@0@2&#,1111|0@5@2&#,1018|0@0@2&#,)!
+3 f1132 (1018|0@0@2&#,1111|0@5@2&#,1018|0@0@2&#,)!
+3 f0 (1132|$#,)!
+3 f1111 (1132|$#,)!
+3 f0 (1132|$#,)!
+3 f1171 (1132|$#,)!
+3 f0 ()!
+3 f1147 ()!
+3 f0 ()!
+3 f1147 ()!
+1 t1150|1150&
+3 f0 (1147|0@2@7&#,)!
+3 f1 (1147|0@2@7&#,)!
+3 f0 (1150|0@0@4&#,)!
+3 f1147 (1150|0@0@4&#,)!
+3 f0 (1147|@5|0@5@7&#,1150|0@0@4&#,)!
+3 f1147 (1147|@5|0@5@7&#,1150|0@0@4&#,)!
+3 f0 (1147|@5|0@5@7&#,1150|0@0@4&#,)!
+3 f1147 (1147|@5|0@5@7&#,1150|0@0@4&#,)!
+3 f0 (1147|0@5@7&#,)!
+3 f1171 (1147|0@5@7&#,)!
+3 f0 (1147|0@5@7&#,1171|0@5@7&#,)!
+3 f1171 (1147|0@5@7&#,1171|0@5@7&#,)!
+3 f0 (1147|0@5@2&#,)!
+3 f1 (1147|0@5@2&#,)!
+3 f0 (1018|0@0@2&#,1018|0@0@2&#,1159|0@0@2&#,)!
+3 f1150 (1018|0@0@2&#,1018|0@0@2&#,1159|0@0@2&#,)!
+3 f0 (1150|0@0@2&#,)!
+3 f1 (1150|0@0@2&#,)!
+3 f0 (1150|$#,)!
+3 f1171 (1150|$#,)!
+3 f0 (1018|0@0@2&#,)!
+3 f1159 (1018|0@0@2&#,)!
+3 f0 (1018|0@0@2&#,)!
+3 f1159 (1018|0@0@2&#,)!
+3 f0 (1018|0@0@2&#,)!
+3 f1159 (1018|0@0@2&#,)!
+3 f0 (1159|$#,)!
+3 f1171 (1159|$#,)!
+3 f0 (1159|$#,)!
+3 f1171 (1159|$#,)!
+3 f0 (1159|0@0@2&#,)!
+3 f1 (1159|0@0@2&#,)!
+3 f0 ()!
+3 f1153 ()!
+3 f0 ()!
+3 f1153 ()!
+1 t1156|1156&
+3 f0 (1153|0@2@7&#,)!
+3 f1 (1153|0@2@7&#,)!
+3 f0 (1156|0@0@4&#,)!
+3 f1153 (1156|0@0@4&#,)!
+3 f0 (1153|@5|0@5@7&#,1156|0@0@4&#,)!
+3 f1153 (1153|@5|0@5@7&#,1156|0@0@4&#,)!
+3 f0 (1153|@5|0@5@7&#,1156|0@0@4&#,)!
+3 f1153 (1153|@5|0@5@7&#,1156|0@0@4&#,)!
+3 f0 (1153|0@5@7&#,)!
+3 f1171 (1153|0@5@7&#,)!
+3 f0 (1153|0@5@7&#,1171|0@5@7&#,)!
+3 f1171 (1153|0@5@7&#,1171|0@5@7&#,)!
+3 f0 (1153|0@5@2&#,)!
+3 f1 (1153|0@5@2&#,)!
+3 f0 (1018|0@0@2&#,1159|0@0@2&#,)!
+3 f1156 (1018|0@0@2&#,1159|0@0@2&#,)!
+3 f0 (1156|0@0@2&#,)!
+3 f1 (1156|0@0@2&#,)!
+3 f0 (1156|$#,)!
+3 f1171 (1156|$#,)!
+3 f0 ()!
+3 f1120 ()!
+3 f0 ()!
+3 f1120 ()!
+1 t1123|1123&
+3 f0 (1120|0@2@7&#,)!
+3 f1 (1120|0@2@7&#,)!
+3 f0 (1123|0@0@4&#,)!
+3 f1120 (1123|0@0@4&#,)!
+3 f0 (1120|@5|0@5@7&#,1123|0@0@4&#,)!
+3 f1120 (1120|@5|0@5@7&#,1123|0@0@4&#,)!
+3 f0 (1120|@5|0@5@7&#,1123|0@0@4&#,)!
+3 f1120 (1120|@5|0@5@7&#,1123|0@0@4&#,)!
+3 f0 (1120|0@5@7&#,)!
+3 f1171 (1120|0@5@7&#,)!
+3 f0 (1120|0@5@7&#,1171|0@5@7&#,)!
+3 f1171 (1120|0@5@7&#,1171|0@5@7&#,)!
+3 f0 (1120|0@5@2&#,)!
+3 f1 (1120|0@5@2&#,)!
+3 f0 (1111|0@5@2&#,1018|0@0@2&#,)!
+3 f1123 (1111|0@5@2&#,1018|0@0@2&#,)!
+3 f0 (1123|0@0@2&#,)!
+3 f1 (1123|0@0@2&#,)!
+3 f0 (1123|$#,)!
+3 f1171 (1123|$#,)!
+3 f0 (1018|0@0@2&#,)!
+3 f1138 (1018|0@0@2&#,)!
+3 f0 (1018|0@0@2&#,)!
+3 f1138 (1018|0@0@2&#,)!
+3 f0 (1138|$#,)!
+3 f1171 (1138|$#,)!
+3 f0 (1138|0@0@2&#,)!
+3 f1 (1138|0@0@2&#,)!
+3 f0 (1138|0@0@2&#,1138|0@0@2&#,1159|0@0@2&#,)!
+3 f1144 (1138|0@0@2&#,1138|0@0@2&#,1159|0@0@2&#,)!
+3 f0 (1144|0@0@2&#,)!
+3 f1 (1144|0@0@2&#,)!
+3 f0 (1144|$#,)!
+3 f1171 (1144|$#,)!
+3 f0 ()!
+3 f1141 ()!
+3 f0 ()!
+3 f1141 ()!
+1 t1144|1144&
+3 f0 (1141|0@2@7&#,)!
+3 f1 (1141|0@2@7&#,)!
+3 f0 (1144|0@0@4&#,)!
+3 f1141 (1144|0@0@4&#,)!
+3 f0 (1141|@5|0@5@7&#,1144|0@0@4&#,)!
+3 f1141 (1141|@5|0@5@7&#,1144|0@0@4&#,)!
+3 f0 (1141|@5|0@5@7&#,1144|0@0@4&#,)!
+3 f1141 (1141|@5|0@5@7&#,1144|0@0@4&#,)!
+3 f0 (1141|0@5@7&#,)!
+3 f1171 (1141|0@5@7&#,)!
+3 f0 (1141|0@5@7&#,1171|0@5@7&#,)!
+3 f1171 (1141|0@5@7&#,1171|0@5@7&#,)!
+3 f0 (1141|0@5@2&#,)!
+3 f1 (1141|0@5@2&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|@5|0@5@7&#,)!
+3 f1027 (1027|@5|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1010|0@5@7&#,2|$#,1027|0@2@7&#,)!
+3 f1 (1010|0@5@7&#,2|$#,1027|0@2@7&#,)!
+3 f0 (1027|0@5@7&#,1007|0@5@19@2@0#,)!
+3 f1 (1027|0@5@7&#,1007|0@5@19@2@0#,)!
+3 f0 (1173|$#,1027|0@5@7&#,)!
+3 f2 (1173|$#,1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1027 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@2&#,2100|0@0@2&#,)!
+3 f1027 (1027|0@5@2&#,2100|0@0@2&#,)!
+3 f0 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,1027|0@2@7&#,4269|$#,5|$#,1010|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,1027|0@2@7&#,4269|$#,5|$#,1010|0@5@7&#,)!
+3 f0 (1027|0@2@7&#,1027|0@2@7&#,)!
+3 f1 (1027|0@2@7&#,1027|0@2@7&#,)!
+3 f0 (1173|$#,1173|$#,2100|$#,1027|0@2@7&#,1027|0@2@7&#,1042|0@5@7&#,1042|0@5@7&#,)!
+3 f1 (1173|$#,1173|$#,2100|$#,1027|0@2@7&#,1027|0@2@7&#,1042|0@5@7&#,1042|0@5@7&#,)!
+3 f0 (1173|$#,1173|$#,1173|$#,1173|$#,1027|0@2@7&#,1027|0@2@7&#,2100|$#,)!
+3 f1173 (1173|$#,1173|$#,1173|$#,1173|$#,1027|0@2@7&#,1027|0@2@7&#,2100|$#,)!
+3 f0 (1027|0@2@7&#,1027|0@2@7&#,2|$#,)!
+3 f1 (1027|0@2@7&#,1027|0@2@7&#,2|$#,)!
+3 f0 (1027|0@5@7&#,1007|0@5@19@2@0#,)!
+3 f1 (1027|0@5@7&#,1007|0@5@19@2@0#,)!
+3 f0 (1027|0@2@7&#,2|$#,)!
+3 f1 (1027|0@2@7&#,2|$#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@18&#,)!
+3 f10189 (1027|0@5@18&#,)!
+3 f0 (1027|0@5@7&#,1171|0@5@18&#,)!
+3 f1 (1027|0@5@7&#,1171|0@5@18&#,)!
+3 f0 (1027|0@5@7&#,1007|0@5@19@2@0#,1042|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,1007|0@5@19@2@0#,1042|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,1027|0@5@7&#,1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,1027|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1010|0@5@19@3@0#,)!
+3 f1027 (1010|0@5@19@3@0#,)!
+3 f0 (1027|0@2@18&#,1171|0@5@18&#,4826|0@5@7&#,4269|$#,2|$#,1033|0@5@7&#,2|$#,5|$#,)!
+3 f1 (1027|0@2@18&#,1171|0@5@18&#,4826|0@5@7&#,4269|$#,2|$#,1033|0@5@7&#,2|$#,5|$#,)!
+3 f0 (1010|0@5@7&#,1027|0@2@7&#,1027|0@5@18&#,2|$#,5|$#,5|$#,)!
+3 f1 (1010|0@5@7&#,1027|0@2@7&#,1027|0@5@18&#,2|$#,5|$#,5|$#,)!
+3 f0 (1027|0@2@18&#,4826|0@5@7&#,4269|$#,)!
+3 f1 (1027|0@2@18&#,4826|0@5@7&#,4269|$#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1027 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1171 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1171 (1027|0@5@7&#,)!
+3 f0 (1027|@5|0@5@7&#,)!
+3 f1027 (1027|@5|0@5@7&#,)!
+3 f0 (1010|0@5@7&#,1027|0@5@18&#,4826|0@5@7&#,4269|$#,2|$#,1027|0@5@7&#,)!
+3 f5 (1010|0@5@7&#,1027|0@5@18&#,4826|0@5@7&#,4269|$#,2|$#,1027|0@5@7&#,)!
+3 f0 (1027|@7|0@5@7&#,1027|@7|0@5@7&#,)!
+3 f1 (1027|@7|0@5@7&#,1027|@7|0@5@7&#,)!
+3 f0 (1027|@7|15@2@1&#,)!
+3 f1 (1027|@7|15@2@1&#,)!
+3 f0 ()!
+3 f1 ()!
+3 f0 ()!
+3 f1 ()!
+3 f0 (1027|0@2@7&#,)!
+3 f1 (1027|0@2@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1027 (1027|0@5@7&#,)!
+3 f0 (4|$#,)!
+3 f2 (4|$#,)!
+3 f0 (1027|0@2@7&#,1027|0@2@7&#,1027|0@2@7&#,)!
+3 f1 (1027|0@2@7&#,1027|0@2@7&#,1027|0@2@7&#,)!
+3 f0 (7557|$#,)!
+3 f2 (7557|$#,)!
+3 f0 (1027|0@5@2&#,)!
+3 f1 (1027|0@5@2&#,)!
+3 f0 (1027|0@5@2&#,)!
+3 f1 (1027|0@5@2&#,)!
+3 f0 (1027|0@5@2&#,)!
+3 f1 (1027|0@5@2&#,)!
+3 f0 ()!
+3 f1027 ()!
+3 f0 ()!
+3 f1027 ()!
+3 f0 (1173|$#,)!
+3 f1027 (1173|$#,)!
+3 f0 ()!
+3 f1027 ()!
+3 f0 (1173|$#,)!
+3 f1027 (1173|$#,)!
+3 f0 ()!
+3 f1027 ()!
+3 f0 (1173|$#,1042|0@5@4&#,)!
+3 f1027 (1173|$#,1042|0@5@4&#,)!
+3 f0 (1027|15@2@1&#,1027|0@5@7&#,)!
+3 f1 (1027|15@2@1&#,1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,1042|0@5@2&#,)!
+3 f1027 (1027|0@5@7&#,1042|0@5@2&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1027 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1027 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1027 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@2@7&#,)!
+3 f2 (1027|0@2@7&#,)!
+3 f0 (1173|$#,1171|0@5@6&#,1042|0@5@2&#,9|$#,)!
+3 f1027 (1173|$#,1171|0@5@6&#,1042|0@5@2&#,9|$#,)!
+3 f0 (4|$#,1171|0@5@7&#,1042|0@5@2&#,)!
+3 f1027 (4|$#,1171|0@5@7&#,1042|0@5@2&#,)!
+3 f0 (17|$#,1173|$#,1171|0@5@7&#,1042|0@5@2&#,)!
+3 f1027 (17|$#,1173|$#,1171|0@5@7&#,1042|0@5@2&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f5656 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f0 (1171|0@5@2&#,1042|0@5@2&#,)!
+3 f1027 (1171|0@5@2&#,1042|0@5@2&#,)!
+3 f0 (1171|0@5@2&#,1042|0@5@2&#,)!
+3 f1027 (1171|0@5@2&#,1042|0@5@2&#,)!
+3 f0 (1171|0@5@7&#,)!
+3 f1027 (1171|0@5@7&#,)!
+3 f0 (1010|0@5@19@3@0#,)!
+3 f1027 (1010|0@5@19@3@0#,)!
+3 f0 (1010|0@5@19@3@0#,)!
+3 f1027 (1010|0@5@19@3@0#,)!
+3 f0 (1010|0@5@19@3@0#,)!
+3 f1027 (1010|0@5@19@3@0#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f0 (1010|0@5@7&#,1027|0@5@18&#,1173|$#,4269|$#,1027|0@5@7&#,)!
+3 f5 (1010|0@5@7&#,1027|0@5@18&#,1173|$#,4269|$#,1027|0@5@7&#,)!
+3 f0 (1027|0@2@18&#,1010|0@5@7&#,4269|$#,1027|0@5@7&#,5|$#,)!
+3 f1 (1027|0@2@18&#,1010|0@5@7&#,4269|$#,1027|0@5@7&#,5|$#,)!
+3 f0 (1027|0@2@18&#,1010|0@5@7&#,4269|$#,1027|0@5@7&#,5|$#,)!
+3 f1 (1027|0@2@18&#,1010|0@5@7&#,4269|$#,1027|0@5@7&#,5|$#,)!
+3 f0 (1027|0@2@18&#,1010|0@5@7&#,4269|$#,5|$#,)!
+3 f1 (1027|0@2@18&#,1010|0@5@7&#,4269|$#,5|$#,)!
+3 f0 (1027|0@2@7&#,1027|0@2@7&#,1033|0@5@7&#,1033|0@5@7&#,2100|$#,1682|$#,)!
+3 f1 (1027|0@2@7&#,1027|0@2@7&#,1033|0@5@7&#,1033|0@5@7&#,2100|$#,1682|$#,)!
+3 f0 (1027|0@5@7&#,1027|0@5@7&#,2100|$#,)!
+3 f1 (1027|0@5@7&#,1027|0@5@7&#,2100|$#,)!
+3 f0 (1027|0@5@7&#,4269|$#,)!
+3 f1 (1027|0@5@7&#,4269|$#,)!
+3 f0 (1010|0@5@7&#,1027|0@5@18&#,4826|0@5@7&#,4269|$#,2|$#,1027|0@5@7&#,)!
+3 f5 (1010|0@5@7&#,1027|0@5@18&#,4826|0@5@7&#,4269|$#,2|$#,1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,4269|$#,1027|0@2@7&#,5|$#,)!
+3 f1 (1027|0@5@7&#,4269|$#,1027|0@2@7&#,5|$#,)!
+3 f0 (1027|0@5@7&#,4269|$#,)!
+3 f1 (1027|0@5@7&#,4269|$#,)!
+3 f0 (1027|0@2@18&#,1010|0@5@7&#,4269|$#,1027|0@2@7&#,5|$#,)!
+3 f1 (1027|0@2@18&#,1010|0@5@7&#,4269|$#,1027|0@2@7&#,5|$#,)!
+3 f0 (1010|0@5@7&#,2|$#,1027|0@2@7&#,)!
+3 f1 (1010|0@5@7&#,2|$#,1027|0@2@7&#,)!
+3 f0 (1027|0@5@7&#,1010|0@5@7&#,1027|0@5@7&#,4269|$#,)!
+3 f1 (1027|0@5@7&#,1010|0@5@7&#,1027|0@5@7&#,4269|$#,)!
+3 f0 (1010|0@5@7&#,1027|0@5@7&#,4269|$#,)!
+3 f1 (1010|0@5@7&#,1027|0@5@7&#,4269|$#,)!
+3 f0 (1027|0@2@2&#,1173|$#,4269|0@0@4&#,)!
+3 f1027 (1027|0@2@2&#,1173|$#,4269|0@0@4&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1010 (1027|0@5@7&#,)!
+3 f0 (2100|$#,4269|0@0@2&#,)!
+3 f1027 (2100|$#,4269|0@0@2&#,)!
+3 f0 (1027|0@5@2&#,4269|0@0@2&#,)!
+3 f1027 (1027|0@5@2&#,4269|0@0@2&#,)!
+3 f0 (1027|0@5@2&#,1042|0@5@19@3@0#,1171|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,1042|0@5@19@3@0#,1171|0@5@2&#,)!
+3 f0 (1027|0@5@2&#,2100|0@0@2&#,1171|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,2100|0@0@2&#,1171|0@5@2&#,)!
+3 f0 (2100|0@0@2&#,1027|0@5@2&#,)!
+3 f1027 (2100|0@0@2&#,1027|0@5@2&#,)!
+3 f0 (1027|0@5@2&#,1042|0@5@19@3@0#,1171|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,1042|0@5@19@3@0#,1171|0@5@2&#,)!
+3 f0 (1027|0@5@2&#,2100|0@0@2&#,1171|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,2100|0@0@2&#,1171|0@5@2&#,)!
+3 f0 (1027|0@5@2&#,2100|0@0@2&#,)!
+3 f1027 (1027|0@5@2&#,2100|0@0@2&#,)!
+3 f0 (1027|0@5@2&#,2100|0@0@2&#,)!
+3 f1027 (1027|0@5@2&#,2100|0@0@2&#,)!
+3 f0 ()!
+3 f1173 ()!
+3 f0 (5570|0@5@2&#,)!
+3 f1027 (5570|0@5@2&#,)!
+3 f0 (5570|0@5@2&#,)!
+3 f1027 (5570|0@5@2&#,)!
+3 f0 (5570|0@5@2&#,2352|0@5@2&#,)!
+3 f1027 (5570|0@5@2&#,2352|0@5@2&#,)!
+3 f0 (1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,)!
+3 f0 (1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,)!
+3 f0 (2100|0@0@2&#,1027|0@5@2&#,5570|0@5@2&#,)!
+3 f1027 (2100|0@0@2&#,1027|0@5@2&#,5570|0@5@2&#,)!
+3 f0 (2100|$#,)!
+3 f2 (2100|$#,)!
+3 f0 (1027|0@2@7&#,1027|0@2@7&#,1027|0@2@7&#,2100|$#,)!
+3 f2 (1027|0@2@7&#,1027|0@2@7&#,1027|0@2@7&#,2100|$#,)!
+3 f0 (1027|0@5@4&#,1027|0@5@4&#,2100|0@0@4&#,)!
+3 f1027 (1027|0@5@4&#,1027|0@5@4&#,2100|0@0@4&#,)!
+3 f0 (1027|0@5@2&#,1027|0@5@4&#,2100|0@0@2&#,)!
+3 f1027 (1027|0@5@2&#,1027|0@5@4&#,2100|0@0@2&#,)!
+3 f0 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1027|0@5@2&#,1027|0@5@2&#,2100|0@0@2&#,)!
+3 f1027 (1027|0@5@2&#,1027|0@5@2&#,2100|0@0@2&#,)!
+3 f0 (1027|0@5@4&#,1027|0@5@4&#,1027|0@5@4&#,)!
+3 f1027 (1027|0@5@4&#,1027|0@5@4&#,1027|0@5@4&#,)!
+3 f0 (2100|0@0@2&#,1027|0@5@2&#,5570|0@5@2&#,)!
+3 f1027 (2100|0@0@2&#,1027|0@5@2&#,5570|0@5@2&#,)!
+3 f0 (1171|0@5@2&#,)!
+3 f1027 (1171|0@5@2&#,)!
+3 f0 (1027|@5|0@5@7&#,)!
+3 f1027 (1027|@5|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@2&#,2|$#,)!
+3 f1027 (1027|0@5@2&#,2|$#,)!
+3 f0 (2100|0@0@2&#,2|$#,)!
+3 f1027 (2100|0@0@2&#,2|$#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f0 (2100|0@0@2&#,)!
+3 f1027 (2100|0@0@2&#,)!
+3 f0 (1027|0@5@2&#,2100|0@0@2&#,)!
+3 f1027 (1027|0@5@2&#,2100|0@0@2&#,)!
+3 f0 (1027|0@5@2&#,2100|0@0@2&#,)!
+3 f1027 (1027|0@5@2&#,2100|0@0@2&#,)!
+3 f0 (1027|@5|0@5@7&#,)!
+3 f1027 (1027|@5|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f0 (1027|0@5@2&#,1027|0@5@2&#,1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,1027|0@5@2&#,1027|0@5@2&#,)!
+3 f0 (1027|0@5@7&#,1027|0@5@18&#,21|4@0@7&#,)!
+3 f2 (1027|0@5@7&#,1027|0@5@18&#,21|4@0@7&#,)!
+3 f0 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f0 (1027|0@2@7&#,1027|0@2@7&#,)!
+3 f1 (1027|0@2@7&#,1027|0@2@7&#,)!
+3 f0 (1027|0@5@4&#,1027|0@5@4&#,)!
+3 f1027 (1027|0@5@4&#,1027|0@5@4&#,)!
+3 f0 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f0 (1027|0@5@4&#,1027|0@5@4&#,)!
+3 f1027 (1027|0@5@4&#,1027|0@5@4&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1030 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,)!
+3 f0 (1027|0@5@2&#,1027|0@5@2&#,1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,1027|0@5@2&#,1027|0@5@2&#,)!
+3 f0 (1171|0@5@2&#,)!
+3 f1027 (1171|0@5@2&#,)!
+3 f0 (2100|0@0@2&#,5|$#,)!
+3 f1027 (2100|0@0@2&#,5|$#,)!
+3 f0 (2100|0@0@2&#,5|$#,)!
+3 f1027 (2100|0@0@2&#,5|$#,)!
+3 f0 (2100|0@0@2&#,)!
+3 f1027 (2100|0@0@2&#,)!
+3 f0 (1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,)!
+3 f0 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f1027 (1027|0@5@2&#,1027|0@5@2&#,)!
+3 f0 (1027|0@2@7&#,1027|0@5@7&#,)!
+3 f2 (1027|0@2@7&#,1027|0@5@7&#,)!
+3 f0 (1021|0@5@6&#,)!
+3 f1027 (1021|0@5@6&#,)!
+3 f0 (1021|0@5@2&#,)!
+3 f1027 (1021|0@5@2&#,)!
+3 f0 (1021|0@5@2&#,1027|0@5@2&#,)!
+3 f1027 (1021|0@5@2&#,1027|0@5@2&#,)!
+3 f0 (1010|0@5@19@3@0#,4269|0@0@2&#,1027|0@5@2&#,1010|0@5@19@3@0#,)!
+3 f1027 (1010|0@5@19@3@0#,4269|0@0@2&#,1027|0@5@2&#,1010|0@5@19@3@0#,)!
+3 f0 (1171|0@5@2&#,)!
+3 f1027 (1171|0@5@2&#,)!
+3 f0 (1027|@5|0@5@7&#,)!
+3 f1027 (1027|@5|0@5@7&#,)!
+3 f0 (1010|0@5@19@3@0#,)!
+3 f1027 (1010|0@5@19@3@0#,)!
+3 f0 (1010|0@5@19@3@0#,4269|0@0@2&#,)!
+3 f1027 (1010|0@5@19@3@0#,4269|0@0@2&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1007 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1171 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@6&#,)!
+3 f1171 (1027|0@5@6&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1042 (1027|0@5@7&#,)!
+3 f0 (4269|$#,)!
+3 f4269 (4269|$#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1027 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1171 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1171 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1173|$#,1027|0@5@7&#,)!
+3 f2 (1173|$#,1027|0@5@7&#,)!
+3 f0 (1173|$#,1027|0@5@7&#,)!
+3 f2 (1173|$#,1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1173|$#,1027|0@5@7&#,)!
+3 f2 (1173|$#,1027|0@5@7&#,)!
+3 f0 (1027|0@5@18&#,)!
+3 f10189 (1027|0@5@18&#,)!
+3 f0 (1027|@5|0@5@7&#,)!
+3 f1027 (1027|@5|0@5@7&#,)!
+3 f0 (1027|@5|0@5@7&#,)!
+3 f1027 (1027|@5|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,1027|0@5@7&#,1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,1027|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,1007|0@5@19@2@0#,)!
+3 f1 (1027|0@5@7&#,1007|0@5@19@2@0#,)!
+3 f0 (1027|0@5@7&#,1007|0@5@19@2@0#,1042|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,1007|0@5@19@2@0#,1042|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,1007|0@5@19@2@0#,)!
+3 f1 (1027|0@5@7&#,1007|0@5@19@2@0#,)!
+3 f0 (1027|0@5@7&#,1171|0@5@18&#,)!
+3 f1 (1027|0@5@7&#,1171|0@5@18&#,)!
+3 f0 (1027|0@5@7&#,1007|0@5@19@2@0#,)!
+3 f1 (1027|0@5@7&#,1007|0@5@19@2@0#,)!
+3 f0 (1027|0@5@7&#,1007|0@5@19@2@0#,)!
+3 f1 (1027|0@5@7&#,1007|0@5@19@2@0#,)!
+3 f0 (1027|0@2@18&#,4826|0@5@7&#,4269|$#,)!
+3 f1 (1027|0@2@18&#,4826|0@5@7&#,4269|$#,)!
+3 f0 (1010|0@5@7&#,1027|0@2@7&#,1027|0@5@18&#,2|$#,5|$#,5|$#,)!
+3 f1 (1010|0@5@7&#,1027|0@2@7&#,1027|0@5@18&#,2|$#,5|$#,5|$#,)!
+3 f0 (1027|0@2@18&#,1171|0@5@18&#,4826|0@5@7&#,4269|$#,2|$#,1033|0@5@7&#,2|$#,5|$#,)!
+3 f1 (1027|0@2@18&#,1171|0@5@18&#,4826|0@5@7&#,4269|$#,2|$#,1033|0@5@7&#,2|$#,5|$#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,)!
+3 f0 (1173|$#,1173|$#,1173|$#,1173|$#,1027|0@2@7&#,1027|0@2@7&#,2100|$#,)!
+3 f1173 (1173|$#,1173|$#,1173|$#,1173|$#,1027|0@2@7&#,1027|0@2@7&#,2100|$#,)!
+3 f0 (1173|$#,1173|$#,2100|$#,1027|0@2@7&#,1027|0@2@7&#,1042|0@5@7&#,1042|0@5@7&#,)!
+3 f1 (1173|$#,1173|$#,2100|$#,1027|0@2@7&#,1027|0@2@7&#,1042|0@5@7&#,1042|0@5@7&#,)!
+3 f0 (1007|0@5@7&#,1007|0@5@7&#,1027|0@2@7&#,1027|0@2@7&#,1173|$#,1007|0@5@7&#,)!
+3 f1 (1007|0@5@7&#,1007|0@5@7&#,1027|0@2@7&#,1027|0@2@7&#,1173|$#,1007|0@5@7&#,)!
+3 f0 (1027|0@2@7&#,1027|0@2@7&#,2|$#,)!
+3 f1 (1027|0@2@7&#,1027|0@2@7&#,2|$#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,)!
+3 f0 (1027|0@2@7&#,2|$#,)!
+3 f1 (1027|0@2@7&#,2|$#,)!
+3 f0 (1027|0@2@7&#,1027|0@2@7&#,)!
+3 f1 (1027|0@2@7&#,1027|0@2@7&#,)!
+3 f0 (1027|@5|0@5@7&#,1042|0@5@6&#,)!
+3 f1027 (1027|@5|0@5@7&#,1042|0@5@6&#,)!
+3 f0 (1027|0@5@7&#,1027|0@2@7&#,4269|$#,5|$#,1010|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,1027|0@2@7&#,4269|$#,5|$#,1010|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f9 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1042 (1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1042 (1027|0@5@7&#,)!
+3 f0 (1173|$#,)!
+3 f1027 (1173|$#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f2 (1027|0@5@7&#,)!
+3 f0 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f2 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f2 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f2 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1027|0@2@7&#,)!
+3 f1 (1027|0@2@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,)!
+3 f0 (1007|0@5@7&#,1027|0@2@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f2 (1007|0@5@7&#,1027|0@2@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1007|0@5@7&#,1027|0@2@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f2 (1007|0@5@7&#,1027|0@2@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1042|0@5@7&#,)!
+3 f1 (1042|0@5@7&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,)!
+3 f0 (1171|0@5@7&#,1027|0@5@7&#,)!
+3 f1 (1171|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1160|0@5@7&#,1160|0@5@7&#,)!
+3 f1 (1160|0@5@7&#,1160|0@5@7&#,)!
+3 f0 (1033|0@5@7&#,1010|0@5@7&#,)!
+3 f1 (1033|0@5@7&#,1010|0@5@7&#,)!
+3 f0 (1027|0@5@2&#,)!
+3 f1 (1027|0@5@2&#,)!
+3 f0 (1027|0@5@7&#,)!
+3 f1 (1027|0@5@7&#,)!
+3 f0 (1010|0@5@7&#,1027|0@5@2&#,)!
+3 f1 (1010|0@5@7&#,1027|0@5@2&#,)!
+3 f0 ()!
+3 f1 ()!
+3 f0 (1027|0@5@2&#,)!
+3 f1 (1027|0@5@2&#,)!
+3 f0 (1027|0@5@2&#,)!
+3 f1 (1027|0@5@2&#,)!
+3 f0 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f2 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f2 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f2 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f2 (1007|0@5@19@2@0#,1027|0@5@7&#,1007|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1007|0@5@7&#,4269|$#,1027|0@5@7&#,1027|0@5@7&#,)!
+3 f1 (1007|0@5@7&#,4269|$#,1027|0@5@7&#,1027|0@5@7&#,)!
+3 f0 (1010|0@5@7&#,)!
+3 f1 (1010|0@5@7&#,)!
+3 f0 (1027|0@2@7&#,)!
+3 f1 (1027|0@2@7&#,)!