'32 init                                                                                                                   '
<0;0:1>
<0;1:0>
<1;0:3>
<1;1:0>
<2;0:4000>
<2;1:0>
<3;0:0>
<3;1:185.343>
<4;0:0>
<4;1:0>
<5;0:0>
<5;1:0>
<6;0:0>
<6;1:0>
<7;0:0>
<7;1:0>
<8;0:0>
<8;1:0>
{0:0}
{1:0}
{2:0}
{3:0}
{4:3}
{5:4}
{6:0}
{7:0}
{8:0}
{9:0}
{10:0}
{11:0}
{12:0}
{13:0}
{14:0}
{15:0}
{16:0}
(0:0)
(1:0)
(2:0)
(3:0)
(4:0)
(5:0)
(6:0)
(7:0)
(8:0)
(9:0)
(10:0)
(11:0)
(12:0)
(13:0)
(14:1)
(15:0)
(16:0)
(17:0)
(18:0)
(19:0)
(20:0)
(21:0)
(22:0)
(23:0)
(24:0)
(25:0)
(26:0)
(27:0)
(28:0)
(29:0.166667)
(30:0)
(31:0.9)
(32:1)
(33:0)
(34:0.158333)
(35:1)
(36:0)
(37:0)
(38:0)
(39:0)
(40:0)
(41:0.9)
(42:0)
(43:0)
(44:0.9)
(45:0)
(46:0)
(47:0)
(48:0)
(49:0)
(50:0)
(51:0.9)
(52:0)
(53:0)
(54:0.9)
(55:0)
(56:0.25)
(57:0)
(58:0)
(59:0)
(60:0.2)
(61:0.15)
(62:0)
(63:0.15)
(64:0)
(65:0.2)
(66:0.15)
(67:0)
(68:0.15)
(69:0)
(70:0.2)
(71:0.15)
(72:0)
(73:0.15)
(74:0)
(75:0.2)
(76:0.15)
(77:0)
(78:0.15)
(79:0)
(80:0.2)
(81:0.15)
(82:0)
(83:0.15)
(84:0)
(85:0.2)
(86:0.15)
(87:0)
(88:0.15)
(89:0)
(90:0)
(91:0)
(92:0)
(93:0)
(94:0)
(95:0)
(96:0)
(97:0)
(98:0)
(99:0)
(100:0)
(101:1)
(102:0.2)
(103:0.15)
(104:1)
(105:0.0884306)
(106:1.16149)
(107:0.465753)
(108:1)
(109:1)
(110:0)
(111:0)
(112:0)
(113:0)
(114:0)
(115:0)
(116:0)
(117:0)
(118:0)
(119:0)
(120:0)
(121:0)
(122:0)
(123:0)
(124:0)
(125:0)
(126:0)
(127:0)
(128:0)
(129:0)
(130:0)
(131:0)
(132:0)
(133:0)
(134:0)
(135:0)
(136:0)
(137:0)
(138:0)
