NK6wP 09571 * Client_InitWith (client.c:48):      Using pin policy 'latest bounded pin with variety (5 secs)'
NK6wZ 09571 * RPCC_Connect    (rpcc.c:46):        Connected to 18.26.1.61:16000 (farm12.csail.mit.edu:16000)
NK6yA 09571 * RPCC_Connect    (rpcc.c:46):        Connected to 18.26.1.61:16001 (farm12.csail.mit.edu:16001)
NK6yI 09571 * RPCC_Connect    (rpcc.c:46):        Connected to 18.26.1.62:16001 (farm13.csail.mit.edu:16001)
NK73d 09571 PANIC Interval_AssertValid (interval.h:44):    Assertion `a.lower == PIN_NEG_INF || a.upper == PIN_INF || a.lower < a.upper' failed
