\beginnet{fms_spn_N_le15} \const{\type{integer}\name{N}} \const{\type{integer}\name{np}\value{3*N/2}} \place{P_0}{\name{P1}\init{N}} \place{P_1}{\name{P1wM1}\init{0}} \place{P_2}{\name{P1M1}\init{0}} \place{P_3}{\name{M1}\init{3}} \place{P_4}{\name{P1s}\init{0}} \place{P_5}{\name{P12s}\init{0}} \place{P_6}{\name{P12M3}\init{0}} \place{P_7}{\name{M3}\init{2}} \place{P_8}{\name{P12wM3}\init{0}} \place{P_9}{\name{P12}\init{0}} \place{P_10}{\name{P1wP2}\init{0}} \place{P_11}{\name{P2wP1}\init{0}} \place{P_12}{\name{P2}\init{N}} \place{P_13}{\name{P2wM2}\init{0}} \place{P_14}{\name{P2M2}\init{0}} \place{P_15}{\name{M2}\init{1}} \place{P_16}{\name{P2s}\init{0}} \place{P_17}{\name{P3}\init{N}} \place{P_18}{\name{P3M2}\init{0}} \place{P_19}{\name{P3s}\init{0}} \transition{T_0}{\name{tP3} \function{P3 * max (1 , np / ( P1 + P2 + P3 + P12 ) )}} \transition{T_1}{\name{tP3M2} \function{0.5}} \transition{T_2}{\name{tP1_1} \function{P1*max(1,np/(P1+P2+P3+P12))}} \transition{T_3}{\name{tP1_2} \function{P1*max(1,np/(P1+P2+P3+P12))}} \transition{T_4}{\name{tP1M1_1_P1e} \function{0.2*P1M1}} \transition{T_5}{\name{tP1M1_2_P1e} \function{0.2*P1M1}} \transition{T_6}{\name{tP2_1} \function{P2*max(1,np/(P1+P2+P3+P12))}} \transition{T_7}{\name{tP2_2} \function{P2*max(1,np/(P1+P2+P3+P12))}} \transition{T_8}{\name{tP2M2_1_P2j_1} \function{1/15}} \transition{T_9}{\name{tP2M2_2_P2j_1} \function{1/15}} \transition{T_10}{\name{tP12_2} \function{P12*max(1,np/(P1+P2+P3+P12))}} \transition{T_11}{\name{tP12_1} \function{P12*max(1,np/(P1+P2+P3+P12))}} \transition{T_12}{\name{tP12M3_1} \function{P12M3}} \transition{T_13}{\name{tP12M3_2} \function{P12M3}} \transition{T_14}{\name{tP1M1_1_P1j_1} \function{0.05 * P1M1}} \transition{T_15}{\name{tP1M1_2_P1j} \function{0.05*P1M1}} \transition{T_16}{\name{tP2M2_1_P2e} \function{0.1}} \transition{T_17}{\name{tP2M2_2_P2e} \function{0.1}} \transition{T_18}{\name{tP1M1_1_P1j_2} \function{0.05*P1M1}} \transition{T_19}{\name{tP1M1_2_P1j_2} \function{0.05*P1M1}} \transition{T_20}{\name{tP2M2_2_P2j_2} \function{1/15}} \transition{T_21}{\name{tP2M2_1_P2j_2} \function{1/15}} \transition{T_22}{\name{P1_eq_1} \function{1/60}} \transition{T_23}{\name{P1s_eq_2} \function{1/60}} \transition{T_24}{\name{P1s_eq_3} \function{1/60}} \transition{T_25}{\name{Ps1_eq_4} \function{1/60}} \transition{T_26}{\name{Ps1_eq_5} \function{1/60}} \transition{T_27}{\name{P12s_eq_1} \function{1/60}} \transition{T_28}{\name{P12s_eq_2} \function{1/60}} \transition{T_29}{\name{P12s_eq_3} \function{1/60}} \transition{T_30}{\name{P12s_eq_4} \function{1/60}} \transition{T_31}{\name{P12s_eq_5} \function{1/60}} \transition{T_32}{\name{P3s_eq_1} \function{1/60}} \transition{T_33}{\name{P3s_eq_3} \function{1/60}} \transition{T_34}{\name{P3s_eq_4} \function{1/60}} \transition{T_35}{\name{P3s_eq_5} \function{1/60}} \transition{T_36}{\name{P3s_eq_2} \function{1/60}} \transition{T_37}{\name{P2s_eq_1} \function{1/60}} \transition{T_38}{\name{P2s_eq_4} \function{1/60}} \transition{T_39}{\name{P2s_eq_5} \function{1/60}} \transition{T_40}{\name{P2s_eq_2} \function{1/60}} \transition{T_41}{\name{P2s_eq_3} \function{1/60}} \transition{T_42}{\name{P1s_eq_6} \function{1/60}} \transition{T_43}{\name{P1s_eq_7} \function{1/60}} \transition{T_44}{\name{P1s_eq_8} \function{1/60}} \transition{T_45}{\name{P12s_eq_6} \function{1/60}} \transition{T_46}{\name{P12s_eq_7} \function{1/60}} \transition{T_47}{\name{P12s_eq_8} \function{1/60}} \transition{T_48}{\name{P3s_eq_6} \function{1/60}} \transition{T_49}{\name{P3s_eq_7} \function{1/60}} \transition{T_50}{\name{P3s_eq_8} \function{1/60}} \transition{T_51}{\name{P2s_eq_6} \function{1/60}} \transition{T_52}{\name{P2s_eq_7} \function{1/60}} \transition{T_53}{\name{P2s_eq_8} \function{1/60}} \transition{T_54}{\name{P2s_eq_9} \function{1/60}} \transition{T_55}{\name{P2s_eq_10} \function{1/60}} \transition{T_56}{\name{P3s_eq_9} \function{1/60}} \transition{T_57}{\name{P3s_eq_10} \function{1/60}} \transition{T_58}{\name{P12s_eq_9} \function{1/60}} \transition{T_59}{\name{P12s_eq_10} \function{1/60}} \transition{T_60}{\name{P1s_eq_10} \function{1/60}} \transition{T_61}{\name{P1s_eq_9} \function{1/60}} \transition{T_62}{\name{P2s_eq_11} \function{1/60}} \transition{T_63}{\name{PS_eq_12} \function{1/60}} \transition{T_64}{\name{P2s_eq_13} \function{1/60}} \transition{T_65}{\name{P2s_eq_14} \function{1/60}} \transition{T_66}{\name{P2s_eq_15} \function{1/60}} \transition{T_67}{\name{P3s_eq_11} \function{1/60}} \transition{T_68}{\name{P3s_eq12} \function{1/60}} \transition{T_69}{\name{P3s_eq_13} \function{1/60}} \transition{T_70}{\name{P3s_eq_14} \function{1/60}} \transition{T_71}{\name{P3s_eq_15} \function{1/60}} \transition{T_72}{\name{P12s_eq_12} \function{1/60}} \transition{T_73}{\name{P12s_eq_14} \function{1/60}} \transition{T_74}{\name{P12s_eq_11} \function{1/60}} \transition{T_75}{\name{P12_eq_13} \function{1/60}} \transition{T_76}{\name{P12_eq_15} \function{1/60}} \transition{T_77}{\name{P1s_eq_11} \function{1/60}} \transition{T_78}{\name{P1s_eq_12} \function{1/60}} \transition{T_79}{\name{P1s_eq_13} \function{1/60}} \transition{T_80}{\name{P1s_eq_14} \function{1/60}} \transition{T_81}{\name{P1s_eq_15} \function{1/60}} \arc{A_0}{\from{P_17} \to{T_0} \weight{1} \type{ordinary}} \arc{A_1}{\from{P_0} \to{T_0} \weight{1} \type{modifierarc}} \arc{A_2}{\from{P_12} \to{T_0} \weight{1} \type{modifierarc}} \arc{A_3}{\from{P_9} \to{T_0} \weight{1} \type{modifierarc}} \arc{A_4}{\from{T_0} \to{P_18} \weight{1} \type{ordinary}} \arc{A_5}{\from{P_15} \to{T_1} \weight{1} \type{ordinary}} \arc{A_6}{\from{P_18} \to{T_1} \weight{1} \type{ordinary}} \arc{A_7}{\from{T_1} \to{P_15} \weight{1} \type{ordinary}} \arc{A_8}{\from{T_1} \to{P_19} \weight{1} \type{ordinary}} \arc{A_9}{\from{P_0} \to{T_2} \weight{1} \type{ordinary}} \arc{A_10}{\from{P_3} \to{T_2} \weight{1} \type{ordinary}} \arc{A_11}{\from{P_12} \to{T_2} \weight{1} \type{modifierarc}} \arc{A_12}{\from{P_9} \to{T_2} \weight{1} \type{modifierarc}} \arc{A_13}{\from{P_17} \to{T_2} \weight{1} \type{modifierarc}} \arc{A_14}{\from{T_2} \to{P_2} \weight{1} \type{ordinary}} \arc{A_15}{\from{P_0} \to{T_3} \weight{1} \type{ordinary}} \arc{A_16}{\from{P_3} \to{T_3} \weight{1} \type{inhibitor}} \arc{A_17}{\from{P_12} \to{T_3} \weight{1} \type{modifierarc}} \arc{A_18}{\from{P_9} \to{T_3} \weight{1} \type{modifierarc}} \arc{A_19}{\from{P_17} \to{T_3} \weight{1} \type{modifierarc}} \arc{A_20}{\from{T_3} \to{P_1} \weight{1} \type{ordinary}} \arc{A_21}{\from{P_1} \to{T_4} \weight{1} \type{ordinary}} \arc{A_22}{\from{P_2} \to{T_4} \weight{1} \type{readarc}} \arc{A_23}{\from{P_3} \to{T_4} \weight{1} \type{inhibitor}} \arc{A_24}{\from{T_4} \to{P_4} \weight{1} \type{ordinary}} \arc{A_25}{\from{P_2} \to{T_5} \weight{1} \type{ordinary}} \arc{A_26}{\from{P_1} \to{T_5} \weight{1} \type{inhibitor}} \arc{A_27}{\from{T_5} \to{P_3} \weight{1} \type{ordinary}} \arc{A_28}{\from{T_5} \to{P_4} \weight{1} \type{ordinary}} \arc{A_29}{\from{P_12} \to{T_6} \weight{1} \type{ordinary}} \arc{A_30}{\from{P_15} \to{T_6} \weight{1} \type{ordinary}} \arc{A_31}{\from{P_0} \to{T_6} \weight{1} \type{modifierarc}} \arc{A_32}{\from{P_9} \to{T_6} \weight{1} \type{modifierarc}} \arc{A_33}{\from{P_17} \to{T_6} \weight{1} \type{modifierarc}} \arc{A_34}{\from{T_6} \to{P_14} \weight{1} \type{ordinary}} \arc{A_35}{\from{P_12} \to{T_7} \weight{1} \type{ordinary}} \arc{A_36}{\from{P_15} \to{T_7} \weight{1} \type{inhibitor}} \arc{A_37}{\from{P_0} \to{T_7} \weight{1} \type{modifierarc}} \arc{A_38}{\from{P_9} \to{T_7} \weight{1} \type{modifierarc}} \arc{A_39}{\from{P_17} \to{T_7} \weight{1} \type{modifierarc}} \arc{A_40}{\from{T_7} \to{P_13} \weight{1} \type{ordinary}} \arc{A_41}{\from{P_13} \to{T_8} \weight{1} \type{ordinary}} \arc{A_42}{\from{P_14} \to{T_8} \weight{1} \type{readarc}} \arc{A_43}{\from{P_15} \to{T_8} \weight{1} \type{inhibitor}} \arc{A_44}{\from{P_10} \to{T_8} \weight{1} \type{inhibitor}} \arc{A_45}{\from{T_8} \to{P_11} \weight{1} \type{ordinary}} \arc{A_46}{\from{P_14} \to{T_9} \weight{1} \type{ordinary}} \arc{A_47}{\from{P_13} \to{T_9} \weight{1} \type{inhibitor}} \arc{A_48}{\from{P_10} \to{T_9} \weight{1} \type{inhibitor}} \arc{A_49}{\from{T_9} \to{P_15} \weight{1} \type{ordinary}} \arc{A_50}{\from{T_9} \to{P_11} \weight{1} \type{ordinary}} \arc{A_51}{\from{P_9} \to{T_10} \weight{1} \type{ordinary}} \arc{A_52}{\from{P_7} \to{T_10} \weight{1} \type{inhibitor}} \arc{A_53}{\from{P_0} \to{T_10} \weight{1} \type{modifierarc}} \arc{A_54}{\from{P_17} \to{T_10} \weight{1} \type{modifierarc}} \arc{A_55}{\from{P_12} \to{T_10} \weight{1} \type{modifierarc}} \arc{A_56}{\from{T_10} \to{P_8} \weight{1} \type{ordinary}} \arc{A_57}{\from{P_9} \to{T_11} \weight{1} \type{ordinary}} \arc{A_58}{\from{P_7} \to{T_11} \weight{1} \type{ordinary}} \arc{A_59}{\from{P_0} \to{T_11} \weight{1} \type{modifierarc}} \arc{A_60}{\from{P_12} \to{T_11} \weight{1} \type{modifierarc}} \arc{A_61}{\from{P_17} \to{T_11} \weight{1} \type{modifierarc}} \arc{A_62}{\from{T_11} \to{P_6} \weight{1} \type{ordinary}} \arc{A_63}{\from{P_8} \to{T_12} \weight{1} \type{ordinary}} \arc{A_64}{\from{P_6} \to{T_12} \weight{1} \type{readarc}} \arc{A_65}{\from{P_7} \to{T_12} \weight{1} \type{inhibitor}} \arc{A_66}{\from{T_12} \to{P_5} \weight{1} \type{ordinary}} \arc{A_67}{\from{P_6} \to{T_13} \weight{1} \type{ordinary}} \arc{A_68}{\from{P_8} \to{T_13} \weight{1} \type{inhibitor}} \arc{A_69}{\from{T_13} \to{P_7} \weight{1} \type{ordinary}} \arc{A_70}{\from{T_13} \to{P_5} \weight{1} \type{ordinary}} \arc{A_71}{\from{P_1} \to{T_14} \weight{1} \type{ordinary}} \arc{A_72}{\from{P_2} \to{T_14} \weight{1} \type{readarc}} \arc{A_73}{\from{P_3} \to{T_14} \weight{1} \type{inhibitor}} \arc{A_74}{\from{P_11} \to{T_14} \weight{1} \type{inhibitor}} \arc{A_75}{\from{T_14} \to{P_10} \weight{1} \type{ordinary}} \arc{A_76}{\from{P_2} \to{T_15} \weight{1} \type{ordinary}} \arc{A_77}{\from{P_1} \to{T_15} \weight{1} \type{inhibitor}} \arc{A_78}{\from{P_11} \to{T_15} \weight{1} \type{inhibitor}} \arc{A_79}{\from{T_15} \to{P_10} \weight{1} \type{ordinary}} \arc{A_80}{\from{T_15} \to{P_3} \weight{1} \type{ordinary}} \arc{A_81}{\from{P_13} \to{T_16} \weight{1} \type{ordinary}} \arc{A_82}{\from{P_14} \to{T_16} \weight{1} \type{readarc}} \arc{A_83}{\from{P_15} \to{T_16} \weight{1} \type{inhibitor}} \arc{A_84}{\from{T_16} \to{P_16} \weight{1} \type{ordinary}} \arc{A_85}{\from{P_14} \to{T_17} \weight{1} \type{ordinary}} \arc{A_86}{\from{P_13} \to{T_17} \weight{1} \type{inhibitor}} \arc{A_87}{\from{T_17} \to{P_16} \weight{1} \type{ordinary}} \arc{A_88}{\from{T_17} \to{P_15} \weight{1} \type{ordinary}} \arc{A_89}{\from{P_1} \to{T_18} \weight{1} \type{ordinary}} \arc{A_90}{\from{P_11} \to{T_18} \weight{1} \type{ordinary}} \arc{A_91}{\from{P_2} \to{T_18} \weight{1} \type{readarc}} \arc{A_92}{\from{P_3} \to{T_18} \weight{1} \type{inhibitor}} \arc{A_93}{\from{T_18} \to{P_9} \weight{1} \type{ordinary}} \arc{A_94}{\from{P_2} \to{T_19} \weight{1} \type{ordinary}} \arc{A_95}{\from{P_11} \to{T_19} \weight{1} \type{ordinary}} \arc{A_96}{\from{P_1} \to{T_19} \weight{1} \type{inhibitor}} \arc{A_97}{\from{T_19} \to{P_3} \weight{1} \type{ordinary}} \arc{A_98}{\from{T_19} \to{P_9} \weight{1} \type{ordinary}} \arc{A_99}{\from{P_14} \to{T_20} \weight{1} \type{ordinary}} \arc{A_100}{\from{P_10} \to{T_20} \weight{1} \type{ordinary}} \arc{A_101}{\from{P_13} \to{T_20} \weight{1} \type{inhibitor}} \arc{A_102}{\from{T_20} \to{P_15} \weight{1} \type{ordinary}} \arc{A_103}{\from{T_20} \to{P_9} \weight{1} \type{ordinary}} \arc{A_104}{\from{P_13} \to{T_21} \weight{1} \type{ordinary}} \arc{A_105}{\from{P_10} \to{T_21} \weight{1} \type{ordinary}} \arc{A_106}{\from{P_14} \to{T_21} \weight{1} \type{readarc}} \arc{A_107}{\from{P_15} \to{T_21} \weight{1} \type{inhibitor}} \arc{A_108}{\from{T_21} \to{P_9} \weight{1} \type{ordinary}} \arc{A_109}{\from{P_4} \to{T_22} \weight{1} \type{ordinary}} \arc{A_110}{\from{P_4} \to{T_22} \weight{1} \type{equalarc}} \arc{A_111}{\from{T_22} \to{P_0} \weight{1} \type{ordinary}} \arc{A_112}{\from{P_4} \to{T_23} \weight{2} \type{ordinary}} \arc{A_113}{\from{P_4} \to{T_23} \weight{2} \type{equalarc}} \arc{A_114}{\from{T_23} \to{P_0} \weight{2} \type{ordinary}} \arc{A_115}{\from{P_4} \to{T_24} \weight{3} \type{ordinary}} \arc{A_116}{\from{P_4} \to{T_24} \weight{3} \type{equalarc}} \arc{A_117}{\from{T_24} \to{P_0} \weight{3} \type{ordinary}} \arc{A_118}{\from{P_4} \to{T_25} \weight{4} \type{ordinary}} \arc{A_119}{\from{P_4} \to{T_25} \weight{4} \type{equalarc}} \arc{A_120}{\from{T_25} \to{P_0} \weight{4} \type{ordinary}} \arc{A_121}{\from{P_4} \to{T_26} \weight{5} \type{ordinary}} \arc{A_122}{\from{P_4} \to{T_26} \weight{5} \type{equalarc}} \arc{A_123}{\from{T_26} \to{P_0} \weight{5} \type{ordinary}} \arc{A_124}{\from{P_5} \to{T_27} \weight{1} \type{ordinary}} \arc{A_125}{\from{P_5} \to{T_27} \weight{1} \type{equalarc}} \arc{A_126}{\from{T_27} \to{P_0} \weight{1} \type{ordinary}} \arc{A_127}{\from{T_27} \to{P_12} \weight{1} \type{ordinary}} \arc{A_128}{\from{P_5} \to{T_28} \weight{2} \type{ordinary}} \arc{A_129}{\from{P_5} \to{T_28} \weight{2} \type{equalarc}} \arc{A_130}{\from{T_28} \to{P_0} \weight{2} \type{ordinary}} \arc{A_131}{\from{T_28} \to{P_12} \weight{2} \type{ordinary}} \arc{A_132}{\from{P_5} \to{T_29} \weight{3} \type{ordinary}} \arc{A_133}{\from{P_5} \to{T_29} \weight{3} \type{equalarc}} \arc{A_134}{\from{T_29} \to{P_12} \weight{3} \type{ordinary}} \arc{A_135}{\from{T_29} \to{P_0} \weight{3} \type{ordinary}} \arc{A_136}{\from{P_5} \to{T_30} \weight{4} \type{ordinary}} \arc{A_137}{\from{P_5} \to{T_30} \weight{4} \type{equalarc}} \arc{A_138}{\from{T_30} \to{P_0} \weight{4} \type{ordinary}} \arc{A_139}{\from{T_30} \to{P_12} \weight{4} \type{ordinary}} \arc{A_140}{\from{P_5} \to{T_31} \weight{5} \type{ordinary}} \arc{A_141}{\from{P_5} \to{T_31} \weight{5} \type{equalarc}} \arc{A_142}{\from{T_31} \to{P_12} \weight{5} \type{ordinary}} \arc{A_143}{\from{T_31} \to{P_0} \weight{5} \type{ordinary}} \arc{A_144}{\from{P_19} \to{T_32} \weight{1} \type{ordinary}} \arc{A_145}{\from{P_19} \to{T_32} \weight{1} \type{equalarc}} \arc{A_146}{\from{T_32} \to{P_17} \weight{1} \type{ordinary}} \arc{A_147}{\from{P_19} \to{T_33} \weight{3} \type{ordinary}} \arc{A_148}{\from{P_19} \to{T_33} \weight{3} \type{equalarc}} \arc{A_149}{\from{T_33} \to{P_17} \weight{3} \type{ordinary}} \arc{A_150}{\from{P_19} \to{T_34} \weight{4} \type{ordinary}} \arc{A_151}{\from{P_19} \to{T_34} \weight{4} \type{equalarc}} \arc{A_152}{\from{T_34} \to{P_17} \weight{4} \type{ordinary}} \arc{A_153}{\from{P_19} \to{T_35} \weight{5} \type{ordinary}} \arc{A_154}{\from{P_19} \to{T_35} \weight{5} \type{equalarc}} \arc{A_155}{\from{T_35} \to{P_17} \weight{5} \type{ordinary}} \arc{A_156}{\from{P_19} \to{T_36} \weight{2} \type{ordinary}} \arc{A_157}{\from{P_19} \to{T_36} \weight{2} \type{equalarc}} \arc{A_158}{\from{T_36} \to{P_17} \weight{2} \type{ordinary}} \arc{A_159}{\from{P_16} \to{T_37} \weight{1} \type{ordinary}} \arc{A_160}{\from{P_16} \to{T_37} \weight{1} \type{equalarc}} \arc{A_161}{\from{T_37} \to{P_12} \weight{1} \type{ordinary}} \arc{A_162}{\from{P_16} \to{T_38} \weight{4} \type{ordinary}} \arc{A_163}{\from{P_16} \to{T_38} \weight{4} \type{equalarc}} \arc{A_164}{\from{T_38} \to{P_12} \weight{4} \type{ordinary}} \arc{A_165}{\from{P_16} \to{T_39} \weight{5} \type{ordinary}} \arc{A_166}{\from{P_16} \to{T_39} \weight{5} \type{equalarc}} \arc{A_167}{\from{T_39} \to{P_12} \weight{5} \type{ordinary}} \arc{A_168}{\from{P_16} \to{T_40} \weight{2} \type{ordinary}} \arc{A_169}{\from{P_16} \to{T_40} \weight{2} \type{equalarc}} \arc{A_170}{\from{T_40} \to{P_12} \weight{2} \type{ordinary}} \arc{A_171}{\from{P_16} \to{T_41} \weight{3} \type{ordinary}} \arc{A_172}{\from{P_16} \to{T_41} \weight{3} \type{equalarc}} \arc{A_173}{\from{T_41} \to{P_12} \weight{3} \type{ordinary}} \arc{A_174}{\from{P_4} \to{T_42} \weight{6} \type{ordinary}} \arc{A_175}{\from{P_4} \to{T_42} \weight{6} \type{equalarc}} \arc{A_176}{\from{T_42} \to{P_0} \weight{6} \type{ordinary}} \arc{A_177}{\from{P_4} \to{T_43} \weight{7} \type{ordinary}} \arc{A_178}{\from{P_4} \to{T_43} \weight{7} \type{equalarc}} \arc{A_179}{\from{T_43} \to{P_0} \weight{7} \type{ordinary}} \arc{A_180}{\from{P_4} \to{T_44} \weight{8} \type{ordinary}} \arc{A_181}{\from{P_4} \to{T_44} \weight{8} \type{equalarc}} \arc{A_182}{\from{T_44} \to{P_0} \weight{8} \type{ordinary}} \arc{A_183}{\from{P_5} \to{T_45} \weight{6} \type{ordinary}} \arc{A_184}{\from{P_5} \to{T_45} \weight{6} \type{equalarc}} \arc{A_185}{\from{T_45} \to{P_12} \weight{6} \type{ordinary}} \arc{A_186}{\from{T_45} \to{P_0} \weight{6} \type{ordinary}} \arc{A_187}{\from{P_5} \to{T_46} \weight{7} \type{ordinary}} \arc{A_188}{\from{P_5} \to{T_46} \weight{7} \type{equalarc}} \arc{A_189}{\from{T_46} \to{P_12} \weight{7} \type{ordinary}} \arc{A_190}{\from{T_46} \to{P_0} \weight{7} \type{ordinary}} \arc{A_191}{\from{P_5} \to{T_47} \weight{8} \type{ordinary}} \arc{A_192}{\from{P_5} \to{T_47} \weight{8} \type{equalarc}} \arc{A_193}{\from{T_47} \to{P_12} \weight{8} \type{ordinary}} \arc{A_194}{\from{T_47} \to{P_0} \weight{8} \type{ordinary}} \arc{A_195}{\from{P_19} \to{T_48} \weight{6} \type{ordinary}} \arc{A_196}{\from{P_19} \to{T_48} \weight{6} \type{equalarc}} \arc{A_197}{\from{T_48} \to{P_17} \weight{6} \type{ordinary}} \arc{A_198}{\from{P_19} \to{T_49} \weight{7} \type{ordinary}} \arc{A_199}{\from{P_19} \to{T_49} \weight{7} \type{equalarc}} \arc{A_200}{\from{T_49} \to{P_17} \weight{7} \type{ordinary}} \arc{A_201}{\from{P_19} \to{T_50} \weight{8} \type{ordinary}} \arc{A_202}{\from{P_19} \to{T_50} \weight{8} \type{equalarc}} \arc{A_203}{\from{T_50} \to{P_17} \weight{8} \type{ordinary}} \arc{A_204}{\from{P_16} \to{T_51} \weight{6} \type{ordinary}} \arc{A_205}{\from{P_16} \to{T_51} \weight{6} \type{equalarc}} \arc{A_206}{\from{T_51} \to{P_12} \weight{6} \type{ordinary}} \arc{A_207}{\from{P_16} \to{T_52} \weight{7} \type{ordinary}} \arc{A_208}{\from{P_16} \to{T_52} \weight{7} \type{equalarc}} \arc{A_209}{\from{T_52} \to{P_12} \weight{7} \type{ordinary}} \arc{A_210}{\from{P_16} \to{T_53} \weight{8} \type{ordinary}} \arc{A_211}{\from{P_16} \to{T_53} \weight{8} \type{equalarc}} \arc{A_212}{\from{T_53} \to{P_12} \weight{8} \type{ordinary}} \arc{A_213}{\from{P_16} \to{T_54} \weight{9} \type{ordinary}} \arc{A_214}{\from{P_16} \to{T_54} \weight{9} \type{equalarc}} \arc{A_215}{\from{T_54} \to{P_12} \weight{9} \type{ordinary}} \arc{A_216}{\from{P_16} \to{T_55} \weight{10} \type{ordinary}} \arc{A_217}{\from{P_16} \to{T_55} \weight{10} \type{equalarc}} \arc{A_218}{\from{T_55} \to{P_12} \weight{10} \type{ordinary}} \arc{A_219}{\from{P_19} \to{T_56} \weight{9} \type{ordinary}} \arc{A_220}{\from{P_19} \to{T_56} \weight{9} \type{equalarc}} \arc{A_221}{\from{T_56} \to{P_17} \weight{9} \type{ordinary}} \arc{A_222}{\from{P_19} \to{T_57} \weight{10} \type{ordinary}} \arc{A_223}{\from{P_19} \to{T_57} \weight{10} \type{equalarc}} \arc{A_224}{\from{T_57} \to{P_17} \weight{10} \type{ordinary}} \arc{A_225}{\from{P_5} \to{T_58} \weight{9} \type{ordinary}} \arc{A_226}{\from{P_5} \to{T_58} \weight{9} \type{equalarc}} \arc{A_227}{\from{T_58} \to{P_12} \weight{9} \type{ordinary}} \arc{A_228}{\from{T_58} \to{P_0} \weight{9} \type{ordinary}} \arc{A_229}{\from{P_5} \to{T_59} \weight{10} \type{ordinary}} \arc{A_230}{\from{P_5} \to{T_59} \weight{10} \type{equalarc}} \arc{A_231}{\from{T_59} \to{P_0} \weight{10} \type{ordinary}} \arc{A_232}{\from{T_59} \to{P_12} \weight{10} \type{ordinary}} \arc{A_233}{\from{P_4} \to{T_60} \weight{10} \type{ordinary}} \arc{A_234}{\from{P_4} \to{T_60} \weight{10} \type{equalarc}} \arc{A_235}{\from{T_60} \to{P_0} \weight{10} \type{ordinary}} \arc{A_236}{\from{P_4} \to{T_61} \weight{9} \type{ordinary}} \arc{A_237}{\from{P_4} \to{T_61} \weight{9} \type{equalarc}} \arc{A_238}{\from{T_61} \to{P_0} \weight{9} \type{ordinary}} \arc{A_239}{\from{P_16} \to{T_62} \weight{11} \type{ordinary}} \arc{A_240}{\from{P_16} \to{T_62} \weight{11} \type{equalarc}} \arc{A_241}{\from{T_62} \to{P_12} \weight{11} \type{ordinary}} \arc{A_242}{\from{P_16} \to{T_63} \weight{12} \type{ordinary}} \arc{A_243}{\from{P_16} \to{T_63} \weight{12} \type{equalarc}} \arc{A_244}{\from{T_63} \to{P_12} \weight{12} \type{ordinary}} \arc{A_245}{\from{P_16} \to{T_64} \weight{13} \type{ordinary}} \arc{A_246}{\from{P_16} \to{T_64} \weight{13} \type{equalarc}} \arc{A_247}{\from{T_64} \to{P_12} \weight{13} \type{ordinary}} \arc{A_248}{\from{P_16} \to{T_65} \weight{14} \type{ordinary}} \arc{A_249}{\from{P_16} \to{T_65} \weight{14} \type{equalarc}} \arc{A_250}{\from{T_65} \to{P_12} \weight{14} \type{ordinary}} \arc{A_251}{\from{P_16} \to{T_66} \weight{15} \type{ordinary}} \arc{A_252}{\from{P_16} \to{T_66} \weight{15} \type{equalarc}} \arc{A_253}{\from{T_66} \to{P_12} \weight{15} \type{ordinary}} \arc{A_254}{\from{P_19} \to{T_67} \weight{11} \type{ordinary}} \arc{A_255}{\from{P_19} \to{T_67} \weight{11} \type{equalarc}} \arc{A_256}{\from{T_67} \to{P_17} \weight{11} \type{ordinary}} \arc{A_257}{\from{P_19} \to{T_68} \weight{12} \type{ordinary}} \arc{A_258}{\from{P_19} \to{T_68} \weight{12} \type{equalarc}} \arc{A_259}{\from{T_68} \to{P_17} \weight{12} \type{ordinary}} \arc{A_260}{\from{P_19} \to{T_69} \weight{13} \type{ordinary}} \arc{A_261}{\from{P_19} \to{T_69} \weight{13} \type{equalarc}} \arc{A_262}{\from{T_69} \to{P_17} \weight{13} \type{ordinary}} \arc{A_263}{\from{P_19} \to{T_70} \weight{14} \type{ordinary}} \arc{A_264}{\from{P_19} \to{T_70} \weight{14} \type{equalarc}} \arc{A_265}{\from{T_70} \to{P_17} \weight{14} \type{ordinary}} \arc{A_266}{\from{P_19} \to{T_71} \weight{15} \type{ordinary}} \arc{A_267}{\from{P_19} \to{T_71} \weight{15} \type{equalarc}} \arc{A_268}{\from{T_71} \to{P_17} \weight{15} \type{ordinary}} \arc{A_269}{\from{P_5} \to{T_72} \weight{12} \type{ordinary}} \arc{A_270}{\from{P_5} \to{T_72} \weight{12} \type{equalarc}} \arc{A_271}{\from{T_72} \to{P_0} \weight{12} \type{ordinary}} \arc{A_272}{\from{T_72} \to{P_12} \weight{12} \type{ordinary}} \arc{A_273}{\from{P_5} \to{T_73} \weight{14} \type{ordinary}} \arc{A_274}{\from{P_5} \to{T_73} \weight{14} \type{equalarc}} \arc{A_275}{\from{T_73} \to{P_0} \weight{14} \type{ordinary}} \arc{A_276}{\from{T_73} \to{P_12} \weight{14} \type{ordinary}} \arc{A_277}{\from{P_5} \to{T_74} \weight{11} \type{ordinary}} \arc{A_278}{\from{P_5} \to{T_74} \weight{11} \type{equalarc}} \arc{A_279}{\from{T_74} \to{P_12} \weight{11} \type{ordinary}} \arc{A_280}{\from{T_74} \to{P_0} \weight{11} \type{ordinary}} \arc{A_281}{\from{P_5} \to{T_75} \weight{13} \type{ordinary}} \arc{A_282}{\from{P_5} \to{T_75} \weight{13} \type{equalarc}} \arc{A_283}{\from{T_75} \to{P_12} \weight{13} \type{ordinary}} \arc{A_284}{\from{T_75} \to{P_0} \weight{13} \type{ordinary}} \arc{A_285}{\from{P_5} \to{T_76} \weight{15} \type{ordinary}} \arc{A_286}{\from{P_5} \to{T_76} \weight{15} \type{equalarc}} \arc{A_287}{\from{T_76} \to{P_12} \weight{15} \type{ordinary}} \arc{A_288}{\from{T_76} \to{P_0} \weight{15} \type{ordinary}} \arc{A_289}{\from{P_4} \to{T_77} \weight{11} \type{ordinary}} \arc{A_290}{\from{P_4} \to{T_77} \weight{11} \type{equalarc}} \arc{A_291}{\from{T_77} \to{P_0} \weight{11} \type{ordinary}} \arc{A_292}{\from{P_4} \to{T_78} \weight{12} \type{ordinary}} \arc{A_293}{\from{P_4} \to{T_78} \weight{12} \type{equalarc}} \arc{A_294}{\from{T_78} \to{P_0} \weight{12} \type{ordinary}} \arc{A_295}{\from{P_4} \to{T_79} \weight{13} \type{ordinary}} \arc{A_296}{\from{P_4} \to{T_79} \weight{13} \type{equalarc}} \arc{A_297}{\from{T_79} \to{P_0} \weight{13} \type{ordinary}} \arc{A_298}{\from{P_4} \to{T_80} \weight{14} \type{ordinary}} \arc{A_299}{\from{P_4} \to{T_80} \weight{14} \type{equalarc}} \arc{A_300}{\from{T_80} \to{P_0} \weight{14} \type{ordinary}} \arc{A_301}{\from{P_4} \to{T_81} \weight{15} \type{ordinary}} \arc{A_302}{\from{P_4} \to{T_81} \weight{15} \type{equalarc}} \arc{A_303}{\from{T_81} \to{P_0} \weight{15} \type{ordinary}} \endnet