// NumberOfRooms 17 // PVS Size 17 // Trishape PVS Size 557 // 0 *NDLRM_GILMAN_HOTEL_INTERIOR_09 // 1 *NDLRM_GILMAN_HOTEL_INTERIOR_08 // 2 *NDLRM_GILMAN_HOTEL_INTERIOR_07 // 3 *NDLRM_GILMAN_HOTEL_INTERIOR_06 // 4 *NDLRM_GILMAN_HOTEL_INTERIOR_05 // 5 *NDLRM_GILMAN_HOTEL_INTERIOR_04 // 6 *NDLRM_GILMAN_HOTEL_INTERIOR_03 // 7 *NDLRM_GILMAN_HOTEL_INTERIOR_02 // 8 *NDLRM_GILMAN_HOTEL_INTERIOR_01 // 9 *NDLRM_GILMAN_HOTEL_CORRIDOR_04 // 10 *NDLRM_GILMAN_HOTEL_CORRIDOR_03 // 11 *NDLRM_HOUSE_YITH_DIMENSIONAL_GATE_ROOM // 12 *NDLRM_GILMAN_HOTEL_CORRIDOR_02 // 13 *NDLRM_GILMAN_HOTEL_CORRIDOR_01 // 14 *NDLRM_GILMAN_HOTEL_INTERIOR_11 // 15 *NDLRM_GILMAN_HOTEL_INTERIOR_10 // 16 *NDLRM_THE_PIT // Room PVS 11110000000000110 11110000000000110 11110000000000100 11111110000000100 00011110000000000 00011111111000000 00011111111000000 00000111111010000 00000111111010000 00000111111011000 00000111111011000 00000000000100000 00000001111011000 00000000011011000 11110000000000110 11000000000000110 00000000000000001 // Second order PVS 11111110000000110 11111110000000110 11111110000000110 11111111111000110 11111111111000100 11111111111011100 11111111111011100 00011111111011000 00011111111011000 00011111111011000 00011111111011000 00000000000100000 00000111111011000 00000111111011000 11111110000000110 11110000000000110 00000000000000001 // Trishape PVS *11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 *11111111111111111111111111111111111100011111011011101111011100111111111111111111111111110111111101001111111110011011000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 *10111011011101100111101110101101111000000000000000000000000000010111111111111111111111110111101000001111111110010110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 *10111011011101100111001000001001000000000000000000000000000000000001111111111111111011110111101000000111101110010110111111111111111111111111111111100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 *00000000000000000000000000000000000000000000000000000000000000000001100010010001001000010000000000000000000000000100111111111111111111111111111111100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 *00000000000000000000000000000000000000000000000000000000000000000001100010010001001000010000000000000000000000000100111111111111111111111111111111100000000000000001000000000000010001000000000000001000000000001100000000000000000000000000000101111111111111111110111111111101111111011110110111111011111101111101111001100000001101010000110000001101101111100000101000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 *00000000000000000000000000000000000000000000000000000000000000000001100010010001001000010000000000000000000000000000111111111111111111111111111111100000000000000001000000000000010001000000000000001000000000001100000000000000000000000000001111111111111111111111111111111111111111111111111111111111111111111111111111100000001101010000110000001101101111100000101000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 *00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111110111001111110101111111111111111111001100111111100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 *00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 *00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011100000000001101000000010001010101010000010111011000000000011100000000000000000100000000001111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111110101110100000110011001001010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000 *00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011100000000001101000000111101110011010001011010111000001000011100000000110001000000000000010101110011111111000000010111111100111111111111110111011011111111111101100101011111111111111111111111111111111111111111111111111111111111111111111111111111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000111 *00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000111111111111111111111111111111111111011111111111111110111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111110000000010000 *00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011100000000001101000000010001010111010000010111011000000000011100000000000001000100000000010001000010011101000000010000000100111011010000010100011011111001111000100001011111111111111111111111111111111111111111111111111111111111111111111111111111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000111 *00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011111111111111111111111111110111111111111111111011111111111111111111111111111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000111 *11111111111111111111111111111111111011100111100100011110100011111111111111111111110111111111111111111111111111111001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 *11111111111111111111111111111111111111111111111111111111111111111110000001001000110110000111101000001111111110010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 *00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000111111101000