toss/widths-kitty

    Finished release [optimized] target(s) in 0.02s
     Running `target/release/examples/measure_widths`
71456: actual 0, expected 1
71457: actual 0, expected 1
71462: actual 0, expected 1
64976: actual 0, expected 1
64977: actual 0, expected 1
64978: actual 0, expected 1
64979: actual 0, expected 1
64980: actual 0, expected 1
64981: actual 0, expected 1
64982: actual 0, expected 1
64983: actual 0, expected 1
64984: actual 0, expected 1
64985: actual 0, expected 1
64986: actual 0, expected 1
64987: actual 0, expected 1
64988: actual 0, expected 1
64989: actual 0, expected 1
64990: actual 0, expected 1
64991: actual 0, expected 1
64992: actual 0, expected 1
64993: actual 0, expected 1
64994: actual 0, expected 1
64995: actual 0, expected 1
64996: actual 0, expected 1
64997: actual 0, expected 1
64998: actual 0, expected 1
64999: actual 0, expected 1
65000: actual 0, expected 1
65001: actual 0, expected 1
65002: actual 0, expected 1
65003: actual 0, expected 1
65004: actual 0, expected 1
65005: actual 0, expected 1
65006: actual 0, expected 1
65007: actual 0, expected 1
6916: actual 0, expected 1
6965: actual 0, expected 1
6971: actual 0, expected 1
6973: actual 0, expected 1
6974: actual 0, expected 1
6975: actual 0, expected 1
6976: actual 0, expected 1
6977: actual 0, expected 1
6979: actual 0, expected 1
6980: actual 0, expected 1
7143: actual 0, expected 1
7146: actual 0, expected 1
7147: actual 0, expected 1
7148: actual 0, expected 1
7150: actual 0, expected 1
7154: actual 0, expected 1
7155: actual 0, expected 1
2434: actual 0, expected 1
2435: actual 0, expected 1
2494: actual 0, expected 1
2495: actual 0, expected 1
2496: actual 0, expected 1
2503: actual 0, expected 1
2504: actual 0, expected 1
2507: actual 0, expected 1
2508: actual 0, expected 1
2519: actual 0, expected 1
72751: actual 0, expected 1
72766: actual 0, expected 1
69632: actual 0, expected 1
69634: actual 0, expected 1
6681: actual 0, expected 1
6682: actual 0, expected 1
69932: actual 0, expected 1
69957: actual 0, expected 1
69958: actual 0, expected 1
43567: actual 0, expected 1
43568: actual 0, expected 1
43571: actual 0, expected 1
43572: actual 0, expected 1
43597: actual 0, expected 1
12334: actual 0, expected 2
12335: actual 0, expected 2
12336: actual 1, expected 2
12349: actual 1, expected 2
2307: actual 0, expected 1
2363: actual 0, expected 1
2366: actual 0, expected 1
2367: actual 0, expected 1
2368: actual 0, expected 1
2377: actual 0, expected 1
2378: actual 0, expected 1
2379: actual 0, expected 1
2380: actual 0, expected 1
2382: actual 0, expected 1
2383: actual 0, expected 1
71984: actual 0, expected 1
71985: actual 0, expected 1
71986: actual 0, expected 1
71987: actual 0, expected 1
71988: actual 0, expected 1
71989: actual 0, expected 1
71991: actual 0, expected 1
71992: actual 0, expected 1
71997: actual 0, expected 1
72000: actual 0, expected 1
72002: actual 0, expected 1
71724: actual 0, expected 1
71725: actual 0, expected 1
71726: actual 0, expected 1
71736: actual 0, expected 1
127462: actual 2, expected 1
127463: actual 2, expected 1
127464: actual 2, expected 1
127465: actual 2, expected 1
127466: actual 2, expected 1
127467: actual 2, expected 1
127468: actual 2, expected 1
127469: actual 2, expected 1
127470: actual 2, expected 1
127471: actual 2, expected 1
127472: actual 2, expected 1
127473: actual 2, expected 1
127474: actual 2, expected 1
127475: actual 2, expected 1
127476: actual 2, expected 1
127477: actual 2, expected 1
127478: actual 2, expected 1
127479: actual 2, expected 1
127480: actual 2, expected 1
127481: actual 2, expected 1
127482: actual 2, expected 1
127483: actual 2, expected 1
127484: actual 2, expected 1
127485: actual 2, expected 1
127486: actual 2, expected 1
127487: actual 2, expected 1
12951: actual 1, expected 2
12953: actual 1, expected 2
127490: actual 1, expected 2
127543: actual 1, expected 2
8293: actual 0, expected 1
70402: actual 0, expected 1
70403: actual 0, expected 1
70462: actual 0, expected 1
70463: actual 0, expected 1
70465: actual 0, expected 1
70466: actual 0, expected 1
70467: actual 0, expected 1
70468: actual 0, expected 1
70471: actual 0, expected 1
70472: actual 0, expected 1
70475: actual 0, expected 1
70476: actual 0, expected 1
70477: actual 0, expected 1
70487: actual 0, expected 1
70498: actual 0, expected 1
70499: actual 0, expected 1
2691: actual 0, expected 1
2750: actual 0, expected 1
2751: actual 0, expected 1
2752: actual 0, expected 1
2761: actual 0, expected 1
2763: actual 0, expected 1
2764: actual 0, expected 1
73098: actual 0, expected 1
73099: actual 0, expected 1
73100: actual 0, expected 1
73101: actual 0, expected 1
73102: actual 0, expected 1
73107: actual 0, expected 1
73108: actual 0, expected 1
73110: actual 0, expected 1
2563: actual 0, expected 1
2622: actual 0, expected 1
2623: actual 0, expected 1
2624: actual 0, expected 1
65440: actual 0, expected 1
12644: actual 0, expected 2
4447: actual 0, expected 2
4449: actual 1, expected 0
4450: actual 1, expected 0
4451: actual 1, expected 0
4452: actual 1, expected 0
4453: actual 1, expected 0
4454: actual 1, expected 0
4455: actual 1, expected 0
4456: actual 1, expected 0
4457: actual 1, expected 0
4458: actual 1, expected 0
4459: actual 1, expected 0
4460: actual 1, expected 0
4461: actual 1, expected 0
4462: actual 1, expected 0
4463: actual 1, expected 0
4464: actual 1, expected 0
4465: actual 1, expected 0
4466: actual 1, expected 0
4467: actual 1, expected 0
4468: actual 1, expected 0
4469: actual 1, expected 0
4470: actual 1, expected 0
4471: actual 1, expected 0
4472: actual 1, expected 0
4473: actual 1, expected 0
4474: actual 1, expected 0
4475: actual 1, expected 0
4476: actual 1, expected 0
4477: actual 1, expected 0
4478: actual 1, expected 0
4479: actual 1, expected 0
4480: actual 1, expected 0
4481: actual 1, expected 0
4482: actual 1, expected 0
4483: actual 1, expected 0
4484: actual 1, expected 0
4485: actual 1, expected 0
4486: actual 1, expected 0
4487: actual 1, expected 0
4488: actual 1, expected 0
4489: actual 1, expected 0
4490: actual 1, expected 0
4491: actual 1, expected 0
4492: actual 1, expected 0
4493: actual 1, expected 0
4494: actual 1, expected 0
4495: actual 1, expected 0
4496: actual 1, expected 0
4497: actual 1, expected 0
4498: actual 1, expected 0
4499: actual 1, expected 0
4500: actual 1, expected 0
4501: actual 1, expected 0
4502: actual 1, expected 0
4503: actual 1, expected 0
4504: actual 1, expected 0
4505: actual 1, expected 0
4506: actual 1, expected 0
4507: actual 1, expected 0
4508: actual 1, expected 0
4509: actual 1, expected 0
4510: actual 1, expected 0
4511: actual 1, expected 0
4512: actual 1, expected 0
4513: actual 1, expected 0
4514: actual 1, expected 0
4515: actual 1, expected 0
4516: actual 1, expected 0
4517: actual 1, expected 0
4518: actual 1, expected 0
4519: actual 1, expected 0
4520: actual 1, expected 0
4521: actual 1, expected 0
4522: actual 1, expected 0
4523: actual 1, expected 0
4524: actual 1, expected 0
4525: actual 1, expected 0
4526: actual 1, expected 0
4527: actual 1, expected 0
4528: actual 1, expected 0
4529: actual 1, expected 0
4530: actual 1, expected 0
4531: actual 1, expected 0
4532: actual 1, expected 0
4533: actual 1, expected 0
4534: actual 1, expected 0
4535: actual 1, expected 0
4536: actual 1, expected 0
4537: actual 1, expected 0
4538: actual 1, expected 0
4539: actual 1, expected 0
4540: actual 1, expected 0
4541: actual 1, expected 0
4542: actual 1, expected 0
4543: actual 1, expected 0
4544: actual 1, expected 0
4545: actual 1, expected 0
4546: actual 1, expected 0
4547: actual 1, expected 0
4548: actual 1, expected 0
4549: actual 1, expected 0
4550: actual 1, expected 0
4551: actual 1, expected 0
4552: actual 1, expected 0
4553: actual 1, expected 0
4554: actual 1, expected 0
4555: actual 1, expected 0
4556: actual 1, expected 0
4557: actual 1, expected 0
4558: actual 1, expected 0
4559: actual 1, expected 0
4560: actual 1, expected 0
4561: actual 1, expected 0
4562: actual 1, expected 0
4563: actual 1, expected 0
4564: actual 1, expected 0
4565: actual 1, expected 0
4566: actual 1, expected 0
4567: actual 1, expected 0
4568: actual 1, expected 0
4569: actual 1, expected 0
4570: actual 1, expected 0
4571: actual 1, expected 0
4572: actual 1, expected 0
4573: actual 1, expected 0
4574: actual 1, expected 0
4575: actual 1, expected 0
4576: actual 1, expected 0
4577: actual 1, expected 0
4578: actual 1, expected 0
4579: actual 1, expected 0
4580: actual 1, expected 0
4581: actual 1, expected 0
4582: actual 1, expected 0
4583: actual 1, expected 0
4584: actual 1, expected 0
4585: actual 1, expected 0
4586: actual 1, expected 0
4587: actual 1, expected 0
4588: actual 1, expected 0
4589: actual 1, expected 0
4590: actual 1, expected 0
4591: actual 1, expected 0
4592: actual 1, expected 0
4593: actual 1, expected 0
4594: actual 1, expected 0
4595: actual 1, expected 0
4596: actual 1, expected 0
4597: actual 1, expected 0
4598: actual 1, expected 0
4599: actual 1, expected 0
4600: actual 1, expected 0
4601: actual 1, expected 0
4602: actual 1, expected 0
4603: actual 1, expected 0
4604: actual 1, expected 0
4605: actual 1, expected 0
4606: actual 1, expected 0
4607: actual 1, expected 0
5940: actual 0, expected 1
94192: actual 0, expected 2
94193: actual 0, expected 2
43395: actual 0, expected 1
43444: actual 0, expected 1
43445: actual 0, expected 1
43450: actual 0, expected 1
43451: actual 0, expected 1
43454: actual 0, expected 1
43455: actual 0, expected 1
43456: actual 0, expected 1
69762: actual 0, expected 1
69808: actual 0, expected 1
69809: actual 0, expected 1
69810: actual 0, expected 1
69815: actual 0, expected 1
69816: actual 0, expected 1
3202: actual 0, expected 1
3203: actual 0, expected 1
3262: actual 0, expected 1
3264: actual 0, expected 1
3265: actual 0, expected 1
3266: actual 0, expected 1
3267: actual 0, expected 1
3268: actual 0, expected 1
3271: actual 0, expected 1
3272: actual 0, expected 1
3274: actual 0, expected 1
3275: actual 0, expected 1
3285: actual 0, expected 1
3286: actual 0, expected 1
6070: actual 0, expected 1
6078: actual 0, expected 1
6079: actual 0, expected 1
6080: actual 0, expected 1
6081: actual 0, expected 1
6082: actual 0, expected 1
6083: actual 0, expected 1
6084: actual 0, expected 1
6085: actual 0, expected 1
6087: actual 0, expected 1
6088: actual 0, expected 1
70188: actual 0, expected 1
70189: actual 0, expected 1
70190: actual 0, expected 1
70194: actual 0, expected 1
70195: actual 0, expected 1
70197: actual 0, expected 1
70368: actual 0, expected 1
70369: actual 0, expected 1
70370: actual 0, expected 1
173: actual 0, expected 1
7204: actual 0, expected 1
7205: actual 0, expected 1
7206: actual 0, expected 1
7207: actual 0, expected 1
7208: actual 0, expected 1
7209: actual 0, expected 1
7210: actual 0, expected 1
7211: actual 0, expected 1
7220: actual 0, expected 1
7221: actual 0, expected 1
6435: actual 0, expected 1
6436: actual 0, expected 1
6437: actual 0, expected 1
6438: actual 0, expected 1
6441: actual 0, expected 1
6442: actual 0, expected 1
6443: actual 0, expected 1
6448: actual 0, expected 1
6449: actual 0, expected 1
6451: actual 0, expected 1
6452: actual 0, expected 1
6453: actual 0, expected 1
6454: actual 0, expected 1
6455: actual 0, expected 1
6456: actual 0, expected 1
73461: actual 0, expected 1
73462: actual 0, expected 1
3330: actual 0, expected 1
3331: actual 0, expected 1
3390: actual 0, expected 1
3391: actual 0, expected 1
3392: actual 0, expected 1
3398: actual 0, expected 1
3399: actual 0, expected 1
3400: actual 0, expected 1
3402: actual 0, expected 1
3403: actual 0, expected 1
3404: actual 0, expected 1
3415: actual 0, expected 1
72873: actual 0, expected 1
72881: actual 0, expected 1
72884: actual 0, expected 1
44003: actual 0, expected 1
44004: actual 0, expected 1
44006: actual 0, expected 1
44007: actual 0, expected 1
44009: actual 0, expected 1
44010: actual 0, expected 1
44012: actual 0, expected 1
43755: actual 0, expected 1
43758: actual 0, expected 1
43759: actual 0, expected 1
43765: actual 0, expected 1
94033: actual 0, expected 1
94034: actual 0, expected 1
94035: actual 0, expected 1
94036: actual 0, expected 1
94037: actual 0, expected 1
94038: actual 0, expected 1
94039: actual 0, expected 1
94040: actual 0, expected 1
94041: actual 0, expected 1
94042: actual 0, expected 1
94043: actual 0, expected 1
94044: actual 0, expected 1
94045: actual 0, expected 1
94046: actual 0, expected 1
94047: actual 0, expected 1
94048: actual 0, expected 1
94049: actual 0, expected 1
94050: actual 0, expected 1
94051: actual 0, expected 1
94052: actual 0, expected 1
94053: actual 0, expected 1
94054: actual 0, expected 1
94055: actual 0, expected 1
94056: actual 0, expected 1
94057: actual 0, expected 1
94058: actual 0, expected 1
94059: actual 0, expected 1
94060: actual 0, expected 1
94061: actual 0, expected 1
94062: actual 0, expected 1
94063: actual 0, expected 1
94064: actual 0, expected 1
94065: actual 0, expected 1
94066: actual 0, expected 1
94067: actual 0, expected 1
94068: actual 0, expected 1
94069: actual 0, expected 1
94070: actual 0, expected 1
94071: actual 0, expected 1
94072: actual 0, expected 1
94073: actual 0, expected 1
94074: actual 0, expected 1
94075: actual 0, expected 1
94076: actual 0, expected 1
94077: actual 0, expected 1
94078: actual 0, expected 1
94079: actual 0, expected 1
94080: actual 0, expected 1
94081: actual 0, expected 1
94082: actual 0, expected 1
94083: actual 0, expected 1
94084: actual 0, expected 1
94085: actual 0, expected 1
94086: actual 0, expected 1
94087: actual 0, expected 1
127995: actual 0, expected 2
127996: actual 0, expected 2
127997: actual 0, expected 2
127998: actual 0, expected 2
127999: actual 0, expected 2
71216: actual 0, expected 1
71217: actual 0, expected 1
71218: actual 0, expected 1
71227: actual 0, expected 1
71228: actual 0, expected 1
71230: actual 0, expected 1
119141: actual 0, expected 1
119142: actual 0, expected 1
119149: actual 0, expected 1
119150: actual 0, expected 1
119151: actual 0, expected 1
119152: actual 0, expected 1
119153: actual 0, expected 1
119154: actual 0, expected 1
4139: actual 0, expected 1
4140: actual 0, expected 1
4145: actual 0, expected 1
4152: actual 0, expected 1
4155: actual 0, expected 1
4156: actual 0, expected 1
4182: actual 0, expected 1
4183: actual 0, expected 1
4194: actual 0, expected 1
4195: actual 0, expected 1
4196: actual 0, expected 1
4199: actual 0, expected 1
4200: actual 0, expected 1
4201: actual 0, expected 1
4202: actual 0, expected 1
4203: actual 0, expected 1
4204: actual 0, expected 1
4205: actual 0, expected 1
4227: actual 0, expected 1
4228: actual 0, expected 1
4231: actual 0, expected 1
4232: actual 0, expected 1
4233: actual 0, expected 1
4234: actual 0, expected 1
4235: actual 0, expected 1
4236: actual 0, expected 1
4239: actual 0, expected 1
4250: actual 0, expected 1
4251: actual 0, expected 1
4252: actual 0, expected 1
43643: actual 0, expected 1
43645: actual 0, expected 1
72145: actual 0, expected 1
72146: actual 0, expected 1
72147: actual 0, expected 1
72156: actual 0, expected 1
72157: actual 0, expected 1
72158: actual 0, expected 1
72159: actual 0, expected 1
72164: actual 0, expected 1
70709: actual 0, expected 1
70710: actual 0, expected 1
70711: actual 0, expected 1
70720: actual 0, expected 1
70721: actual 0, expected 1
70725: actual 0, expected 1
2818: actual 0, expected 1
2819: actual 0, expected 1
2878: actual 0, expected 1
2880: actual 0, expected 1
2887: actual 0, expected 1
2888: actual 0, expected 1
2891: actual 0, expected 1
2892: actual 0, expected 1
2903: actual 0, expected 1
43346: actual 0, expected 1
43347: actual 0, expected 1
43136: actual 0, expected 1
43137: actual 0, expected 1
43188: actual 0, expected 1
43189: actual 0, expected 1
43190: actual 0, expected 1
43191: actual 0, expected 1
43192: actual 0, expected 1
43193: actual 0, expected 1
43194: actual 0, expected 1
43195: actual 0, expected 1
43196: actual 0, expected 1
43197: actual 0, expected 1
43198: actual 0, expected 1
43199: actual 0, expected 1
43200: actual 0, expected 1
43201: actual 0, expected 1
43202: actual 0, expected 1
43203: actual 0, expected 1
70018: actual 0, expected 1
70067: actual 0, expected 1
70068: actual 0, expected 1
70069: actual 0, expected 1
70079: actual 0, expected 1
70080: actual 0, expected 1
70094: actual 0, expected 1
71087: actual 0, expected 1
71088: actual 0, expected 1
71089: actual 0, expected 1
71096: actual 0, expected 1
71097: actual 0, expected 1
71098: actual 0, expected 1
71099: actual 0, expected 1
71102: actual 0, expected 1
3458: actual 0, expected 1
3459: actual 0, expected 1
3535: actual 0, expected 1
3536: actual 0, expected 1
3537: actual 0, expected 1
3544: actual 0, expected 1
3545: actual 0, expected 1
3546: actual 0, expected 1
3547: actual 0, expected 1
3548: actual 0, expected 1
3549: actual 0, expected 1
3550: actual 0, expected 1
3551: actual 0, expected 1
3570: actual 0, expected 1
3571: actual 0, expected 1
72279: actual 0, expected 1
72280: actual 0, expected 1
72343: actual 0, expected 1
65520: actual 0, expected 1
65521: actual 0, expected 1
65522: actual 0, expected 1
65523: actual 0, expected 1
65524: actual 0, expected 1
65525: actual 0, expected 1
65526: actual 0, expected 1
65527: actual 0, expected 1
65528: actual 0, expected 1
65534: actual 0, expected 1
65535: actual 0, expected 1
7042: actual 0, expected 1
7073: actual 0, expected 1
7078: actual 0, expected 1
7079: actual 0, expected 1
7082: actual 0, expected 1
1048574: actual 0, expected 1
1048575: actual 0, expected 1
1114110: actual 0, expected 1
1114111: actual 0, expected 1
43043: actual 0, expected 1
43044: actual 0, expected 1
43047: actual 0, expected 1
5909: actual 0, expected 1
917504: actual 0, expected 1
917506: actual 0, expected 1
917507: actual 0, expected 1
917508: actual 0, expected 1
917509: actual 0, expected 1
917510: actual 0, expected 1
917511: actual 0, expected 1
917512: actual 0, expected 1
917513: actual 0, expected 1
917514: actual 0, expected 1
917515: actual 0, expected 1
917516: actual 0, expected 1
917517: actual 0, expected 1
917518: actual 0, expected 1
917519: actual 0, expected 1
917520: actual 0, expected 1
917521: actual 0, expected 1
917522: actual 0, expected 1
917523: actual 0, expected 1
917524: actual 0, expected 1
917525: actual 0, expected 1
917526: actual 0, expected 1
917527: actual 0, expected 1
917528: actual 0, expected 1
917529: actual 0, expected 1
917530: actual 0, expected 1
917531: actual 0, expected 1
917532: actual 0, expected 1
917533: actual 0, expected 1
917534: actual 0, expected 1
917535: actual 0, expected 1
6741: actual 0, expected 1
6743: actual 0, expected 1
6753: actual 0, expected 1
6755: actual 0, expected 1
6756: actual 0, expected 1
6765: actual 0, expected 1
6766: actual 0, expected 1
6767: actual 0, expected 1
6768: actual 0, expected 1
6769: actual 0, expected 1
6770: actual 0, expected 1
71340: actual 0, expected 1
71342: actual 0, expected 1
71343: actual 0, expected 1
71350: actual 0, expected 1
3006: actual 0, expected 1
3007: actual 0, expected 1
3009: actual 0, expected 1
3010: actual 0, expected 1
3014: actual 0, expected 1
3015: actual 0, expected 1
3016: actual 0, expected 1
3018: actual 0, expected 1
3019: actual 0, expected 1
3020: actual 0, expected 1
3031: actual 0, expected 1
3073: actual 0, expected 1
3074: actual 0, expected 1
3075: actual 0, expected 1
3137: actual 0, expected 1
3138: actual 0, expected 1
3139: actual 0, expected 1
3140: actual 0, expected 1
3902: actual 0, expected 1
3903: actual 0, expected 1
3967: actual 0, expected 1
70832: actual 0, expected 1
70833: actual 0, expected 1
70834: actual 0, expected 1
70841: actual 0, expected 1
70843: actual 0, expected 1
70844: actual 0, expected 1
70845: actual 0, expected 1
70846: actual 0, expected 1
70849: actual 0, expected 1
7393: actual 0, expected 1
7415: actual 0, expected 1
72249: actual 0, expected 1