((((((((t7:300.0,(t3:300.0,t8:300.0):250.0):131.0,(t13:300.0,t6:300.0):69.0):39.0,
t1:300.0):192.0,t17:300.0):220.0,(((t10:300.0,t2:300.0):300.0,t11:300.0):263.0,
t5:300.0):279.0):188.0,t14:300.0):251.0,(((((t19:300.0,t15:300.0):171.0,(t18:300.0,
t9:300.0):156.0):260.0,t4:300.0):139.0,t16:300.0):285.0,t0:300.0):294.0):300.0,t12:300.0);