...
2444: ((LABELS SB-COLD::CONTAINS-IRRATIONAL :IN SB-COLD::INSTALL-READ-INTERCEPTOR) ((8898 1352) (119365 1352) (4704 1352) (5198 1352) (42229 1352) (5210 1352 183) (5224 1352 39) (64278 1406 1398) (8381 1364) (723 1369) (703 1369) (8501 1488) ...))
2445: ((LABELS SB-COLD::CONTAINS-IRRATIONAL :IN SB-COLD::INSTALL-READ-INTERCEPTOR) ((8745 1352) (8898 1352) (119365 1352) (4704 1352) (5198 1352) (42229 1352) (5210 1352 183) (5224 1352 39) (64278 1406 1398) (8381 1364) (723 1369) (703 1369) ...))
2446: ((LABELS SB-COLD::CONTAINS-IRRATIONAL :IN SB-COLD::INSTALL-READ-INTERCEPTOR) ((64275 1396 1398) (8745 1352) (8898 1352) (119365 1352) (4704 1352) (5198 1352) (42229 1352) (5210 1352 183) (5224 1352 39) (64278 1406 1398) (8381 1364) (723 1369) ...))
2447: ((LABELS SB-COLD::CONTAINS-IRRATIONAL :IN SB-COLD::INSTALL-READ-INTERCEPTOR) ((64279 1396 1389) (64275 1396 1398) (8745 1352) (8898 1352) (119365 1352) (4704 1352) (5198 1352) (42229 1352) (5210 1352 183) (5224 1352 39) (64278 1406 1398) (8381 1364) ...))
2448: ((LABELS SB-COLD::CONTAINS-IRRATIONAL :IN SB-COLD::INSTALL-READ-INTERCEPTOR) ((64277 1396 1387) (64279 1396 1389) (64275 1396 1398) (8745 1352) (8898 1352) (119365 1352) (4704 1352) (5198 1352) (42229 1352) (5210 1352 183) (5224 1352 39) (64278 1406 1398) ...))
2449: ((LABELS SB-COLD::CONTAINS-IRRATIONAL :IN SB-COLD::INSTALL-READ-INTERCEPTOR) ((64276 1396 1381) (64277 1396 1387) (64279 1396 1389) (64275 1396 1398) (8745 1352) (8898 1352) (119365 1352) (4704 1352) (5198 1352) (42229 1352) (5210 1352 183) (5224 1352 39) ...))
2450: ((LABELS SB-COLD::CONTAINS-IRRATIONAL :IN SB-COLD::INSTALL-READ-INTERCEPTOR) ((4756 1393) (64276 1396 1381) (64277 1396 1387) (64279 1396 1389) (64275 1396 1398) (8745 1352) (8898 1352) (119365 1352) (4704 1352) (5198 1352) (42229 1352) (5210 1352 183) ...))
...