// Copyright 2015 The LUCI Authors.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//      http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

// AUTOGENERATED. DO NOT EDIT.

// Package starlark is generated by go.chromium.org/luci/tools/cmd/assets.
//
// It contains all [*.css *.html *.js *.star *.tmpl] files found in the package as byte arrays.
package starlark

// GetAsset returns an asset by its name. Returns nil if no such asset exists.
func GetAsset(name string) []byte {
	return []byte(files[name])
}

// GetAssetString is version of GetAsset that returns string instead of byte
// slice. Returns empty string if no such asset exists.
func GetAssetString(name string) string {
	return files[name]
}

// GetAssetSHA256 returns the asset checksum. Returns nil if no such asset
// exists.
func GetAssetSHA256(name string) []byte {
	data := fileSha256s[name]
	if data == nil {
		return nil
	}
	return append([]byte(nil), data...)
}

// Assets returns a map of all assets.
func Assets() map[string]string {
	cpy := make(map[string]string, len(files))
	for k, v := range files {
		cpy[k] = v
	}
	return cpy
}

var files = map[string]string{
	"stdlib/builtins.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 35, 32, 78, 111, 110, 45, 76,
		85, 67, 73, 32, 102, 101, 97, 116, 117, 114, 101, 115, 46, 10,
		108, 111, 97, 100, 40, 39, 64, 115, 116, 100, 108, 105, 98, 47,
		47, 105, 110, 116, 101, 114, 110, 97, 108, 47, 103, 101, 110, 101,
		114, 97, 116, 111, 114, 46, 115, 116, 97, 114, 39, 44, 32, 95,
		103, 101, 110, 101, 114, 97, 116, 111, 114, 61, 39, 103, 101, 110,
		101, 114, 97, 116, 111, 114, 39, 41, 10, 10, 35, 32, 73, 110,
		100, 105, 118, 105, 100, 117, 97, 108, 32, 76, 85, 67, 73, 32,
		114, 117, 108, 101, 115, 46, 10, 108, 111, 97, 100, 40, 39, 64,
		115, 116, 100, 108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110,
		97, 108, 47, 108, 117, 99, 105, 47, 114, 117, 108, 101, 115, 47,
		98, 117, 99, 107, 101, 116, 46, 115, 116, 97, 114, 39, 44, 32,
		95, 98, 117, 99, 107, 101, 116, 61, 39, 98, 117, 99, 107, 101,
		116, 39, 41, 10, 108, 111, 97, 100, 40, 39, 64, 115, 116, 100,
		108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110, 97, 108, 47,
		108, 117, 99, 105, 47, 114, 117, 108, 101, 115, 47, 108, 111, 103,
		100, 111, 103, 46, 115, 116, 97, 114, 39, 44, 32, 95, 108, 111,
		103, 100, 111, 103, 61, 39, 108, 111, 103, 100, 111, 103, 39, 41,
		10, 108, 111, 97, 100, 40, 39, 64, 115, 116, 100, 108, 105, 98,
		47, 47, 105, 110, 116, 101, 114, 110, 97, 108, 47, 108, 117, 99,
		105, 47, 114, 117, 108, 101, 115, 47, 112, 114, 111, 106, 101, 99,
		116, 46, 115, 116, 97, 114, 39, 44, 32, 95, 112, 114, 111, 106,
		101, 99, 116, 61, 39, 112, 114, 111, 106, 101, 99, 116, 39, 41,
		10, 10, 35, 32, 76, 85, 67, 73, 32, 104, 101, 108, 112, 101,
		114, 32, 109, 111, 100, 117, 108, 101, 115, 46, 10, 108, 111, 97,
		100, 40, 39, 64, 115, 116, 100, 108, 105, 98, 47, 47, 105, 110,
		116, 101, 114, 110, 97, 108, 47, 108, 117, 99, 105, 47, 108, 105,
		98, 47, 97, 99, 108, 46, 115, 116, 97, 114, 39, 44, 32, 95,
		97, 99, 108, 61, 39, 97, 99, 108, 39, 41, 10, 10, 35, 32,
		82, 101, 103, 105, 115, 116, 101, 114, 32, 97, 108, 108, 32, 76,
		85, 67, 73, 32, 99, 111, 110, 102, 105, 103, 32, 103, 101, 110,
		101, 114, 97, 116, 111, 114, 32, 99, 97, 108, 108, 98, 97, 99,
		107, 115, 46, 10, 108, 111, 97, 100, 40, 39, 64, 115, 116, 100,
		108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110, 97, 108, 47,
		108, 117, 99, 105, 47, 103, 101, 110, 101, 114, 97, 116, 111, 114,
		115, 46, 115, 116, 97, 114, 39, 44, 32, 95, 114, 101, 103, 105,
		115, 116, 101, 114, 61, 39, 114, 101, 103, 105, 115, 116, 101, 114,
		39, 41, 10, 95, 114, 101, 103, 105, 115, 116, 101, 114, 40, 41,
		10, 10, 10, 35, 32, 80, 117, 98, 108, 105, 99, 32, 65, 80,
		73, 46, 10, 99, 111, 114, 101, 32, 61, 32, 115, 116, 114, 117,
		99, 116, 40, 10, 32, 32, 32, 32, 103, 101, 110, 101, 114, 97,
		116, 111, 114, 32, 61, 32, 95, 103, 101, 110, 101, 114, 97, 116,
		111, 114, 44, 10, 10, 32, 32, 32, 32, 98, 117, 99, 107, 101,
		116, 32, 61, 32, 95, 98, 117, 99, 107, 101, 116, 44, 10, 32,
		32, 32, 32, 108, 111, 103, 100, 111, 103, 32, 61, 32, 32, 95,
		108, 111, 103, 100, 111, 103, 44, 10, 32, 32, 32, 32, 112, 114,
		111, 106, 101, 99, 116, 32, 61, 32, 95, 112, 114, 111, 106, 101,
		99, 116, 44, 10, 41, 10, 97, 99, 108, 32, 61, 32, 95, 97,
		99, 108, 10}),
	"stdlib/internal/error.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 100, 101, 102, 32, 101, 114, 114,
		111, 114, 40, 109, 115, 103, 44, 32, 42, 97, 114, 103, 115, 44,
		32, 42, 42, 107, 119, 97, 114, 103, 115, 41, 58, 10, 32, 32,
		34, 34, 34, 69, 109, 105, 116, 115, 32, 97, 110, 32, 101, 114,
		114, 111, 114, 32, 109, 101, 115, 115, 97, 103, 101, 32, 97, 110,
		100, 32, 99, 111, 110, 116, 105, 110, 117, 101, 115, 32, 116, 104,
		101, 32, 101, 120, 101, 99, 117, 116, 105, 111, 110, 46, 10, 10,
		32, 32, 73, 102, 32, 97, 116, 32, 116, 104, 101, 32, 101, 110,
		100, 32, 111, 102, 32, 116, 104, 101, 32, 101, 120, 101, 99, 117,
		116, 105, 111, 110, 32, 116, 104, 101, 114, 101, 39, 115, 32, 97,
		116, 32, 108, 101, 97, 115, 116, 32, 111, 110, 101, 32, 101, 114,
		114, 111, 114, 32, 114, 101, 99, 111, 114, 100, 101, 100, 44, 32,
		116, 104, 101, 10, 32, 32, 101, 120, 101, 99, 117, 116, 105, 111,
		110, 32, 105, 115, 32, 99, 111, 110, 115, 105, 100, 101, 114, 101,
		100, 32, 102, 97, 105, 108, 101, 100, 46, 10, 10, 32, 32, 69,
		105, 116, 104, 101, 114, 32, 99, 97, 112, 116, 117, 114, 101, 115,
		32, 116, 104, 101, 32, 99, 117, 114, 114, 101, 110, 116, 32, 115,
		116, 97, 99, 107, 32, 116, 114, 97, 99, 101, 32, 102, 111, 114,
		32, 116, 104, 101, 32, 116, 114, 97, 99, 101, 98, 97, 99, 107,
		32, 111, 114, 32, 117, 115, 101, 115, 32, 97, 10, 32, 32, 112,
		114, 101, 118, 105, 111, 117, 115, 108, 121, 32, 99, 97, 112, 116,
		117, 114, 101, 100, 32, 111, 110, 101, 32, 105, 102, 32, 105, 116,
		32, 119, 97, 115, 32, 112, 97, 115, 115, 101, 100, 32, 118, 105,
		97, 32, 39, 116, 114, 97, 99, 101, 39, 32, 107, 101, 121, 119,
		111, 114, 100, 32, 97, 114, 103, 117, 109, 101, 110, 116, 58, 10,
		10, 32, 32, 32, 32, 116, 114, 97, 99, 101, 32, 61, 32, 115,
		116, 97, 99, 107, 116, 114, 97, 99, 101, 40, 41, 10, 32, 32,
		32, 32, 46, 46, 46, 10, 32, 32, 32, 32, 101, 114, 114, 111,
		114, 40, 39, 66, 111, 111, 109, 44, 32, 37, 115, 39, 44, 32,
		39, 97, 114, 103, 39, 44, 32, 116, 114, 97, 99, 101, 61, 116,
		114, 97, 99, 101, 41, 10, 10, 32, 32, 65, 114, 103, 115, 58,
		10, 32, 32, 32, 32, 109, 115, 103, 58, 32, 101, 114, 114, 111,
		114, 32, 109, 101, 115, 115, 97, 103, 101, 32, 102, 111, 114, 109,
		97, 116, 32, 115, 116, 114, 105, 110, 103, 46, 10, 32, 32, 32,
		32, 42, 97, 114, 103, 115, 58, 32, 97, 114, 103, 117, 109, 101,
		110, 116, 115, 32, 102, 111, 114, 32, 116, 104, 101, 32, 102, 111,
		114, 109, 97, 116, 32, 115, 116, 114, 105, 110, 103, 46, 10, 32,
		32, 32, 32, 42, 42, 107, 119, 97, 114, 103, 115, 58, 32, 101,
		105, 116, 104, 101, 114, 32, 101, 109, 112, 116, 121, 32, 111, 102,
		32, 99, 111, 110, 116, 97, 105, 110, 115, 32, 115, 105, 110, 103,
		108, 101, 32, 39, 116, 114, 97, 99, 101, 39, 32, 118, 97, 114,
		32, 119, 105, 116, 104, 32, 97, 32, 115, 116, 97, 99, 107, 32,
		116, 114, 97, 99, 101, 46, 10, 32, 32, 34, 34, 34, 10, 32,
		32, 116, 114, 97, 99, 101, 32, 61, 32, 107, 119, 97, 114, 103,
		115, 46, 112, 111, 112, 40, 39, 116, 114, 97, 99, 101, 39, 44,
		32, 78, 111, 110, 101, 41, 32, 111, 114, 32, 115, 116, 97, 99,
		107, 116, 114, 97, 99, 101, 40, 115, 107, 105, 112, 61, 49, 41,
		10, 32, 32, 105, 102, 32, 108, 101, 110, 40, 107, 119, 97, 114,
		103, 115, 41, 32, 33, 61, 32, 48, 58, 10, 32, 32, 32, 32,
		102, 97, 105, 108, 40, 39, 101, 120, 112, 101, 99, 116, 105, 110,
		103, 32, 116, 114, 97, 99, 101, 61, 46, 46, 46, 32, 107, 119,
		97, 114, 103, 115, 32, 111, 110, 108, 121, 39, 41, 10, 32, 32,
		95, 95, 110, 97, 116, 105, 118, 101, 95, 95, 46, 101, 109, 105,
		116, 95, 101, 114, 114, 111, 114, 40, 109, 115, 103, 32, 37, 32,
		97, 114, 103, 115, 44, 32, 116, 114, 97, 99, 101, 41, 10}),
	"stdlib/internal/generator.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 100, 101, 102, 32, 103, 101, 110,
		101, 114, 97, 116, 111, 114, 40, 105, 109, 112, 108, 41, 58, 10,
		32, 32, 34, 34, 34, 82, 101, 103, 105, 115, 116, 101, 114, 115,
		32, 97, 32, 99, 97, 108, 108, 98, 97, 99, 107, 32, 116, 104,
		97, 116, 32, 105, 115, 32, 99, 97, 108, 108, 101, 100, 32, 97,
		116, 32, 116, 104, 101, 32, 101, 110, 100, 32, 111, 102, 32, 116,
		104, 101, 32, 99, 111, 110, 102, 105, 103, 32, 103, 101, 110, 101,
		114, 97, 116, 105, 111, 110, 10, 32, 32, 115, 116, 97, 103, 101,
		32, 116, 111, 32, 109, 111, 100, 105, 102, 121, 47, 97, 112, 112,
		101, 110, 100, 47, 100, 101, 108, 101, 116, 101, 32, 103, 101, 110,
		101, 114, 97, 116, 101, 100, 32, 99, 111, 110, 102, 105, 103, 115,
		32, 105, 110, 32, 97, 110, 32, 97, 114, 98, 105, 116, 114, 97,
		114, 121, 32, 119, 97, 121, 46, 10, 10, 32, 32, 84, 104, 101,
		32, 99, 97, 108, 108, 98, 97, 99, 107, 32, 97, 99, 99, 101,
		112, 116, 115, 32, 115, 105, 110, 103, 108, 101, 32, 97, 114, 103,
		117, 109, 101, 110, 116, 32, 39, 99, 116, 120, 39, 32, 119, 104,
		105, 99, 104, 32, 105, 115, 32, 97, 32, 115, 116, 114, 117, 99,
		116, 32, 119, 105, 116, 104, 32, 116, 104, 101, 10, 32, 32, 102,
		111, 108, 108, 111, 119, 105, 110, 103, 32, 102, 105, 101, 108, 100,
		115, 58, 10, 32, 32, 32, 32, 39, 99, 111, 110, 102, 105, 103,
		95, 115, 101, 116, 39, 58, 32, 97, 32, 100, 105, 99, 116, 32,
		123, 99, 111, 110, 102, 105, 103, 32, 102, 105, 108, 101, 32, 110,
		97, 109, 101, 32, 45, 62, 32, 40, 115, 116, 114, 32, 124, 32,
		112, 114, 111, 116, 111, 41, 125, 46, 10, 10, 32, 32, 84, 104,
		101, 32, 99, 97, 108, 108, 98, 97, 99, 107, 32, 105, 115, 32,
		102, 114, 101, 101, 32, 116, 111, 32, 109, 111, 100, 105, 102, 121,
		32, 99, 116, 120, 46, 99, 111, 110, 102, 105, 103, 95, 115, 101,
		116, 32, 105, 110, 32, 119, 104, 97, 116, 101, 118, 101, 114, 32,
		119, 97, 121, 32, 105, 116, 32, 119, 97, 110, 116, 115, 44, 32,
		101, 46, 103, 46, 10, 32, 32, 98, 121, 32, 97, 100, 100, 105,
		110, 103, 32, 110, 101, 119, 32, 118, 97, 108, 117, 101, 115, 32,
		116, 104, 101, 114, 101, 32, 111, 114, 32, 109, 117, 116, 97, 116,
		105, 110, 103, 47, 100, 101, 108, 101, 116, 105, 110, 103, 32, 101,
		120, 105, 115, 116, 105, 110, 103, 32, 111, 110, 101, 115, 46, 10,
		10, 32, 32, 65, 114, 103, 115, 58, 10, 32, 32, 32, 32, 105,
		109, 112, 108, 58, 32, 97, 32, 99, 97, 108, 108, 98, 97, 99,
		107, 32, 102, 117, 110, 99, 40, 99, 116, 120, 41, 32, 45, 62,
		32, 78, 111, 110, 101, 46, 10, 32, 32, 34, 34, 34, 10, 32,
		32, 95, 95, 110, 97, 116, 105, 118, 101, 95, 95, 46, 97, 100,
		100, 95, 103, 101, 110, 101, 114, 97, 116, 111, 114, 40, 105, 109,
		112, 108, 41, 10}),
	"stdlib/internal/graph.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 10, 95, 75, 69, 89, 95, 79,
		82, 68, 69, 82, 32, 61, 32, 39, 107, 101, 121, 39, 10, 95,
		69, 88, 69, 67, 85, 84, 73, 79, 78, 95, 79, 82, 68, 69,
		82, 32, 61, 32, 39, 101, 120, 101, 99, 39, 10, 10, 10, 100,
		101, 102, 32, 95, 107, 101, 121, 40, 42, 97, 114, 103, 115, 41,
		58, 10, 32, 32, 34, 34, 34, 82, 101, 116, 117, 114, 110, 115,
		32, 97, 32, 107, 101, 121, 32, 119, 105, 116, 104, 32, 103, 105,
		118, 101, 110, 32, 91, 40, 107, 105, 110, 100, 44, 32, 110, 97,
		109, 101, 41, 93, 32, 112, 97, 116, 104, 46, 10, 10, 32, 32,
		84, 104, 101, 32, 107, 105, 110, 100, 32, 105, 110, 32, 116, 104,
		101, 32, 108, 97, 115, 116, 32, 112, 97, 105, 114, 32, 105, 115,
		32, 99, 111, 110, 115, 105, 100, 101, 114, 101, 100, 32, 116, 104,
		101, 32, 112, 114, 105, 110, 99, 105, 112, 97, 108, 32, 107, 105,
		110, 100, 58, 32, 119, 104, 101, 110, 32, 107, 101, 121, 115, 32,
		111, 114, 32, 110, 111, 100, 101, 115, 10, 32, 32, 97, 114, 101,
		32, 102, 105, 108, 116, 101, 114, 101, 100, 32, 98, 121, 32, 107,
		105, 110, 100, 44, 32, 116, 104, 101, 121, 32, 97, 114, 101, 32,
		102, 105, 108, 116, 101, 114, 101, 100, 32, 98, 121, 32, 116, 104,
		101, 32, 107, 105, 110, 100, 32, 102, 114, 111, 109, 32, 116, 104,
		101, 32, 108, 97, 115, 116, 32, 112, 97, 105, 114, 46, 10, 10,
		32, 32, 65, 114, 103, 115, 58, 10, 32, 32, 32, 32, 42, 97,
		114, 103, 115, 58, 32, 101, 118, 101, 110, 32, 110, 117, 109, 98,
		101, 114, 32, 111, 102, 32, 115, 116, 114, 105, 110, 103, 115, 58,
		32, 107, 105, 110, 100, 49, 44, 32, 110, 97, 109, 101, 49, 44,
		32, 107, 105, 110, 100, 50, 44, 32, 110, 97, 109, 101, 50, 44,
		32, 46, 46, 46, 10, 10, 32, 32, 82, 101, 116, 117, 114, 110,
		115, 58, 10, 32, 32, 32, 32, 103, 114, 97, 112, 104, 46, 107,
		101, 121, 32, 111, 98, 106, 101, 99, 116, 32, 114, 101, 112, 114,
		101, 115, 101, 110, 116, 105, 110, 103, 32, 116, 104, 105, 115, 32,
		112, 97, 116, 104, 46, 10, 32, 32, 34, 34, 34, 10, 32, 32,
		114, 101, 116, 117, 114, 110, 32, 95, 95, 110, 97, 116, 105, 118,
		101, 95, 95, 46, 103, 114, 97, 112, 104, 40, 41, 46, 107, 101,
		121, 40, 42, 97, 114, 103, 115, 41, 10, 10, 10, 100, 101, 102,
		32, 95, 97, 100, 100, 95, 110, 111, 100, 101, 40, 107, 101, 121,
		44, 32, 112, 114, 111, 112, 115, 61, 78, 111, 110, 101, 44, 32,
		105, 100, 101, 109, 112, 111, 116, 101, 110, 116, 61, 70, 97, 108,
		115, 101, 44, 32, 116, 114, 97, 99, 101, 61, 78, 111, 110, 101,
		41, 58, 10, 32, 32, 34, 34, 34, 65, 100, 100, 115, 32, 97,
		32, 110, 111, 100, 101, 32, 116, 111, 32, 116, 104, 101, 32, 103,
		114, 97, 112, 104, 46, 10, 10, 32, 32, 73, 102, 32, 115, 117,
		99, 104, 32, 110, 111, 100, 101, 32, 97, 108, 114, 101, 97, 100,
		121, 32, 101, 120, 105, 115, 116, 115, 44, 32, 101, 105, 116, 104,
		101, 114, 32, 102, 97, 105, 108, 115, 32, 114, 105, 103, 104, 116,
		32, 97, 119, 97, 121, 32, 40, 105, 102, 32, 39, 105, 100, 101,
		109, 112, 111, 116, 101, 110, 116, 39, 32, 105, 115, 10, 32, 32,
		102, 97, 108, 115, 101, 41, 44, 32, 111, 114, 32, 118, 101, 114,
		105, 102, 105, 101, 115, 32, 116, 104, 101, 32, 101, 120, 105, 115,
		116, 105, 110, 103, 32, 110, 111, 100, 101, 32, 104, 97, 115, 32,
		97, 108, 115, 111, 32, 98, 101, 101, 110, 32, 109, 97, 114, 107,
		101, 100, 32, 97, 115, 32, 105, 100, 101, 109, 112, 111, 116, 101,
		110, 116, 32, 97, 110, 100, 10, 32, 32, 104, 97, 115, 32, 101,
		120, 97, 99, 116, 32, 115, 97, 109, 101, 32, 112, 114, 111, 112,
		115, 32, 100, 105, 99, 116, 32, 97, 115, 32, 98, 101, 105, 110,
		103, 32, 112, 97, 115, 115, 101, 100, 32, 104, 101, 114, 101, 46,
		10, 10, 32, 32, 65, 108, 115, 111, 32, 102, 97, 105, 108, 115,
		32, 105, 102, 32, 117, 115, 101, 100, 32, 102, 114, 111, 109, 32,
		97, 32, 103, 101, 110, 101, 114, 97, 116, 111, 114, 32, 99, 97,
		108, 108, 98, 97, 99, 107, 58, 32, 97, 116, 32, 116, 104, 105,
		115, 32, 112, 111, 105, 110, 116, 32, 116, 104, 101, 32, 103, 114,
		97, 112, 104, 32, 105, 115, 10, 32, 32, 102, 114, 111, 122, 101,
		110, 32, 97, 110, 100, 32, 99, 97, 110, 39, 116, 32, 98, 101,
		32, 101, 120, 116, 101, 110, 100, 101, 100, 46, 10, 10, 32, 32,
		65, 114, 103, 115, 58, 10, 32, 32, 32, 32, 107, 101, 121, 58,
		32, 97, 32, 110, 111, 100, 101, 32, 107, 101, 121, 44, 32, 97,
		115, 32, 114, 101, 116, 117, 114, 110, 101, 100, 32, 98, 121, 32,
		103, 114, 97, 112, 104, 46, 107, 101, 121, 40, 46, 46, 46, 41,
		46, 10, 32, 32, 32, 32, 112, 114, 111, 112, 115, 58, 32, 97,
		32, 100, 105, 99, 116, 32, 119, 105, 116, 104, 32, 110, 111, 100,
		101, 32, 112, 114, 111, 112, 101, 114, 116, 105, 101, 115, 44, 32,
		119, 105, 108, 108, 32, 98, 101, 32, 102, 114, 111, 122, 101, 110,
		46, 10, 32, 32, 32, 32, 105, 100, 101, 109, 112, 111, 116, 101,
		110, 116, 58, 32, 84, 114, 117, 101, 32, 105, 102, 32, 116, 104,
		105, 115, 32, 110, 111, 100, 101, 32, 99, 97, 110, 32, 98, 101,
		32, 114, 101, 100, 101, 99, 108, 97, 114, 101, 100, 44, 32, 98,
		117, 116, 32, 111, 110, 108, 121, 32, 119, 105, 116, 104, 32, 115,
		97, 109, 101, 32, 112, 114, 111, 112, 115, 46, 10, 32, 32, 32,
		32, 116, 114, 97, 99, 101, 58, 32, 97, 32, 115, 116, 97, 99,
		107, 32, 116, 114, 97, 99, 101, 32, 116, 111, 32, 97, 115, 115,
		111, 99, 105, 97, 116, 101, 32, 119, 105, 116, 104, 32, 116, 104,
		101, 32, 110, 111, 100, 101, 46, 10, 10, 32, 32, 82, 101, 116,
		117, 114, 110, 115, 58, 10, 32, 32, 32, 32, 103, 114, 97, 112,
		104, 46, 110, 111, 100, 101, 32, 111, 98, 106, 101, 99, 116, 32,
		114, 101, 112, 114, 101, 115, 101, 110, 116, 105, 110, 103, 32, 116,
		104, 101, 32, 110, 111, 100, 101, 46, 10, 32, 32, 34, 34, 34,
		10, 32, 32, 114, 101, 116, 117, 114, 110, 32, 95, 95, 110, 97,
		116, 105, 118, 101, 95, 95, 46, 103, 114, 97, 112, 104, 40, 41,
		46, 97, 100, 100, 95, 110, 111, 100, 101, 40, 10, 32, 32, 32,
		32, 32, 32, 107, 101, 121, 44, 32, 112, 114, 111, 112, 115, 32,
		111, 114, 32, 123, 125, 44, 32, 98, 111, 111, 108, 40, 105, 100,
		101, 109, 112, 111, 116, 101, 110, 116, 41, 44, 32, 116, 114, 97,
		99, 101, 32, 111, 114, 32, 115, 116, 97, 99, 107, 116, 114, 97,
		99, 101, 40, 115, 107, 105, 112, 61, 49, 41, 41, 10, 10, 10,
		100, 101, 102, 32, 95, 97, 100, 100, 95, 101, 100, 103, 101, 40,
		112, 97, 114, 101, 110, 116, 44, 32, 99, 104, 105, 108, 100, 44,
		32, 116, 105, 116, 108, 101, 61, 78, 111, 110, 101, 44, 32, 116,
		114, 97, 99, 101, 61, 78, 111, 110, 101, 41, 58, 10, 32, 32,
		34, 34, 34, 65, 100, 100, 115, 32, 97, 110, 32, 101, 100, 103,
		101, 32, 116, 111, 32, 116, 104, 101, 32, 103, 114, 97, 112, 104,
		46, 10, 10, 32, 32, 78, 101, 105, 116, 104, 101, 114, 32, 111,
		102, 32, 116, 104, 101, 32, 110, 111, 100, 101, 115, 32, 104, 97,
		118, 101, 32, 116, 111, 32, 101, 120, 105, 115, 116, 32, 121, 101,
		116, 58, 32, 105, 116, 32, 105, 115, 32, 79, 75, 32, 116, 111,
		32, 100, 101, 99, 108, 97, 114, 101, 32, 110, 111, 100, 101, 115,
		32, 97, 110, 100, 32, 101, 100, 103, 101, 115, 10, 32, 32, 105,
		110, 32, 97, 114, 98, 105, 116, 114, 97, 114, 121, 32, 111, 114,
		100, 101, 114, 32, 97, 115, 32, 108, 111, 110, 103, 32, 97, 115,
		32, 97, 116, 32, 116, 104, 101, 32, 101, 110, 100, 32, 111, 102,
		32, 116, 104, 101, 32, 115, 99, 114, 105, 112, 116, 32, 101, 120,
		101, 99, 117, 116, 105, 111, 110, 32, 40, 119, 104, 101, 110, 32,
		116, 104, 101, 10, 32, 32, 103, 114, 97, 112, 104, 32, 105, 115,
		32, 102, 105, 110, 97, 108, 105, 122, 101, 100, 41, 32, 116, 104,
		101, 32, 103, 114, 97, 112, 104, 32, 105, 115, 32, 99, 111, 109,
		112, 108, 101, 116, 101, 46, 10, 10, 32, 32, 70, 97, 105, 108,
		115, 32, 105, 102, 32, 116, 104, 101, 114, 101, 39, 115, 32, 97,
		108, 114, 101, 97, 100, 121, 32, 97, 110, 32, 101, 100, 103, 101,
		32, 98, 101, 116, 119, 101, 101, 110, 32, 116, 104, 101, 32, 103,
		105, 118, 101, 110, 32, 110, 111, 100, 101, 115, 32, 119, 105, 116,
		104, 32, 101, 120, 97, 99, 116, 32, 115, 97, 109, 101, 32, 116,
		105, 116, 108, 101, 10, 32, 32, 111, 114, 32, 116, 104, 101, 32,
		110, 101, 119, 32, 101, 100, 103, 101, 32, 105, 110, 116, 114, 111,
		100, 117, 99, 101, 115, 32, 97, 32, 99, 121, 99, 108, 101, 46,
		10, 10, 32, 32, 65, 108, 115, 111, 32, 102, 97, 105, 108, 115,
		32, 105, 102, 32, 117, 115, 101, 100, 32, 102, 114, 111, 109, 32,
		97, 32, 103, 101, 110, 101, 114, 97, 116, 111, 114, 32, 99, 97,
		108, 108, 98, 97, 99, 107, 58, 32, 97, 116, 32, 116, 104, 105,
		115, 32, 112, 111, 105, 110, 116, 32, 116, 104, 101, 32, 103, 114,
		97, 112, 104, 32, 105, 115, 10, 32, 32, 102, 114, 111, 122, 101,
		110, 32, 97, 110, 100, 32, 99, 97, 110, 39, 116, 32, 98, 101,
		32, 101, 120, 116, 101, 110, 100, 101, 100, 46, 10, 10, 32, 32,
		65, 114, 103, 115, 58, 10, 32, 32, 32, 32, 112, 97, 114, 101,
		110, 116, 58, 32, 97, 32, 112, 97, 114, 101, 110, 116, 32, 110,
		111, 100, 101, 32, 107, 101, 121, 44, 32, 97, 115, 32, 114, 101,
		116, 117, 114, 110, 101, 100, 32, 98, 121, 32, 103, 114, 97, 112,
		104, 46, 107, 101, 121, 40, 46, 46, 46, 41, 46, 10, 32, 32,
		32, 32, 99, 104, 105, 108, 100, 58, 32, 97, 32, 99, 104, 105,
		108, 100, 32, 110, 111, 100, 101, 32, 107, 101, 121, 44, 32, 97,
		115, 32, 114, 101, 116, 117, 114, 110, 101, 100, 32, 98, 121, 32,
		103, 114, 97, 112, 104, 46, 107, 101, 121, 40, 46, 46, 46, 41,
		46, 10, 32, 32, 32, 32, 116, 105, 116, 108, 101, 58, 32, 97,
		32, 116, 105, 116, 108, 101, 32, 102, 111, 114, 32, 116, 104, 101,
		32, 101, 100, 103, 101, 44, 32, 117, 115, 101, 100, 32, 105, 110,
		32, 101, 114, 114, 111, 114, 32, 109, 101, 115, 115, 97, 103, 101,
		115, 46, 10, 32, 32, 32, 32, 116, 114, 97, 99, 101, 58, 32,
		97, 32, 115, 116, 97, 99, 107, 32, 116, 114, 97, 99, 101, 32,
		116, 111, 32, 97, 115, 115, 111, 99, 105, 97, 116, 101, 32, 119,
		105, 116, 104, 32, 116, 104, 101, 32, 101, 100, 103, 101, 46, 10,
		32, 32, 34, 34, 34, 10, 32, 32, 114, 101, 116, 117, 114, 110,
		32, 95, 95, 110, 97, 116, 105, 118, 101, 95, 95, 46, 103, 114,
		97, 112, 104, 40, 41, 46, 97, 100, 100, 95, 101, 100, 103, 101,
		40, 10, 32, 32, 32, 32, 32, 32, 112, 97, 114, 101, 110, 116,
		44, 32, 99, 104, 105, 108, 100, 44, 32, 116, 105, 116, 108, 101,
		32, 111, 114, 32, 39, 39, 44, 32, 116, 114, 97, 99, 101, 32,
		111, 114, 32, 115, 116, 97, 99, 107, 116, 114, 97, 99, 101, 40,
		115, 107, 105, 112, 61, 49, 41, 41, 10, 10, 10, 100, 101, 102,
		32, 95, 110, 111, 100, 101, 40, 107, 101, 121, 41, 58, 10, 32,
		32, 34, 34, 34, 82, 101, 116, 117, 114, 110, 115, 32, 97, 32,
		110, 111, 100, 101, 32, 98, 121, 32, 116, 104, 101, 32, 107, 101,
		121, 32, 111, 114, 32, 78, 111, 110, 101, 32, 105, 102, 32, 116,
		104, 101, 114, 101, 39, 115, 32, 110, 111, 32, 115, 117, 99, 104,
		32, 110, 111, 100, 101, 46, 10, 10, 32, 32, 70, 97, 105, 108,
		115, 32, 105, 102, 32, 99, 97, 108, 108, 101, 100, 32, 110, 111,
		116, 32, 102, 114, 111, 109, 32, 97, 32, 103, 101, 110, 101, 114,
		97, 116, 111, 114, 32, 99, 97, 108, 108, 98, 97, 99, 107, 58,
		32, 97, 32, 103, 114, 97, 112, 104, 32, 117, 110, 100, 101, 114,
		32, 99, 111, 110, 115, 116, 114, 117, 99, 116, 105, 111, 110, 10,
		32, 32, 99, 97, 110, 39, 116, 32, 98, 101, 32, 113, 117, 101,
		114, 105, 101, 100, 46, 10, 10, 32, 32, 65, 114, 103, 115, 58,
		10, 32, 32, 32, 32, 107, 101, 121, 58, 32, 97, 32, 110, 111,
		100, 101, 32, 107, 101, 121, 44, 32, 97, 115, 32, 114, 101, 116,
		117, 114, 110, 101, 100, 32, 98, 121, 32, 103, 114, 97, 112, 104,
		46, 107, 101, 121, 40, 46, 46, 46, 41, 46, 10, 10, 32, 32,
		82, 101, 116, 117, 114, 110, 115, 58, 10, 32, 32, 32, 32, 103,
		114, 97, 112, 104, 46, 110, 111, 100, 101, 32, 111, 98, 106, 101,
		99, 116, 32, 114, 101, 112, 114, 101, 115, 101, 110, 116, 105, 110,
		103, 32, 116, 104, 101, 32, 110, 111, 100, 101, 46, 10, 32, 32,
		34, 34, 34, 10, 32, 32, 114, 101, 116, 117, 114, 110, 32, 95,
		95, 110, 97, 116, 105, 118, 101, 95, 95, 46, 103, 114, 97, 112,
		104, 40, 41, 46, 110, 111, 100, 101, 40, 107, 101, 121, 41, 10,
		10, 10, 100, 101, 102, 32, 95, 99, 104, 105, 108, 100, 114, 101,
		110, 40, 112, 97, 114, 101, 110, 116, 44, 32, 107, 105, 110, 100,
		44, 32, 111, 114, 100, 101, 114, 95, 98, 121, 61, 95, 75, 69,
		89, 95, 79, 82, 68, 69, 82, 41, 58, 10, 32, 32, 34, 34,
		34, 82, 101, 116, 117, 114, 110, 115, 32, 100, 105, 114, 101, 99,
		116, 32, 99, 104, 105, 108, 100, 114, 101, 110, 32, 111, 102, 32,
		97, 32, 110, 111, 100, 101, 32, 40, 103, 105, 118, 101, 110, 32,
		98, 121, 32, 105, 116, 115, 32, 107, 101, 121, 41, 32, 119, 105,
		116, 104, 32, 116, 104, 101, 32, 103, 105, 118, 101, 110, 32, 107,
		105, 110, 100, 46, 10, 10, 32, 32, 70, 97, 105, 108, 115, 32,
		105, 102, 32, 99, 97, 108, 108, 101, 100, 32, 110, 111, 116, 32,
		102, 114, 111, 109, 32, 97, 32, 103, 101, 110, 101, 114, 97, 116,
		111, 114, 32, 99, 97, 108, 108, 98, 97, 99, 107, 58, 32, 97,
		32, 103, 114, 97, 112, 104, 32, 117, 110, 100, 101, 114, 32, 99,
		111, 110, 115, 116, 114, 117, 99, 116, 105, 111, 110, 10, 32, 32,
		99, 97, 110, 39, 116, 32, 98, 101, 32, 113, 117, 101, 114, 105,
		101, 100, 46, 10, 10, 32, 32, 65, 114, 103, 115, 58, 10, 32,
		32, 32, 32, 112, 97, 114, 101, 110, 116, 58, 32, 97, 32, 107,
		101, 121, 32, 111, 102, 32, 116, 104, 101, 32, 112, 97, 114, 101,
		110, 116, 32, 110, 111, 100, 101, 44, 32, 97, 115, 32, 114, 101,
		116, 117, 114, 110, 101, 100, 32, 98, 121, 32, 103, 114, 97, 112,
		104, 46, 107, 101, 121, 40, 46, 46, 46, 41, 46, 10, 32, 32,
		32, 32, 107, 105, 110, 100, 58, 32, 97, 32, 115, 116, 114, 105,
		110, 103, 32, 119, 105, 116, 104, 32, 97, 32, 107, 105, 110, 100,
		32, 111, 102, 32, 99, 104, 105, 108, 100, 114, 101, 110, 32, 116,
		111, 32, 114, 101, 116, 117, 114, 110, 46, 10, 32, 32, 32, 32,
		111, 114, 100, 101, 114, 95, 98, 121, 58, 32, 101, 105, 116, 104,
		101, 114, 32, 75, 69, 89, 95, 79, 82, 68, 69, 82, 32, 111,
		114, 32, 69, 88, 69, 67, 85, 84, 73, 79, 78, 95, 79, 82,
		68, 69, 82, 44, 32, 100, 101, 102, 97, 117, 108, 116, 32, 75,
		69, 89, 95, 79, 82, 68, 69, 82, 46, 10, 10, 32, 32, 82,
		101, 116, 117, 114, 110, 115, 58, 10, 32, 32, 32, 32, 76, 105,
		115, 116, 32, 111, 102, 32, 103, 114, 97, 112, 104, 46, 110, 111,
		100, 101, 32, 111, 98, 106, 101, 99, 116, 115, 46, 10, 32, 32,
		34, 34, 34, 10, 32, 32, 114, 101, 116, 117, 114, 110, 32, 95,
		95, 110, 97, 116, 105, 118, 101, 95, 95, 46, 103, 114, 97, 112,
		104, 40, 41, 46, 99, 104, 105, 108, 100, 114, 101, 110, 40, 112,
		97, 114, 101, 110, 116, 44, 32, 107, 105, 110, 100, 44, 32, 111,
		114, 100, 101, 114, 95, 98, 121, 41, 10, 10, 10, 100, 101, 102,
		32, 95, 112, 97, 114, 101, 110, 116, 115, 40, 99, 104, 105, 108,
		100, 44, 32, 107, 105, 110, 100, 44, 32, 111, 114, 100, 101, 114,
		95, 98, 121, 61, 95, 75, 69, 89, 95, 79, 82, 68, 69, 82,
		41, 58, 10, 32, 32, 34, 34, 34, 82, 101, 116, 117, 114, 110,
		115, 32, 100, 105, 114, 101, 99, 116, 32, 112, 97, 114, 101, 110,
		116, 115, 32, 111, 102, 32, 97, 32, 110, 111, 100, 101, 32, 40,
		103, 105, 118, 101, 110, 32, 98, 121, 32, 105, 116, 115, 32, 107,
		101, 121, 41, 32, 119, 105, 116, 104, 32, 116, 104, 101, 32, 103,
		105, 118, 101, 110, 32, 107, 105, 110, 100, 46, 10, 10, 32, 32,
		70, 97, 105, 108, 115, 32, 105, 102, 32, 99, 97, 108, 108, 101,
		100, 32, 110, 111, 116, 32, 102, 114, 111, 109, 32, 97, 32, 103,
		101, 110, 101, 114, 97, 116, 111, 114, 32, 99, 97, 108, 108, 98,
		97, 99, 107, 58, 32, 97, 32, 103, 114, 97, 112, 104, 32, 117,
		110, 100, 101, 114, 32, 99, 111, 110, 115, 116, 114, 117, 99, 116,
		105, 111, 110, 10, 32, 32, 99, 97, 110, 39, 116, 32, 98, 101,
		32, 113, 117, 101, 114, 105, 101, 100, 46, 10, 10, 32, 32, 65,
		114, 103, 115, 58, 10, 32, 32, 32, 32, 99, 104, 105, 108, 100,
		58, 32, 97, 32, 107, 101, 121, 32, 111, 102, 32, 116, 104, 101,
		32, 110, 111, 100, 101, 32, 116, 111, 32, 102, 105, 110, 100, 32,
		112, 97, 114, 101, 110, 116, 115, 32, 111, 102, 44, 32, 97, 115,
		32, 114, 101, 116, 117, 114, 110, 101, 100, 32, 98, 121, 32, 103,
		114, 97, 112, 104, 46, 107, 101, 121, 40, 46, 46, 46, 41, 46,
		10, 32, 32, 32, 32, 107, 105, 110, 100, 58, 32, 97, 32, 115,
		116, 114, 105, 110, 103, 32, 119, 105, 116, 104, 32, 97, 32, 107,
		105, 110, 100, 32, 111, 102, 32, 112, 97, 114, 101, 110, 116, 115,
		32, 116, 111, 32, 114, 101, 116, 117, 114, 110, 46, 10, 32, 32,
		32, 32, 111, 114, 100, 101, 114, 95, 98, 121, 58, 32, 101, 105,
		116, 104, 101, 114, 32, 75, 69, 89, 95, 79, 82, 68, 69, 82,
		32, 111, 114, 32, 69, 88, 69, 67, 85, 84, 73, 79, 78, 95,
		79, 82, 68, 69, 82, 44, 32, 100, 101, 102, 97, 117, 108, 116,
		32, 75, 69, 89, 95, 79, 82, 68, 69, 82, 46, 10, 10, 32,
		32, 82, 101, 116, 117, 114, 110, 115, 58, 10, 32, 32, 32, 32,
		76, 105, 115, 116, 32, 111, 102, 32, 103, 114, 97, 112, 104, 46,
		110, 111, 100, 101, 32, 111, 98, 106, 101, 99, 116, 115, 46, 10,
		32, 32, 34, 34, 34, 10, 32, 32, 114, 101, 116, 117, 114, 110,
		32, 95, 95, 110, 97, 116, 105, 118, 101, 95, 95, 46, 103, 114,
		97, 112, 104, 40, 41, 46, 112, 97, 114, 101, 110, 116, 115, 40,
		99, 104, 105, 108, 100, 44, 32, 107, 105, 110, 100, 44, 32, 111,
		114, 100, 101, 114, 95, 98, 121, 41, 10, 10, 10, 35, 32, 80,
		117, 98, 108, 105, 99, 32, 65, 80, 73, 32, 111, 102, 32, 116,
		104, 105, 115, 32, 109, 111, 100, 117, 108, 101, 46, 10, 103, 114,
		97, 112, 104, 32, 61, 32, 115, 116, 114, 117, 99, 116, 40, 10,
		32, 32, 32, 32, 75, 69, 89, 95, 79, 82, 68, 69, 82, 32,
		61, 32, 95, 75, 69, 89, 95, 79, 82, 68, 69, 82, 44, 10,
		32, 32, 32, 32, 69, 88, 69, 67, 85, 84, 73, 79, 78, 95,
		79, 82, 68, 69, 82, 32, 61, 32, 95, 69, 88, 69, 67, 85,
		84, 73, 79, 78, 95, 79, 82, 68, 69, 82, 44, 10, 10, 32,
		32, 32, 32, 107, 101, 121, 32, 61, 32, 95, 107, 101, 121, 44,
		10, 32, 32, 32, 32, 97, 100, 100, 95, 110, 111, 100, 101, 32,
		61, 32, 95, 97, 100, 100, 95, 110, 111, 100, 101, 44, 10, 32,
		32, 32, 32, 97, 100, 100, 95, 101, 100, 103, 101, 32, 61, 32,
		95, 97, 100, 100, 95, 101, 100, 103, 101, 44, 10, 32, 32, 32,
		32, 110, 111, 100, 101, 32, 61, 32, 95, 110, 111, 100, 101, 44,
		10, 32, 32, 32, 32, 99, 104, 105, 108, 100, 114, 101, 110, 32,
		61, 32, 95, 99, 104, 105, 108, 100, 114, 101, 110, 44, 10, 32,
		32, 32, 32, 112, 97, 114, 101, 110, 116, 115, 32, 61, 32, 95,
		112, 97, 114, 101, 110, 116, 115, 44, 10, 41, 10}),
	"stdlib/internal/luci/common.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 34, 34, 34, 68, 101, 102, 105,
		110, 105, 116, 105, 111, 110, 115, 32, 105, 109, 112, 111, 114, 116,
		101, 100, 32, 98, 121, 32, 97, 108, 108, 32, 111, 116, 104, 101,
		114, 32, 108, 117, 99, 105, 47, 42, 42, 47, 42, 46, 115, 116,
		97, 114, 32, 109, 111, 100, 117, 108, 101, 115, 46, 10, 10, 83,
		104, 111, 117, 108, 100, 32, 110, 111, 116, 32, 105, 109, 112, 111,
		114, 116, 32, 111, 116, 104, 101, 114, 32, 76, 85, 67, 73, 32,
		109, 111, 100, 117, 108, 101, 115, 32, 116, 111, 32, 97, 118, 111,
		105, 100, 32, 100, 101, 112, 101, 110, 100, 101, 110, 99, 121, 32,
		99, 121, 99, 108, 101, 115, 46, 10, 34, 34, 34, 10, 10, 108,
		111, 97, 100, 40, 39, 64, 115, 116, 100, 108, 105, 98, 47, 47,
		105, 110, 116, 101, 114, 110, 97, 108, 47, 103, 114, 97, 112, 104,
		46, 115, 116, 97, 114, 39, 44, 32, 39, 103, 114, 97, 112, 104,
		39, 41, 10, 10, 10, 35, 32, 78, 111, 100, 101, 32, 100, 101,
		112, 101, 110, 100, 101, 110, 99, 105, 101, 115, 32, 40, 112, 97,
		114, 101, 110, 116, 32, 45, 62, 32, 99, 104, 105, 108, 100, 41,
		58, 10, 35, 32, 32, 32, 99, 111, 114, 101, 46, 112, 114, 111,
		106, 101, 99, 116, 58, 32, 114, 111, 111, 116, 10, 35, 32, 32,
		32, 99, 111, 114, 101, 46, 112, 114, 111, 106, 101, 99, 116, 32,
		45, 62, 32, 99, 111, 114, 101, 46, 108, 111, 103, 100, 111, 103,
		10, 35, 32, 32, 32, 99, 111, 114, 101, 46, 112, 114, 111, 106,
		101, 99, 116, 32, 45, 62, 32, 91, 99, 111, 114, 101, 46, 98,
		117, 99, 107, 101, 116, 93, 10, 10, 10, 35, 32, 75, 105, 110,
		100, 115, 32, 105, 115, 32, 97, 32, 101, 110, 117, 109, 45, 108,
		105, 107, 101, 32, 115, 116, 114, 117, 99, 116, 32, 119, 105, 116,
		104, 32, 110, 111, 100, 101, 32, 107, 105, 110, 100, 115, 32, 111,
		102, 32, 118, 97, 114, 105, 111, 117, 115, 32, 76, 85, 67, 73,
		32, 99, 111, 110, 102, 105, 103, 32, 110, 111, 100, 101, 115, 46,
		10, 107, 105, 110, 100, 115, 32, 61, 32, 115, 116, 114, 117, 99,
		116, 40, 10, 32, 32, 32, 32, 80, 82, 79, 74, 69, 67, 84,
		32, 61, 32, 39, 99, 111, 114, 101, 46, 112, 114, 111, 106, 101,
		99, 116, 39, 44, 10, 32, 32, 32, 32, 76, 79, 71, 68, 79,
		71, 32, 61, 32, 39, 99, 111, 114, 101, 46, 108, 111, 103, 100,
		111, 103, 39, 44, 10, 32, 32, 32, 32, 66, 85, 67, 75, 69,
		84, 32, 61, 32, 39, 99, 111, 114, 101, 46, 98, 117, 99, 107,
		101, 116, 39, 44, 10, 41, 10, 10, 10, 35, 32, 75, 101, 121,
		115, 32, 105, 115, 32, 97, 32, 99, 111, 108, 108, 101, 99, 116,
		105, 111, 110, 32, 111, 102, 32, 107, 101, 121, 32, 99, 111, 110,
		115, 116, 114, 117, 99, 116, 111, 114, 115, 32, 102, 111, 114, 32,
		118, 97, 114, 105, 111, 117, 115, 32, 76, 85, 67, 73, 32, 99,
		111, 110, 102, 105, 103, 32, 110, 111, 100, 101, 115, 46, 10, 107,
		101, 121, 115, 32, 61, 32, 115, 116, 114, 117, 99, 116, 40, 10,
		32, 32, 32, 32, 112, 114, 111, 106, 101, 99, 116, 32, 61, 32,
		108, 97, 109, 98, 100, 97, 58, 32, 103, 114, 97, 112, 104, 46,
		107, 101, 121, 40, 107, 105, 110, 100, 115, 46, 80, 82, 79, 74,
		69, 67, 84, 44, 32, 39, 46, 46, 46, 39, 41, 44, 32, 32,
		35, 32, 115, 105, 110, 103, 108, 101, 116, 111, 110, 10, 32, 32,
		32, 32, 108, 111, 103, 100, 111, 103, 32, 61, 32, 108, 97, 109,
		98, 100, 97, 58, 32, 103, 114, 97, 112, 104, 46, 107, 101, 121,
		40, 107, 105, 110, 100, 115, 46, 76, 79, 71, 68, 79, 71, 44,
		32, 39, 46, 46, 46, 39, 41, 44, 32, 32, 35, 32, 115, 105,
		110, 103, 108, 101, 116, 111, 110, 10, 32, 32, 32, 32, 98, 117,
		99, 107, 101, 116, 32, 61, 32, 108, 97, 109, 98, 100, 97, 32,
		110, 97, 109, 101, 58, 32, 103, 114, 97, 112, 104, 46, 107, 101,
		121, 40, 107, 105, 110, 100, 115, 46, 66, 85, 67, 75, 69, 84,
		44, 32, 110, 97, 109, 101, 41, 44, 10, 41, 10}),
	"stdlib/internal/luci/generators.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 34, 34, 34, 73, 109, 112, 108,
		101, 109, 101, 110, 116, 97, 116, 105, 111, 110, 32, 111, 102, 32,
		118, 97, 114, 105, 111, 117, 115, 32, 76, 85, 67, 73, 32, 42,
		46, 99, 102, 103, 32, 102, 105, 108, 101, 32, 103, 101, 110, 101,
		114, 97, 116, 111, 114, 115, 46, 34, 34, 34, 10, 10, 108, 111,
		97, 100, 40, 39, 64, 115, 116, 100, 108, 105, 98, 47, 47, 105,
		110, 116, 101, 114, 110, 97, 108, 47, 103, 101, 110, 101, 114, 97,
		116, 111, 114, 46, 115, 116, 97, 114, 39, 44, 32, 39, 103, 101,
		110, 101, 114, 97, 116, 111, 114, 39, 41, 10, 108, 111, 97, 100,
		40, 39, 64, 115, 116, 100, 108, 105, 98, 47, 47, 105, 110, 116,
		101, 114, 110, 97, 108, 47, 103, 114, 97, 112, 104, 46, 115, 116,
		97, 114, 39, 44, 32, 39, 103, 114, 97, 112, 104, 39, 41, 10,
		108, 111, 97, 100, 40, 39, 64, 115, 116, 100, 108, 105, 98, 47,
		47, 105, 110, 116, 101, 114, 110, 97, 108, 47, 108, 117, 99, 105,
		47, 99, 111, 109, 109, 111, 110, 46, 115, 116, 97, 114, 39, 44,
		32, 39, 107, 101, 121, 115, 39, 44, 32, 39, 107, 105, 110, 100,
		115, 39, 41, 10, 108, 111, 97, 100, 40, 39, 64, 115, 116, 100,
		108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110, 97, 108, 47,
		108, 117, 99, 105, 47, 108, 105, 98, 47, 97, 99, 108, 46, 115,
		116, 97, 114, 39, 44, 32, 39, 97, 99, 108, 39, 44, 32, 39,
		97, 99, 108, 105, 109, 112, 108, 39, 41, 10, 10, 108, 111, 97,
		100, 40, 39, 64, 112, 114, 111, 116, 111, 47, 47, 108, 117, 99,
		105, 47, 108, 111, 103, 100, 111, 103, 47, 112, 114, 111, 106, 101,
		99, 116, 95, 99, 111, 110, 102, 105, 103, 46, 112, 114, 111, 116,
		111, 39, 44, 32, 108, 111, 103, 100, 111, 103, 95, 112, 98, 61,
		39, 115, 118, 99, 99, 111, 110, 102, 105, 103, 39, 41, 10, 108,
		111, 97, 100, 40, 39, 64, 112, 114, 111, 116, 111, 47, 47, 108,
		117, 99, 105, 47, 98, 117, 105, 108, 100, 98, 117, 99, 107, 101,
		116, 47, 112, 114, 111, 106, 101, 99, 116, 95, 99, 111, 110, 102,
		105, 103, 46, 112, 114, 111, 116, 111, 39, 44, 32, 98, 117, 105,
		108, 100, 98, 117, 99, 107, 101, 116, 95, 112, 98, 61, 39, 98,
		117, 105, 108, 100, 98, 117, 99, 107, 101, 116, 39, 41, 10, 108,
		111, 97, 100, 40, 39, 64, 112, 114, 111, 116, 111, 47, 47, 108,
		117, 99, 105, 47, 99, 111, 110, 102, 105, 103, 47, 112, 114, 111,
		106, 101, 99, 116, 95, 99, 111, 110, 102, 105, 103, 46, 112, 114,
		111, 116, 111, 39, 44, 32, 99, 111, 110, 102, 105, 103, 95, 112,
		98, 61, 39, 99, 111, 110, 102, 105, 103, 39, 41, 10, 10, 10,
		100, 101, 102, 32, 114, 101, 103, 105, 115, 116, 101, 114, 40, 41,
		58, 10, 32, 32, 34, 34, 34, 82, 101, 103, 105, 115, 116, 101,
		114, 115, 32, 97, 108, 108, 32, 76, 85, 67, 73, 32, 99, 111,
		110, 102, 105, 103, 32, 103, 101, 110, 101, 114, 97, 116, 111, 114,
		32, 99, 97, 108, 108, 98, 97, 99, 107, 115, 46, 34, 34, 34,
		10, 32, 32, 103, 101, 110, 101, 114, 97, 116, 111, 114, 40, 105,
		109, 112, 108, 32, 61, 32, 103, 101, 110, 95, 112, 114, 111, 106,
		101, 99, 116, 95, 99, 102, 103, 41, 10, 32, 32, 103, 101, 110,
		101, 114, 97, 116, 111, 114, 40, 105, 109, 112, 108, 32, 61, 32,
		103, 101, 110, 95, 108, 111, 103, 100, 111, 103, 95, 99, 102, 103,
		41, 10, 32, 32, 103, 101, 110, 101, 114, 97, 116, 111, 114, 40,
		105, 109, 112, 108, 32, 61, 32, 103, 101, 110, 95, 98, 117, 105,
		108, 100, 98, 117, 99, 107, 101, 116, 95, 99, 102, 103, 41, 10,
		10, 10, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 10, 35,
		35, 32, 85, 116, 105, 108, 105, 116, 105, 101, 115, 32, 116, 111,
		32, 98, 101, 32, 117, 115, 101, 100, 32, 102, 114, 111, 109, 32,
		103, 101, 110, 101, 114, 97, 116, 111, 114, 115, 46, 10, 10, 10,
		100, 101, 102, 32, 103, 101, 116, 95, 112, 114, 111, 106, 101, 99,
		116, 40, 114, 101, 113, 117, 105, 114, 101, 100, 61, 84, 114, 117,
		101, 41, 58, 10, 32, 32, 34, 34, 34, 82, 101, 116, 117, 114,
		110, 115, 32, 112, 114, 111, 106, 101, 99, 116, 40, 41, 32, 110,
		111, 100, 101, 32, 111, 114, 32, 102, 97, 105, 108, 115, 32, 105,
		102, 32, 105, 116, 32, 119, 97, 115, 110, 39, 116, 32, 100, 101,
		99, 108, 97, 114, 101, 100, 46, 34, 34, 34, 10, 32, 32, 110,
		32, 61, 32, 103, 114, 97, 112, 104, 46, 110, 111, 100, 101, 40,
		107, 101, 121, 115, 46, 112, 114, 111, 106, 101, 99, 116, 40, 41,
		41, 10, 32, 32, 105, 102, 32, 110, 111, 116, 32, 110, 32, 97,
		110, 100, 32, 114, 101, 113, 117, 105, 114, 101, 100, 58, 10, 32,
		32, 32, 32, 102, 97, 105, 108, 40, 39, 112, 114, 111, 106, 101,
		99, 116, 40, 46, 46, 46, 41, 32, 100, 101, 102, 105, 110, 105,
		116, 105, 111, 110, 32, 105, 115, 32, 109, 105, 115, 115, 105, 110,
		103, 44, 32, 105, 116, 32, 105, 115, 32, 114, 101, 113, 117, 105,
		114, 101, 100, 39, 41, 10, 32, 32, 114, 101, 116, 117, 114, 110,
		32, 110, 10, 10, 10, 100, 101, 102, 32, 103, 101, 116, 95, 115,
		101, 114, 118, 105, 99, 101, 40, 107, 105, 110, 100, 44, 32, 119,
		104, 121, 41, 58, 10, 32, 32, 34, 34, 34, 82, 101, 116, 117,
		114, 110, 115, 32, 115, 101, 114, 118, 105, 99, 101, 32, 115, 116,
		114, 117, 99, 116, 32, 40, 115, 101, 101, 32, 115, 101, 114, 118,
		105, 99, 101, 46, 115, 116, 97, 114, 41, 44, 32, 114, 101, 97,
		100, 105, 110, 103, 32, 105, 116, 32, 102, 114, 111, 109, 32, 112,
		114, 111, 106, 101, 99, 116, 32, 110, 111, 100, 101, 46, 34, 34,
		34, 10, 32, 32, 112, 114, 111, 106, 32, 61, 32, 103, 101, 116,
		95, 112, 114, 111, 106, 101, 99, 116, 40, 41, 10, 32, 32, 115,
		118, 99, 32, 61, 32, 103, 101, 116, 97, 116, 116, 114, 40, 112,
		114, 111, 106, 46, 112, 114, 111, 112, 115, 44, 32, 107, 105, 110,
		100, 41, 10, 32, 32, 105, 102, 32, 110, 111, 116, 32, 115, 118,
		99, 58, 10, 32, 32, 32, 32, 102, 97, 105, 108, 40, 10, 32,
		32, 32, 32, 32, 32, 32, 32, 39, 109, 105, 115, 115, 105, 110,
		103, 32, 37, 114, 32, 105, 110, 32, 99, 111, 114, 101, 46, 112,
		114, 111, 106, 101, 99, 116, 40, 46, 46, 46, 41, 44, 32, 105,
		116, 32, 105, 115, 32, 114, 101, 113, 117, 105, 114, 101, 100, 32,
		102, 111, 114, 32, 37, 115, 39, 32, 37, 32, 40, 107, 105, 110,
		100, 44, 32, 119, 104, 121, 41, 44, 10, 32, 32, 32, 32, 32,
		32, 32, 32, 116, 114, 97, 99, 101, 61, 112, 114, 111, 106, 46,
		116, 114, 97, 99, 101, 44, 10, 32, 32, 32, 32, 41, 10, 32,
		32, 114, 101, 116, 117, 114, 110, 32, 115, 118, 99, 10, 10, 10,
		100, 101, 102, 32, 103, 101, 116, 95, 98, 117, 99, 107, 101, 116,
		115, 40, 41, 58, 10, 32, 32, 34, 34, 34, 82, 101, 116, 117,
		114, 110, 115, 32, 97, 108, 108, 32, 100, 101, 102, 105, 110, 101,
		100, 32, 98, 117, 99, 107, 101, 116, 40, 41, 32, 110, 111, 100,
		101, 115, 44, 32, 105, 102, 32, 97, 110, 121, 46, 34, 34, 34,
		10, 32, 32, 114, 101, 116, 117, 114, 110, 32, 103, 114, 97, 112,
		104, 46, 99, 104, 105, 108, 100, 114, 101, 110, 40, 107, 101, 121,
		115, 46, 112, 114, 111, 106, 101, 99, 116, 40, 41, 44, 32, 107,
		105, 110, 100, 115, 46, 66, 85, 67, 75, 69, 84, 41, 10, 10,
		10, 100, 101, 102, 32, 103, 101, 116, 95, 112, 114, 111, 106, 101,
		99, 116, 95, 97, 99, 108, 115, 40, 41, 58, 10, 32, 32, 34,
		34, 34, 82, 101, 116, 117, 114, 110, 115, 32, 91, 97, 99, 108,
		46, 101, 108, 101, 109, 101, 110, 116, 97, 114, 121, 93, 32, 119,
		105, 116, 104, 32, 116, 104, 101, 32, 112, 114, 111, 106, 101, 99,
		116, 45, 108, 101, 118, 101, 108, 32, 65, 67, 76, 115, 46, 34,
		34, 34, 10, 32, 32, 114, 101, 116, 117, 114, 110, 32, 97, 99,
		108, 105, 109, 112, 108, 46, 110, 111, 114, 109, 97, 108, 105, 122,
		101, 95, 97, 99, 108, 115, 40, 103, 101, 116, 95, 112, 114, 111,
		106, 101, 99, 116, 40, 41, 46, 112, 114, 111, 112, 115, 46, 97,
		99, 108, 115, 41, 10, 10, 10, 100, 101, 102, 32, 103, 101, 116,
		95, 98, 117, 99, 107, 101, 116, 95, 97, 99, 108, 115, 40, 98,
		117, 99, 107, 101, 116, 41, 58, 10, 32, 32, 34, 34, 34, 82,
		101, 116, 117, 114, 110, 115, 32, 91, 97, 99, 108, 46, 101, 108,
		101, 109, 101, 110, 116, 97, 114, 121, 93, 32, 119, 105, 116, 104,
		32, 99, 111, 109, 98, 105, 110, 101, 100, 32, 98, 117, 99, 107,
		101, 116, 32, 97, 110, 100, 32, 112, 114, 111, 106, 101, 99, 116,
		32, 65, 67, 76, 115, 46, 10, 10, 32, 32, 65, 114, 103, 115,
		58, 10, 32, 32, 32, 32, 98, 117, 99, 107, 101, 116, 58, 32,
		97, 32, 98, 117, 99, 107, 101, 116, 32, 110, 111, 100, 101, 44,
		32, 97, 115, 32, 114, 101, 116, 117, 114, 110, 101, 100, 32, 98,
		121, 32, 101, 46, 103, 46, 32, 103, 101, 116, 95, 98, 117, 99,
		107, 101, 116, 115, 40, 41, 46, 10, 32, 32, 34, 34, 34, 10,
		32, 32, 114, 101, 116, 117, 114, 110, 32, 97, 99, 108, 105, 109,
		112, 108, 46, 110, 111, 114, 109, 97, 108, 105, 122, 101, 95, 97,
		99, 108, 115, 40, 98, 117, 99, 107, 101, 116, 46, 112, 114, 111,
		112, 115, 46, 97, 99, 108, 115, 32, 43, 32, 103, 101, 116, 95,
		112, 114, 111, 106, 101, 99, 116, 40, 41, 46, 112, 114, 111, 112,
		115, 46, 97, 99, 108, 115, 41, 10, 10, 10, 100, 101, 102, 32,
		102, 105, 108, 116, 101, 114, 95, 97, 99, 108, 115, 40, 97, 99,
		108, 115, 44, 32, 114, 111, 108, 101, 115, 41, 58, 10, 32, 32,
		34, 34, 34, 75, 101, 101, 112, 115, 32, 111, 110, 108, 121, 32,
		65, 67, 76, 32, 101, 110, 116, 114, 105, 101, 115, 32, 116, 104,
		97, 116, 32, 104, 97, 118, 101, 32, 97, 110, 121, 32, 111, 102,
		32, 103, 105, 118, 101, 110, 32, 114, 111, 108, 101, 115, 46, 34,
		34, 34, 10, 32, 32, 114, 101, 116, 117, 114, 110, 32, 91, 97,
		32, 102, 111, 114, 32, 97, 32, 105, 110, 32, 97, 99, 108, 115,
		32, 105, 102, 32, 97, 46, 114, 111, 108, 101, 32, 105, 110, 32,
		114, 111, 108, 101, 115, 93, 10, 10, 10, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 10, 35, 35, 32, 112, 114, 111, 106, 101,
		99, 116, 46, 99, 102, 103, 46, 10, 10, 10, 100, 101, 102, 32,
		103, 101, 110, 95, 112, 114, 111, 106, 101, 99, 116, 95, 99, 102,
		103, 40, 99, 116, 120, 41, 58, 10, 32, 32, 34, 34, 34, 71,
		101, 110, 101, 114, 97, 116, 101, 115, 32, 112, 114, 111, 106, 101,
		99, 116, 46, 99, 102, 103, 46, 34, 34, 34, 10, 32, 32, 35,
		32, 108, 117, 99, 105, 99, 102, 103, 32, 105, 115, 32, 97, 108,
		108, 111, 119, 101, 100, 32, 116, 111, 32, 105, 110, 116, 101, 114,
		112, 114, 101, 116, 32, 42, 46, 115, 116, 97, 114, 32, 102, 105,
		108, 101, 115, 32, 119, 105, 116, 104, 111, 117, 116, 32, 97, 110,
		121, 32, 97, 99, 116, 117, 97, 108, 32, 100, 101, 102, 105, 110,
		105, 116, 105, 111, 110, 115, 46, 10, 32, 32, 35, 32, 84, 104,
		105, 115, 32, 105, 115, 32, 117, 115, 101, 100, 32, 105, 110, 32,
		116, 101, 115, 116, 115, 44, 32, 102, 111, 114, 32, 101, 120, 97,
		109, 112, 108, 101, 46, 32, 73, 102, 32, 116, 104, 101, 114, 101,
		39, 115, 32, 110, 111, 32, 112, 114, 111, 106, 101, 99, 116, 40,
		46, 46, 46, 41, 32, 114, 117, 108, 101, 44, 32, 98, 117, 116,
		10, 32, 32, 35, 32, 116, 104, 101, 114, 101, 32, 97, 114, 101,
		32, 115, 111, 109, 101, 32, 111, 116, 104, 101, 114, 32, 76, 85,
		67, 73, 32, 100, 101, 102, 105, 110, 105, 116, 105, 111, 110, 115,
		44, 32, 116, 104, 101, 32, 99, 111, 114, 114, 101, 115, 112, 111,
		110, 100, 105, 110, 103, 32, 103, 101, 110, 101, 114, 97, 116, 111,
		114, 115, 32, 119, 105, 108, 108, 10, 32, 32, 35, 32, 102, 97,
		105, 108, 32, 111, 110, 32, 116, 104, 101, 105, 114, 32, 111, 119,
		110, 32, 105, 110, 32, 103, 101, 116, 95, 112, 114, 111, 106, 101,
		99, 116, 40, 41, 32, 99, 97, 108, 108, 115, 46, 10, 32, 32,
		112, 114, 111, 106, 32, 61, 32, 103, 101, 116, 95, 112, 114, 111,
		106, 101, 99, 116, 40, 114, 101, 113, 117, 105, 114, 101, 100, 61,
		70, 97, 108, 115, 101, 41, 10, 32, 32, 105, 102, 32, 110, 111,
		116, 32, 112, 114, 111, 106, 58, 10, 32, 32, 32, 32, 114, 101,
		116, 117, 114, 110, 10, 10, 32, 32, 35, 32, 70, 105, 110, 100,
		32, 97, 108, 108, 32, 80, 82, 79, 74, 69, 67, 84, 95, 67,
		79, 78, 70, 73, 71, 83, 95, 82, 69, 65, 68, 69, 82, 32,
		114, 111, 108, 101, 32, 101, 110, 116, 114, 105, 101, 115, 46, 10,
		32, 32, 97, 99, 99, 101, 115, 115, 32, 61, 32, 91, 93, 10,
		32, 32, 102, 111, 114, 32, 97, 32, 105, 110, 32, 102, 105, 108,
		116, 101, 114, 95, 97, 99, 108, 115, 40, 103, 101, 116, 95, 112,
		114, 111, 106, 101, 99, 116, 95, 97, 99, 108, 115, 40, 41, 44,
		32, 91, 97, 99, 108, 46, 80, 82, 79, 74, 69, 67, 84, 95,
		67, 79, 78, 70, 73, 71, 83, 95, 82, 69, 65, 68, 69, 82,
		93, 41, 58, 10, 32, 32, 32, 32, 105, 102, 32, 97, 46, 117,
		115, 101, 114, 58, 10, 32, 32, 32, 32, 32, 32, 97, 99, 99,
		101, 115, 115, 46, 97, 112, 112, 101, 110, 100, 40, 39, 117, 115,
		101, 114, 58, 39, 32, 43, 32, 97, 46, 117, 115, 101, 114, 41,
		10, 32, 32, 32, 32, 101, 108, 105, 102, 32, 97, 46, 103, 114,
		111, 117, 112, 58, 10, 32, 32, 32, 32, 32, 32, 97, 99, 99,
		101, 115, 115, 46, 97, 112, 112, 101, 110, 100, 40, 39, 103, 114,
		111, 117, 112, 58, 39, 32, 43, 32, 97, 46, 103, 114, 111, 117,
		112, 41, 10, 10, 32, 32, 99, 116, 120, 46, 99, 111, 110, 102,
		105, 103, 95, 115, 101, 116, 91, 39, 112, 114, 111, 106, 101, 99,
		116, 46, 99, 102, 103, 39, 93, 32, 61, 32, 99, 111, 110, 102,
		105, 103, 95, 112, 98, 46, 80, 114, 111, 106, 101, 99, 116, 67,
		102, 103, 40, 10, 32, 32, 32, 32, 32, 32, 110, 97, 109, 101,
		32, 61, 32, 112, 114, 111, 106, 46, 112, 114, 111, 112, 115, 46,
		110, 97, 109, 101, 44, 10, 32, 32, 32, 32, 32, 32, 97, 99,
		99, 101, 115, 115, 32, 61, 32, 97, 99, 99, 101, 115, 115, 44,
		10, 32, 32, 41, 10, 10, 10, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 10, 35, 35, 32, 108, 111, 103, 100, 111, 103, 46,
		99, 102, 103, 46, 10, 10, 10, 100, 101, 102, 32, 103, 101, 110,
		95, 108, 111, 103, 100, 111, 103, 95, 99, 102, 103, 40, 99, 116,
		120, 41, 58, 10, 32, 32, 34, 34, 34, 71, 101, 110, 101, 114,
		97, 116, 101, 115, 32, 108, 111, 103, 100, 111, 103, 46, 99, 102,
		103, 46, 34, 34, 34, 10, 32, 32, 111, 112, 116, 115, 32, 61,
		32, 103, 114, 97, 112, 104, 46, 110, 111, 100, 101, 40, 107, 101,
		121, 115, 46, 108, 111, 103, 100, 111, 103, 40, 41, 41, 10, 32,
		32, 105, 102, 32, 110, 111, 116, 32, 111, 112, 116, 115, 58, 10,
		32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 10, 10, 32, 32,
		35, 32, 78, 111, 116, 101, 32, 116, 104, 97, 116, 32, 97, 99,
		108, 46, 76, 79, 71, 68, 79, 71, 95, 42, 32, 97, 114, 101,
		32, 100, 101, 99, 108, 97, 114, 101, 100, 32, 97, 115, 32, 103,
		114, 111, 117, 112, 115, 95, 111, 110, 108, 121, 61, 84, 114, 117,
		101, 32, 114, 111, 108, 101, 115, 44, 32, 115, 111, 32, 46, 103,
		114, 111, 117, 112, 10, 32, 32, 35, 32, 105, 115, 32, 103, 117,
		97, 114, 97, 110, 116, 101, 101, 100, 32, 116, 111, 32, 98, 101,
		32, 115, 101, 116, 32, 104, 101, 114, 101, 46, 10, 32, 32, 114,
		101, 97, 100, 101, 114, 115, 32, 61, 32, 91, 93, 10, 32, 32,
		119, 114, 105, 116, 101, 114, 115, 32, 61, 32, 91, 93, 10, 32,
		32, 102, 111, 114, 32, 97, 32, 105, 110, 32, 103, 101, 116, 95,
		112, 114, 111, 106, 101, 99, 116, 95, 97, 99, 108, 115, 40, 41,
		58, 10, 32, 32, 32, 32, 105, 102, 32, 97, 46, 114, 111, 108,
		101, 32, 61, 61, 32, 97, 99, 108, 46, 76, 79, 71, 68, 79,
		71, 95, 82, 69, 65, 68, 69, 82, 58, 10, 32, 32, 32, 32,
		32, 32, 114, 101, 97, 100, 101, 114, 115, 46, 97, 112, 112, 101,
		110, 100, 40, 97, 46, 103, 114, 111, 117, 112, 41, 10, 32, 32,
		32, 32, 101, 108, 105, 102, 32, 97, 46, 114, 111, 108, 101, 32,
		61, 61, 32, 97, 99, 108, 46, 76, 79, 71, 68, 79, 71, 95,
		87, 82, 73, 84, 69, 82, 58, 10, 32, 32, 32, 32, 32, 32,
		119, 114, 105, 116, 101, 114, 115, 46, 97, 112, 112, 101, 110, 100,
		40, 97, 46, 103, 114, 111, 117, 112, 41, 10, 10, 32, 32, 108,
		111, 103, 100, 111, 103, 32, 61, 32, 103, 101, 116, 95, 115, 101,
		114, 118, 105, 99, 101, 40, 39, 108, 111, 103, 100, 111, 103, 39,
		44, 32, 39, 100, 101, 102, 105, 110, 105, 110, 103, 32, 76, 111,
		103, 68, 111, 103, 32, 111, 112, 116, 105, 111, 110, 115, 39, 41,
		10, 32, 32, 99, 116, 120, 46, 99, 111, 110, 102, 105, 103, 95,
		115, 101, 116, 91, 108, 111, 103, 100, 111, 103, 46, 99, 102, 103,
		95, 102, 105, 108, 101, 93, 32, 61, 32, 108, 111, 103, 100, 111,
		103, 95, 112, 98, 46, 80, 114, 111, 106, 101, 99, 116, 67, 111,
		110, 102, 105, 103, 40, 10, 32, 32, 32, 32, 32, 32, 114, 101,
		97, 100, 101, 114, 95, 97, 117, 116, 104, 95, 103, 114, 111, 117,
		112, 115, 32, 61, 32, 114, 101, 97, 100, 101, 114, 115, 44, 10,
		32, 32, 32, 32, 32, 32, 119, 114, 105, 116, 101, 114, 95, 97,
		117, 116, 104, 95, 103, 114, 111, 117, 112, 115, 32, 61, 32, 119,
		114, 105, 116, 101, 114, 115, 44, 10, 32, 32, 32, 32, 32, 32,
		97, 114, 99, 104, 105, 118, 101, 95, 103, 115, 95, 98, 117, 99,
		107, 101, 116, 32, 61, 32, 111, 112, 116, 115, 46, 112, 114, 111,
		112, 115, 46, 103, 115, 95, 98, 117, 99, 107, 101, 116, 44, 10,
		32, 32, 41, 10, 10, 10, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 10, 35, 35, 32, 98, 117, 105, 108, 100, 98, 117, 99,
		107, 101, 116, 46, 99, 102, 103, 46, 10, 10, 10, 35, 32, 97,
		99, 108, 46, 114, 111, 108, 101, 32, 61, 62, 32, 98, 117, 105,
		108, 100, 98, 117, 99, 107, 101, 116, 95, 112, 98, 46, 65, 99,
		108, 46, 82, 111, 108, 101, 46, 10, 95, 98, 98, 95, 114, 111,
		108, 101, 115, 32, 61, 32, 123, 10, 32, 32, 32, 32, 97, 99,
		108, 46, 66, 85, 73, 76, 68, 66, 85, 67, 75, 69, 84, 95,
		82, 69, 65, 68, 69, 82, 58, 32, 98, 117, 105, 108, 100, 98,
		117, 99, 107, 101, 116, 95, 112, 98, 46, 65, 99, 108, 46, 82,
		69, 65, 68, 69, 82, 44, 10, 32, 32, 32, 32, 97, 99, 108,
		46, 66, 85, 73, 76, 68, 66, 85, 67, 75, 69, 84, 95, 83,
		67, 72, 69, 68, 85, 76, 69, 82, 58, 32, 98, 117, 105, 108,
		100, 98, 117, 99, 107, 101, 116, 95, 112, 98, 46, 65, 99, 108,
		46, 83, 67, 72, 69, 68, 85, 76, 69, 82, 44, 10, 32, 32,
		32, 32, 97, 99, 108, 46, 66, 85, 73, 76, 68, 66, 85, 67,
		75, 69, 84, 95, 87, 82, 73, 84, 69, 82, 58, 32, 98, 117,
		105, 108, 100, 98, 117, 99, 107, 101, 116, 95, 112, 98, 46, 65,
		99, 108, 46, 87, 82, 73, 84, 69, 82, 44, 10, 125, 10, 10,
		10, 100, 101, 102, 32, 103, 101, 110, 95, 98, 117, 105, 108, 100,
		98, 117, 99, 107, 101, 116, 95, 99, 102, 103, 40, 99, 116, 120,
		41, 58, 10, 32, 32, 34, 34, 34, 71, 101, 110, 101, 114, 97,
		116, 101, 115, 32, 98, 117, 105, 108, 100, 98, 117, 99, 107, 101,
		116, 46, 99, 102, 103, 46, 34, 34, 34, 10, 32, 32, 98, 117,
		99, 107, 101, 116, 115, 32, 61, 32, 103, 101, 116, 95, 98, 117,
		99, 107, 101, 116, 115, 40, 41, 10, 32, 32, 105, 102, 32, 110,
		111, 116, 32, 98, 117, 99, 107, 101, 116, 115, 58, 10, 32, 32,
		32, 32, 114, 101, 116, 117, 114, 110, 10, 10, 32, 32, 98, 117,
		105, 108, 100, 98, 117, 99, 107, 101, 116, 32, 61, 32, 103, 101,
		116, 95, 115, 101, 114, 118, 105, 99, 101, 40, 39, 98, 117, 105,
		108, 100, 98, 117, 99, 107, 101, 116, 39, 44, 32, 39, 100, 101,
		102, 105, 110, 105, 110, 103, 32, 98, 117, 99, 107, 101, 116, 115,
		39, 41, 10, 32, 32, 115, 119, 97, 114, 109, 105, 110, 103, 32,
		61, 32, 103, 101, 116, 95, 115, 101, 114, 118, 105, 99, 101, 40,
		39, 115, 119, 97, 114, 109, 105, 110, 103, 39, 44, 32, 39, 100,
		101, 102, 105, 110, 105, 110, 103, 32, 98, 117, 105, 108, 100, 101,
		114, 115, 39, 41, 10, 10, 32, 32, 99, 102, 103, 32, 61, 32,
		98, 117, 105, 108, 100, 98, 117, 99, 107, 101, 116, 95, 112, 98,
		46, 66, 117, 105, 108, 100, 98, 117, 99, 107, 101, 116, 67, 102,
		103, 40, 41, 10, 32, 32, 99, 116, 120, 46, 99, 111, 110, 102,
		105, 103, 95, 115, 101, 116, 91, 98, 117, 105, 108, 100, 98, 117,
		99, 107, 101, 116, 46, 99, 102, 103, 95, 102, 105, 108, 101, 93,
		32, 61, 32, 99, 102, 103, 10, 10, 32, 32, 102, 111, 114, 32,
		98, 117, 99, 107, 101, 116, 32, 105, 110, 32, 98, 117, 99, 107,
		101, 116, 115, 58, 10, 32, 32, 32, 32, 99, 102, 103, 46, 97,
		99, 108, 95, 115, 101, 116, 115, 46, 97, 112, 112, 101, 110, 100,
		40, 98, 117, 105, 108, 100, 98, 117, 99, 107, 101, 116, 95, 112,
		98, 46, 65, 99, 108, 83, 101, 116, 40, 10, 32, 32, 32, 32,
		32, 32, 32, 32, 110, 97, 109, 101, 32, 61, 32, 98, 117, 99,
		107, 101, 116, 46, 112, 114, 111, 112, 115, 46, 110, 97, 109, 101,
		44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 97, 99, 108, 115,
		32, 61, 32, 103, 101, 110, 95, 98, 117, 105, 108, 100, 98, 117,
		99, 107, 101, 116, 95, 97, 99, 108, 115, 40, 98, 117, 99, 107,
		101, 116, 41, 44, 10, 32, 32, 32, 32, 41, 41, 10, 32, 32,
		32, 32, 99, 102, 103, 46, 98, 117, 99, 107, 101, 116, 115, 46,
		97, 112, 112, 101, 110, 100, 40, 98, 117, 105, 108, 100, 98, 117,
		99, 107, 101, 116, 95, 112, 98, 46, 66, 117, 99, 107, 101, 116,
		40, 10, 32, 32, 32, 32, 32, 32, 32, 32, 110, 97, 109, 101,
		32, 61, 32, 98, 117, 99, 107, 101, 116, 46, 112, 114, 111, 112,
		115, 46, 110, 97, 109, 101, 44, 10, 32, 32, 32, 32, 32, 32,
		32, 32, 97, 99, 108, 95, 115, 101, 116, 115, 32, 61, 32, 91,
		98, 117, 99, 107, 101, 116, 46, 112, 114, 111, 112, 115, 46, 110,
		97, 109, 101, 93, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32,
		115, 119, 97, 114, 109, 105, 110, 103, 32, 61, 32, 98, 117, 105,
		108, 100, 98, 117, 99, 107, 101, 116, 95, 112, 98, 46, 83, 119,
		97, 114, 109, 105, 110, 103, 40, 10, 32, 32, 32, 32, 32, 32,
		32, 32, 32, 32, 32, 32, 104, 111, 115, 116, 110, 97, 109, 101,
		32, 61, 32, 115, 119, 97, 114, 109, 105, 110, 103, 46, 104, 111,
		115, 116, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
		32, 32, 98, 117, 105, 108, 100, 101, 114, 115, 32, 61, 32, 91,
		93, 44, 32, 32, 35, 32, 84, 79, 68, 79, 10, 32, 32, 32,
		32, 32, 32, 32, 32, 41, 44, 10, 32, 32, 32, 32, 41, 41,
		10, 10, 10, 100, 101, 102, 32, 103, 101, 110, 95, 98, 117, 105,
		108, 100, 98, 117, 99, 107, 101, 116, 95, 97, 99, 108, 115, 40,
		98, 117, 99, 107, 101, 116, 41, 58, 10, 32, 32, 34, 34, 34,
		99, 111, 114, 101, 46, 98, 117, 99, 107, 101, 116, 40, 46, 46,
		46, 41, 32, 110, 111, 100, 101, 32, 61, 62, 32, 91, 98, 117,
		105, 108, 100, 98, 117, 99, 107, 101, 116, 95, 112, 98, 46, 65,
		99, 108, 93, 46, 34, 34, 34, 10, 32, 32, 114, 101, 116, 117,
		114, 110, 32, 91, 10, 32, 32, 32, 32, 32, 32, 98, 117, 105,
		108, 100, 98, 117, 99, 107, 101, 116, 95, 112, 98, 46, 65, 99,
		108, 40, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 114,
		111, 108, 101, 32, 61, 32, 95, 98, 98, 95, 114, 111, 108, 101,
		115, 91, 97, 46, 114, 111, 108, 101, 93, 44, 10, 32, 32, 32,
		32, 32, 32, 32, 32, 32, 32, 103, 114, 111, 117, 112, 32, 61,
		32, 97, 46, 103, 114, 111, 117, 112, 44, 10, 32, 32, 32, 32,
		32, 32, 32, 32, 32, 32, 105, 100, 101, 110, 116, 105, 116, 121,
		32, 61, 32, 39, 117, 115, 101, 114, 58, 39, 32, 43, 32, 97,
		46, 117, 115, 101, 114, 32, 105, 102, 32, 97, 46, 117, 115, 101,
		114, 32, 101, 108, 115, 101, 32, 78, 111, 110, 101, 44, 10, 32,
		32, 32, 32, 32, 32, 41, 10, 32, 32, 32, 32, 32, 32, 102,
		111, 114, 32, 97, 32, 105, 110, 32, 102, 105, 108, 116, 101, 114,
		95, 97, 99, 108, 115, 40, 103, 101, 116, 95, 98, 117, 99, 107,
		101, 116, 95, 97, 99, 108, 115, 40, 98, 117, 99, 107, 101, 116,
		41, 44, 32, 95, 98, 98, 95, 114, 111, 108, 101, 115, 46, 107,
		101, 121, 115, 40, 41, 41, 10, 32, 32, 93, 10}),
	"stdlib/internal/luci/lib/acl.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 108, 111, 97, 100, 40, 39, 64,
		115, 116, 100, 108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110,
		97, 108, 47, 108, 117, 99, 105, 47, 108, 105, 98, 47, 118, 97,
		108, 105, 100, 97, 116, 101, 46, 115, 116, 97, 114, 39, 44, 32,
		39, 118, 97, 108, 105, 100, 97, 116, 101, 39, 41, 10, 10, 10,
		35, 32, 84, 79, 68, 79, 40, 118, 97, 100, 105, 109, 115, 104,
		41, 58, 32, 65, 100, 100, 32, 115, 117, 112, 112, 111, 114, 116,
		32, 102, 111, 114, 32, 39, 97, 110, 111, 110, 121, 109, 111, 117,
		115, 39, 32, 119, 104, 101, 110, 47, 105, 102, 32, 110, 101, 101,
		100, 101, 100, 46, 10, 35, 32, 84, 79, 68, 79, 40, 118, 97,
		100, 105, 109, 115, 104, 41, 58, 32, 67, 104, 101, 99, 107, 32,
		103, 114, 111, 117, 112, 115, 32, 97, 110, 100, 32, 117, 115, 101,
		114, 115, 32, 115, 116, 114, 105, 110, 103, 115, 32, 97, 103, 97,
		105, 110, 115, 116, 32, 114, 101, 103, 101, 120, 112, 115, 32, 105,
		110, 32, 97, 99, 108, 46, 101, 110, 116, 114, 121, 40, 41, 46,
		10, 10, 10, 35, 32, 65, 32, 99, 111, 110, 115, 116, 114, 117,
		99, 116, 111, 114, 32, 102, 111, 114, 32, 97, 99, 108, 46, 114,
		111, 108, 101, 32, 115, 116, 114, 117, 99, 116, 115, 46, 10, 35,
		10, 35, 32, 83, 117, 99, 104, 32, 115, 116, 114, 117, 99, 116,
		115, 32, 97, 114, 101, 32, 115, 101, 101, 110, 32, 116, 104, 114,
		111, 117, 103, 104, 32, 112, 117, 98, 108, 105, 99, 32, 65, 80,
		73, 32, 97, 115, 32, 112, 114, 101, 100, 101, 102, 105, 110, 101,
		100, 32, 115, 121, 109, 98, 111, 108, 115, 44, 32, 101, 46, 103,
		46, 10, 35, 32, 97, 99, 108, 46, 76, 79, 71, 68, 79, 71,
		95, 82, 69, 65, 68, 69, 82, 46, 32, 84, 104, 101, 114, 101,
		39, 115, 32, 110, 111, 32, 119, 97, 121, 32, 102, 111, 114, 32,
		97, 110, 32, 101, 110, 100, 45, 117, 115, 101, 114, 32, 116, 111,
		32, 100, 101, 102, 105, 110, 101, 32, 97, 32, 110, 101, 119, 32,
		114, 111, 108, 101, 46, 10, 35, 10, 35, 32, 69, 120, 112, 101,
		99, 116, 101, 100, 32, 116, 111, 32, 98, 101, 32, 117, 115, 101,
		100, 32, 97, 115, 32, 114, 111, 108, 101, 115, 32, 105, 110, 32,
		97, 99, 108, 46, 101, 110, 116, 114, 121, 40, 114, 111, 108, 101,
		61, 46, 46, 46, 41, 32, 100, 101, 102, 105, 110, 105, 116, 105,
		111, 110, 115, 44, 32, 97, 110, 100, 32, 109, 97, 121, 98, 101,
		10, 35, 32, 112, 114, 105, 110, 116, 101, 100, 32, 40, 119, 104,
		101, 110, 32, 100, 101, 98, 117, 103, 103, 105, 110, 103, 41, 46,
		10, 35, 10, 35, 32, 70, 105, 101, 108, 100, 115, 58, 10, 35,
		32, 32, 32, 110, 97, 109, 101, 58, 32, 110, 97, 109, 101, 32,
		111, 102, 32, 116, 104, 101, 32, 114, 111, 108, 101, 46, 10, 35,
		32, 32, 32, 112, 114, 111, 106, 101, 99, 116, 95, 108, 101, 118,
		101, 108, 95, 111, 110, 108, 121, 58, 32, 84, 114, 117, 101, 32,
		105, 102, 32, 116, 104, 101, 32, 114, 111, 108, 101, 32, 99, 97,
		110, 32, 98, 101, 32, 115, 101, 116, 32, 111, 110, 108, 121, 32,
		105, 110, 32, 112, 114, 111, 106, 101, 99, 116, 40, 46, 46, 46,
		41, 32, 114, 117, 108, 101, 46, 10, 35, 32, 32, 32, 103, 114,
		111, 117, 112, 115, 95, 111, 110, 108, 121, 58, 32, 84, 114, 117,
		101, 32, 105, 102, 32, 116, 104, 101, 32, 114, 111, 108, 101, 32,
		115, 104, 111, 117, 108, 100, 32, 98, 101, 32, 97, 115, 115, 105,
		103, 110, 101, 100, 32, 111, 110, 108, 121, 32, 116, 111, 32, 103,
		114, 111, 117, 112, 115, 44, 32, 110, 111, 116, 32, 117, 115, 101,
		114, 115, 46, 10, 95, 114, 111, 108, 101, 95, 99, 116, 111, 114,
		32, 61, 32, 103, 101, 110, 115, 116, 114, 117, 99, 116, 40, 39,
		97, 99, 108, 46, 114, 111, 108, 101, 39, 41, 10, 10, 10, 35,
		32, 65, 32, 99, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114,
		32, 102, 111, 114, 32, 97, 99, 108, 46, 101, 110, 116, 114, 121,
		32, 115, 116, 114, 117, 99, 116, 115, 46, 10, 35, 10, 35, 32,
		83, 117, 99, 104, 32, 115, 116, 114, 117, 99, 116, 115, 32, 97,
		114, 101, 32, 99, 114, 101, 97, 116, 101, 100, 32, 118, 105, 97,
		32, 112, 117, 98, 108, 105, 99, 32, 97, 99, 108, 46, 101, 110,
		116, 114, 121, 40, 46, 46, 46, 41, 32, 65, 80, 73, 46, 32,
		84, 111, 32, 109, 97, 107, 101, 32, 116, 104, 101, 105, 114, 10,
		35, 32, 112, 114, 105, 110, 116, 97, 98, 108, 101, 32, 114, 101,
		112, 114, 101, 115, 101, 110, 116, 97, 116, 105, 111, 110, 32, 117,
		115, 101, 102, 117, 108, 32, 97, 110, 100, 32, 110, 111, 116, 32,
		99, 111, 110, 102, 117, 115, 105, 110, 103, 32, 116, 111, 32, 101,
		110, 100, 32, 117, 115, 101, 114, 115, 44, 32, 116, 104, 101, 105,
		114, 10, 35, 32, 115, 116, 114, 117, 99, 116, 117, 114, 101, 32,
		115, 111, 109, 101, 119, 104, 97, 116, 32, 114, 101, 115, 101, 109,
		98, 108, 101, 115, 32, 97, 99, 108, 46, 101, 110, 116, 114, 121,
		40, 46, 46, 46, 41, 32, 97, 114, 103, 117, 109, 101, 110, 116,
		115, 32, 108, 105, 115, 116, 46, 10, 35, 10, 35, 32, 84, 104,
		101, 121, 32, 97, 114, 101, 32, 110, 111, 116, 32, 99, 111, 110,
		118, 101, 110, 105, 101, 110, 116, 32, 116, 104, 111, 117, 103, 104,
		32, 119, 104, 101, 110, 32, 103, 101, 110, 101, 114, 97, 116, 105,
		110, 103, 32, 99, 111, 110, 102, 105, 103, 115, 46, 32, 70, 111,
		114, 32, 116, 104, 97, 116, 32, 114, 101, 97, 115, 111, 110, 10,
		35, 32, 116, 104, 101, 114, 101, 39, 115, 32, 97, 110, 111, 116,
		104, 101, 114, 32, 114, 101, 112, 114, 101, 115, 101, 110, 116, 97,
		116, 105, 111, 110, 32, 111, 102, 32, 65, 67, 76, 115, 58, 32,
		97, 115, 32, 97, 32, 108, 105, 115, 116, 32, 111, 102, 32, 101,
		108, 101, 109, 101, 110, 116, 97, 114, 121, 10, 35, 32, 40, 114,
		111, 108, 101, 44, 32, 112, 114, 105, 110, 99, 105, 112, 97, 108,
		41, 32, 116, 117, 112, 108, 101, 115, 44, 32, 119, 104, 101, 114,
		101, 32, 112, 114, 105, 110, 99, 105, 112, 97, 108, 115, 32, 99,
		97, 110, 32, 98, 101, 32, 111, 102, 32, 102, 101, 119, 32, 100,
		105, 102, 102, 101, 114, 101, 110, 116, 32, 116, 121, 112, 101, 115,
		10, 35, 32, 40, 101, 46, 103, 46, 32, 103, 114, 111, 117, 112,
		115, 32, 111, 114, 32, 117, 115, 101, 114, 115, 41, 46, 32, 73,
		110, 116, 101, 114, 110, 97, 108, 32, 65, 80, 73, 32, 102, 117,
		110, 99, 116, 105, 111, 110, 32, 39, 110, 111, 114, 109, 97, 108,
		105, 122, 101, 95, 97, 99, 108, 115, 39, 32, 99, 111, 110, 118,
		101, 114, 116, 115, 10, 35, 32, 102, 114, 111, 109, 32, 116, 104,
		101, 32, 117, 115, 101, 114, 45, 102, 114, 105, 101, 110, 100, 108,
		121, 32, 97, 99, 108, 46, 101, 110, 116, 114, 121, 32, 114, 101,
		112, 114, 101, 115, 101, 110, 116, 97, 116, 105, 111, 110, 32, 116,
		111, 32, 116, 104, 101, 32, 103, 101, 110, 101, 114, 97, 116, 111,
		114, 45, 102, 114, 105, 101, 110, 100, 108, 121, 10, 35, 32, 97,
		99, 108, 46, 101, 108, 101, 109, 101, 110, 116, 97, 114, 121, 32,
		114, 101, 112, 114, 101, 115, 101, 110, 116, 97, 116, 105, 111, 110,
		46, 10, 35, 10, 35, 32, 70, 105, 101, 108, 100, 115, 58, 10,
		35, 32, 32, 32, 114, 111, 108, 101, 115, 58, 32, 97, 32, 108,
		105, 115, 116, 32, 111, 102, 32, 97, 99, 108, 46, 114, 111, 108,
		101, 32, 105, 110, 32, 116, 104, 101, 32, 101, 110, 116, 114, 121,
		44, 32, 97, 116, 32, 108, 101, 97, 115, 116, 32, 111, 110, 101,
		46, 10, 35, 32, 32, 32, 117, 115, 101, 114, 115, 58, 32, 97,
		32, 108, 105, 115, 116, 32, 111, 102, 32, 117, 115, 101, 114, 32,
		101, 109, 97, 105, 108, 115, 32, 116, 111, 32, 97, 112, 112, 108,
		121, 32, 114, 111, 108, 101, 115, 32, 116, 111, 44, 32, 109, 97,
		121, 32, 98, 101, 32, 101, 109, 112, 116, 121, 46, 10, 35, 32,
		32, 32, 103, 114, 111, 117, 112, 115, 58, 32, 97, 32, 108, 105,
		115, 116, 32, 111, 102, 32, 103, 114, 111, 117, 112, 32, 110, 97,
		109, 101, 115, 32, 116, 111, 32, 97, 112, 112, 108, 121, 32, 114,
		111, 108, 101, 115, 32, 116, 111, 44, 32, 109, 97, 121, 32, 98,
		101, 32, 101, 109, 112, 116, 121, 46, 10, 95, 101, 110, 116, 114,
		121, 95, 99, 116, 111, 114, 32, 61, 32, 103, 101, 110, 115, 116,
		114, 117, 99, 116, 40, 39, 97, 99, 108, 46, 101, 110, 116, 114,
		121, 39, 41, 10, 10, 10, 35, 32, 65, 32, 99, 111, 110, 115,
		116, 114, 117, 99, 116, 111, 114, 32, 102, 111, 114, 32, 97, 99,
		108, 46, 101, 108, 101, 109, 101, 110, 116, 97, 114, 121, 32, 115,
		116, 114, 117, 99, 116, 115, 46, 10, 35, 10, 35, 32, 84, 104,
		105, 115, 32, 105, 115, 32, 99, 111, 110, 99, 101, 112, 116, 117,
		97, 108, 108, 121, 32, 97, 32, 115, 117, 109, 32, 116, 121, 112,
		101, 58, 32, 40, 82, 111, 108, 101, 44, 32, 85, 115, 101, 114,
		32, 124, 32, 71, 114, 111, 117, 112, 41, 46, 32, 70, 111, 114,
		32, 99, 111, 110, 118, 101, 110, 105, 101, 110, 99, 101, 32, 105,
		116, 32, 105, 115, 10, 35, 32, 114, 101, 112, 114, 101, 115, 101,
		110, 116, 101, 100, 32, 97, 115, 32, 97, 32, 116, 114, 105, 112,
		108, 101, 32, 119, 104, 101, 114, 101, 32, 101, 105, 116, 104, 101,
		114, 32, 39, 117, 115, 101, 114, 39, 32, 111, 114, 32, 39, 103,
		114, 111, 117, 112, 39, 32, 105, 115, 32, 115, 101, 116, 44, 32,
		98, 117, 116, 32, 110, 111, 116, 32, 98, 111, 116, 104, 46, 10,
		35, 10, 35, 32, 70, 105, 101, 108, 100, 115, 58, 10, 35, 32,
		32, 32, 114, 111, 108, 101, 58, 32, 97, 110, 32, 97, 99, 108,
		46, 114, 111, 108, 101, 44, 32, 97, 108, 119, 97, 121, 115, 32,
		115, 101, 116, 46, 10, 35, 32, 32, 32, 117, 115, 101, 114, 58,
		32, 97, 110, 32, 117, 115, 101, 114, 32, 101, 109, 97, 105, 108,
		46, 10, 35, 32, 32, 32, 103, 114, 111, 117, 112, 58, 32, 97,
		32, 103, 114, 111, 117, 112, 32, 110, 97, 109, 101, 46, 10, 95,
		101, 108, 101, 109, 101, 110, 116, 97, 114, 121, 95, 99, 116, 111,
		114, 32, 61, 32, 103, 101, 110, 115, 116, 114, 117, 99, 116, 40,
		39, 97, 99, 108, 46, 101, 108, 101, 109, 101, 110, 116, 97, 114,
		121, 39, 41, 10, 10, 10, 100, 101, 102, 32, 95, 114, 111, 108,
		101, 40, 110, 97, 109, 101, 44, 32, 112, 114, 111, 106, 101, 99,
		116, 95, 108, 101, 118, 101, 108, 95, 111, 110, 108, 121, 61, 70,
		97, 108, 115, 101, 44, 32, 103, 114, 111, 117, 112, 115, 95, 111,
		110, 108, 121, 61, 70, 97, 108, 115, 101, 41, 58, 10, 32, 32,
		34, 34, 34, 68, 101, 102, 105, 110, 101, 115, 32, 97, 32, 114,
		111, 108, 101, 46, 10, 10, 32, 32, 73, 110, 116, 101, 114, 110,
		97, 108, 32, 65, 80, 73, 46, 32, 79, 110, 108, 121, 32, 112,
		114, 101, 100, 101, 102, 105, 110, 101, 100, 32, 114, 111, 108, 101,
		115, 32, 97, 114, 101, 32, 97, 118, 97, 105, 108, 97, 98, 108,
		101, 32, 112, 117, 98, 108, 105, 99, 108, 121, 44, 32, 115, 101,
		101, 32, 116, 104, 101, 32, 98, 111, 116, 116, 111, 109, 32, 111,
		102, 10, 32, 32, 116, 104, 105, 115, 32, 102, 105, 108, 101, 46,
		10, 10, 32, 32, 65, 114, 103, 115, 58, 10, 32, 32, 32, 32,
		110, 97, 109, 101, 58, 32, 115, 116, 114, 105, 110, 103, 32, 110,
		97, 109, 101, 32, 111, 102, 32, 116, 104, 101, 32, 114, 111, 108,
		101, 46, 10, 32, 32, 32, 32, 112, 114, 111, 106, 101, 99, 116,
		95, 108, 101, 118, 101, 108, 95, 111, 110, 108, 121, 58, 32, 84,
		114, 117, 101, 32, 105, 102, 32, 105, 116, 32, 99, 97, 110, 32,
		98, 101, 32, 117, 115, 101, 100, 32, 111, 110, 108, 121, 32, 105,
		110, 32, 112, 114, 111, 106, 101, 99, 116, 40, 46, 46, 46, 41,
		32, 65, 67, 76, 115, 46, 10, 32, 32, 32, 32, 103, 114, 111,
		117, 112, 115, 95, 111, 110, 108, 121, 58, 32, 84, 114, 117, 101,
		32, 105, 102, 32, 114, 111, 108, 101, 32, 115, 117, 112, 112, 111,
		114, 116, 115, 32, 111, 110, 108, 121, 32, 103, 114, 111, 117, 112,
		45, 98, 97, 115, 101, 100, 32, 65, 67, 76, 32, 40, 110, 111,
		116, 32, 117, 115, 101, 114, 45, 98, 97, 115, 101, 100, 41, 46,
		10, 10, 32, 32, 82, 101, 116, 117, 114, 110, 115, 58, 10, 32,
		32, 32, 32, 97, 99, 108, 46, 114, 111, 108, 101, 32, 115, 116,
		114, 117, 99, 116, 46, 10, 32, 32, 34, 34, 34, 10, 32, 32,
		114, 101, 116, 117, 114, 110, 32, 95, 114, 111, 108, 101, 95, 99,
		116, 111, 114, 40, 10, 32, 32, 32, 32, 32, 32, 110, 97, 109,
		101, 32, 61, 32, 110, 97, 109, 101, 44, 10, 32, 32, 32, 32,
		32, 32, 112, 114, 111, 106, 101, 99, 116, 95, 108, 101, 118, 101,
		108, 95, 111, 110, 108, 121, 32, 61, 32, 112, 114, 111, 106, 101,
		99, 116, 95, 108, 101, 118, 101, 108, 95, 111, 110, 108, 121, 44,
		10, 32, 32, 32, 32, 32, 32, 103, 114, 111, 117, 112, 115, 95,
		111, 110, 108, 121, 32, 61, 32, 103, 114, 111, 117, 112, 115, 95,
		111, 110, 108, 121, 44, 10, 32, 32, 41, 10, 10, 10, 100, 101,
		102, 32, 95, 101, 110, 116, 114, 121, 40, 114, 111, 108, 101, 115,
		44, 32, 103, 114, 111, 117, 112, 115, 61, 78, 111, 110, 101, 44,
		32, 117, 115, 101, 114, 115, 61, 78, 111, 110, 101, 41, 58, 10,
		32, 32, 34, 34, 34, 65, 110, 32, 65, 67, 76, 32, 101, 110,
		116, 114, 121, 58, 32, 97, 115, 115, 105, 103, 110, 115, 32, 103,
		105, 118, 101, 110, 32, 114, 111, 108, 101, 32, 40, 111, 114, 32,
		114, 111, 108, 101, 115, 41, 32, 116, 111, 32, 103, 105, 118, 101,
		110, 32, 105, 110, 100, 105, 118, 105, 100, 117, 97, 108, 115, 32,
		111, 114, 32, 103, 114, 111, 117, 112, 115, 46, 10, 10, 32, 32,
		83, 112, 101, 99, 105, 102, 121, 105, 110, 103, 32, 97, 110, 32,
		101, 109, 112, 116, 121, 32, 65, 67, 76, 32, 101, 110, 116, 114,
		121, 32, 105, 115, 32, 97, 108, 108, 111, 119, 101, 100, 46, 32,
		73, 116, 32, 105, 115, 32, 105, 103, 110, 111, 114, 101, 100, 32,
		101, 118, 101, 114, 121, 119, 104, 101, 114, 101, 46, 32, 85, 115,
		101, 102, 117, 108, 32, 102, 111, 114, 10, 32, 32, 116, 104, 105,
		110, 103, 115, 32, 108, 105, 107, 101, 58, 10, 10, 32, 32, 32,
		32, 32, 32, 99, 111, 114, 101, 46, 112, 114, 111, 106, 101, 99,
		116, 40, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 97,
		99, 108, 32, 61, 32, 91, 10, 32, 32, 32, 32, 32, 32, 32,
		32, 32, 32, 32, 32, 32, 32, 97, 99, 108, 46, 101, 110, 116,
		114, 121, 40, 97, 99, 108, 46, 80, 82, 79, 74, 69, 67, 84,
		95, 67, 79, 78, 70, 73, 71, 83, 95, 82, 69, 65, 68, 69,
		82, 44, 32, 103, 114, 111, 117, 112, 115, 32, 61, 32, 91, 10,
		32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
		32, 32, 32, 32, 35, 32, 84, 79, 68, 79, 58, 32, 102, 105,
		108, 108, 32, 109, 101, 32, 105, 110, 10, 32, 32, 32, 32, 32,
		32, 32, 32, 32, 32, 32, 32, 32, 32, 93, 41, 10, 32, 32,
		32, 32, 32, 32, 32, 32, 32, 32, 93, 10, 32, 32, 32, 32,
		32, 32, 41, 10, 10, 32, 32, 65, 114, 103, 115, 58, 10, 32,
		32, 32, 32, 114, 111, 108, 101, 115, 58, 32, 97, 32, 115, 105,
		110, 103, 108, 101, 32, 114, 111, 108, 101, 32, 40, 97, 115, 32,
		97, 99, 108, 46, 114, 111, 108, 101, 41, 32, 111, 114, 32, 97,
		32, 108, 105, 115, 116, 32, 111, 102, 32, 114, 111, 108, 101, 115,
		32, 116, 111, 32, 97, 115, 115, 105, 103, 110, 46, 10, 32, 32,
		32, 32, 103, 114, 111, 117, 112, 115, 58, 32, 97, 32, 115, 105,
		110, 103, 108, 101, 32, 103, 114, 111, 117, 112, 32, 110, 97, 109,
		101, 32, 111, 114, 32, 97, 32, 108, 105, 115, 116, 32, 111, 102,
		32, 103, 114, 111, 117, 112, 115, 32, 116, 111, 32, 97, 115, 115,
		105, 103, 110, 32, 116, 104, 101, 32, 114, 111, 108, 101, 32, 116,
		111, 46, 10, 32, 32, 32, 32, 117, 115, 101, 114, 115, 58, 32,
		97, 32, 115, 105, 110, 103, 108, 101, 32, 117, 115, 101, 114, 32,
		101, 109, 97, 105, 108, 32, 111, 114, 32, 97, 32, 108, 105, 115,
		116, 32, 111, 102, 32, 101, 109, 97, 105, 108, 115, 32, 116, 111,
		32, 97, 115, 115, 105, 103, 110, 32, 116, 104, 101, 32, 114, 111,
		108, 101, 32, 116, 111, 46, 10, 10, 32, 32, 82, 101, 116, 117,
		114, 110, 115, 58, 10, 32, 32, 32, 32, 97, 99, 108, 46, 101,
		110, 116, 114, 121, 32, 115, 116, 114, 117, 99, 116, 44, 32, 99,
		111, 110, 115, 105, 100, 101, 114, 32, 105, 116, 32, 111, 112, 97,
		113, 117, 101, 46, 10, 32, 32, 34, 34, 34, 10, 32, 32, 105,
		102, 32, 99, 116, 111, 114, 40, 114, 111, 108, 101, 115, 41, 32,
		61, 61, 32, 95, 114, 111, 108, 101, 95, 99, 116, 111, 114, 58,
		10, 32, 32, 32, 32, 114, 111, 108, 101, 115, 32, 61, 32, 91,
		114, 111, 108, 101, 115, 93, 10, 32, 32, 101, 108, 105, 102, 32,
		114, 111, 108, 101, 115, 32, 33, 61, 32, 78, 111, 110, 101, 32,
		97, 110, 100, 32, 116, 121, 112, 101, 40, 114, 111, 108, 101, 115,
		41, 32, 33, 61, 32, 39, 108, 105, 115, 116, 39, 58, 10, 32,
		32, 32, 32, 118, 97, 108, 105, 100, 97, 116, 101, 46, 115, 116,
		114, 117, 99, 116, 40, 39, 114, 111, 108, 101, 115, 39, 44, 32,
		114, 111, 108, 101, 115, 44, 32, 95, 114, 111, 108, 101, 95, 99,
		116, 111, 114, 41, 10, 10, 32, 32, 105, 102, 32, 116, 121, 112,
		101, 40, 103, 114, 111, 117, 112, 115, 41, 32, 61, 61, 32, 39,
		115, 116, 114, 105, 110, 103, 39, 58, 10, 32, 32, 32, 32, 103,
		114, 111, 117, 112, 115, 32, 61, 32, 91, 103, 114, 111, 117, 112,
		115, 93, 10, 32, 32, 101, 108, 105, 102, 32, 103, 114, 111, 117,
		112, 115, 32, 33, 61, 32, 78, 111, 110, 101, 32, 97, 110, 100,
		32, 116, 121, 112, 101, 40, 103, 114, 111, 117, 112, 115, 41, 32,
		33, 61, 32, 39, 108, 105, 115, 116, 39, 58, 10, 32, 32, 32,
		32, 118, 97, 108, 105, 100, 97, 116, 101, 46, 115, 116, 114, 105,
		110, 103, 40, 39, 103, 114, 111, 117, 112, 115, 39, 44, 32, 103,
		114, 111, 117, 112, 115, 41, 10, 10, 32, 32, 105, 102, 32, 116,
		121, 112, 101, 40, 117, 115, 101, 114, 115, 41, 32, 61, 61, 32,
		39, 115, 116, 114, 105, 110, 103, 39, 58, 10, 32, 32, 32, 32,
		117, 115, 101, 114, 115, 32, 61, 32, 91, 117, 115, 101, 114, 115,
		93, 10, 32, 32, 101, 108, 105, 102, 32, 117, 115, 101, 114, 115,
		32, 33, 61, 32, 78, 111, 110, 101, 32, 97, 110, 100, 32, 116,
		121, 112, 101, 40, 117, 115, 101, 114, 115, 41, 32, 33, 61, 32,
		39, 108, 105, 115, 116, 39, 58, 10, 32, 32, 32, 32, 118, 97,
		108, 105, 100, 97, 116, 101, 46, 115, 116, 114, 105, 110, 103, 40,
		39, 117, 115, 101, 114, 115, 39, 44, 32, 117, 115, 101, 114, 115,
		41, 10, 10, 32, 32, 114, 111, 108, 101, 115, 32, 61, 32, 118,
		97, 108, 105, 100, 97, 116, 101, 46, 108, 105, 115, 116, 40, 39,
		114, 111, 108, 101, 115, 39, 44, 32, 114, 111, 108, 101, 115, 44,
		32, 114, 101, 113, 117, 105, 114, 101, 100, 61, 84, 114, 117, 101,
		41, 10, 32, 32, 103, 114, 111, 117, 112, 115, 32, 61, 32, 118,
		97, 108, 105, 100, 97, 116, 101, 46, 108, 105, 115, 116, 40, 39,
		103, 114, 111, 117, 112, 115, 39, 44, 32, 103, 114, 111, 117, 112,
		115, 41, 10, 32, 32, 117, 115, 101, 114, 115, 32, 61, 32, 118,
		97, 108, 105, 100, 97, 116, 101, 46, 108, 105, 115, 116, 40, 39,
		117, 115, 101, 114, 115, 39, 44, 32, 117, 115, 101, 114, 115, 41,
		10, 10, 32, 32, 102, 111, 114, 32, 114, 32, 105, 110, 32, 114,
		111, 108, 101, 115, 58, 10, 32, 32, 32, 32, 118, 97, 108, 105,
		100, 97, 116, 101, 46, 115, 116, 114, 117, 99, 116, 40, 39, 114,
		111, 108, 101, 115, 39, 44, 32, 114, 44, 32, 95, 114, 111, 108,
		101, 95, 99, 116, 111, 114, 41, 10, 32, 32, 102, 111, 114, 32,
		103, 32, 105, 110, 32, 103, 114, 111, 117, 112, 115, 58, 10, 32,
		32, 32, 32, 118, 97, 108, 105, 100, 97, 116, 101, 46, 115, 116,
		114, 105, 110, 103, 40, 39, 103, 114, 111, 117, 112, 115, 39, 44,
		32, 103, 41, 10, 32, 32, 102, 111, 114, 32, 117, 32, 105, 110,
		32, 117, 115, 101, 114, 115, 58, 10, 32, 32, 32, 32, 118, 97,
		108, 105, 100, 97, 116, 101, 46, 115, 116, 114, 105, 110, 103, 40,
		39, 117, 115, 101, 114, 115, 39, 44, 32, 117, 41, 10, 10, 32,
		32, 35, 32, 83, 111, 109, 101, 32, 65, 67, 76, 115, 32, 40,
		101, 46, 103, 46, 32, 76, 111, 103, 68, 111, 103, 41, 32, 99,
		97, 110, 32, 98, 101, 32, 102, 111, 114, 109, 117, 108, 97, 116,
		101, 100, 32, 111, 110, 108, 121, 32, 105, 110, 32, 116, 101, 114,
		109, 115, 32, 111, 102, 32, 103, 114, 111, 117, 112, 115, 44, 10,
		32, 32, 35, 32, 99, 104, 101, 99, 107, 32, 116, 104, 105, 115,
		46, 10, 32, 32, 102, 111, 114, 32, 114, 32, 105, 110, 32, 114,
		111, 108, 101, 115, 58, 10, 32, 32, 32, 32, 105, 102, 32, 114,
		46, 103, 114, 111, 117, 112, 115, 95, 111, 110, 108, 121, 32, 97,
		110, 100, 32, 117, 115, 101, 114, 115, 58, 10, 32, 32, 32, 32,
		32, 32, 102, 97, 105, 108, 40, 39, 114, 111, 108, 101, 32, 37,
		115, 32, 99, 97, 110, 32, 98, 101, 32, 97, 115, 115, 105, 103,
		110, 101, 100, 32, 111, 110, 108, 121, 32, 116, 111, 32, 103, 114,
		111, 117, 112, 115, 44, 32, 110, 111, 116, 32, 105, 110, 100, 105,
		118, 105, 100, 117, 97, 108, 32, 117, 115, 101, 114, 115, 39, 32,
		37, 32, 114, 46, 110, 97, 109, 101, 41, 10, 10, 32, 32, 114,
		101, 116, 117, 114, 110, 32, 95, 101, 110, 116, 114, 121, 95, 99,
		116, 111, 114, 40, 10, 32, 32, 32, 32, 32, 32, 114, 111, 108,
		101, 115, 32, 61, 32, 114, 111, 108, 101, 115, 44, 10, 32, 32,
		32, 32, 32, 32, 103, 114, 111, 117, 112, 115, 32, 61, 32, 103,
		114, 111, 117, 112, 115, 44, 10, 32, 32, 32, 32, 32, 32, 117,
		115, 101, 114, 115, 32, 61, 32, 117, 115, 101, 114, 115, 44, 10,
		32, 32, 41, 10, 10, 10, 100, 101, 102, 32, 95, 118, 97, 108,
		105, 100, 97, 116, 101, 95, 97, 99, 108, 115, 40, 97, 99, 108,
		115, 44, 32, 112, 114, 111, 106, 101, 99, 116, 95, 108, 101, 118,
		101, 108, 61, 70, 97, 108, 115, 101, 41, 58, 10, 32, 32, 34,
		34, 34, 86, 97, 108, 105, 100, 97, 116, 101, 115, 32, 116, 104,
		101, 32, 103, 105, 118, 101, 110, 32, 108, 105, 115, 116, 32, 111,
		102, 32, 97, 99, 108, 46, 101, 110, 116, 114, 121, 32, 115, 116,
		114, 117, 99, 116, 115, 46, 10, 10, 32, 32, 67, 104, 101, 99,
		107, 115, 32, 116, 104, 97, 116, 32, 112, 114, 111, 106, 101, 99,
		116, 32, 108, 101, 118, 101, 108, 32, 114, 111, 108, 101, 115, 32,
		97, 114, 101, 32, 115, 101, 116, 32, 111, 110, 108, 121, 32, 111,
		110, 32, 116, 104, 101, 32, 112, 114, 111, 106, 101, 99, 116, 32,
		108, 101, 118, 101, 108, 46, 10, 10, 32, 32, 65, 114, 103, 115,
		58, 10, 32, 32, 32, 32, 97, 99, 108, 115, 58, 32, 97, 110,
		32, 105, 116, 101, 114, 97, 98, 108, 101, 32, 111, 102, 32, 97,
		99, 108, 46, 101, 110, 116, 114, 121, 32, 115, 116, 114, 117, 99,
		116, 115, 32, 116, 111, 32, 118, 97, 108, 105, 100, 97, 116, 101,
		44, 32, 111, 114, 32, 78, 111, 110, 101, 46, 10, 32, 32, 32,
		32, 112, 114, 111, 106, 101, 99, 116, 95, 108, 101, 118, 101, 108,
		58, 32, 84, 114, 117, 101, 32, 116, 111, 32, 97, 99, 99, 101,
		112, 116, 32, 112, 114, 111, 106, 101, 99, 116, 95, 108, 101, 118,
		101, 108, 95, 111, 110, 108, 121, 61, 84, 114, 117, 101, 32, 114,
		111, 108, 101, 115, 46, 10, 10, 32, 32, 82, 101, 116, 117, 114,
		110, 115, 58, 10, 32, 32, 32, 32, 65, 32, 108, 105, 115, 116,
		32, 111, 102, 32, 118, 97, 108, 105, 100, 97, 116, 101, 100, 32,
		97, 99, 108, 46, 101, 110, 116, 114, 121, 32, 115, 116, 114, 117,
		99, 116, 115, 32, 111, 114, 32, 91, 93, 44, 32, 110, 101, 118,
		101, 114, 32, 78, 111, 110, 101, 46, 10, 32, 32, 34, 34, 34,
		10, 32, 32, 97, 99, 108, 115, 32, 61, 32, 118, 97, 108, 105,
		100, 97, 116, 101, 46, 108, 105, 115, 116, 40, 39, 97, 99, 108,
		115, 39, 44, 32, 97, 99, 108, 115, 41, 10, 32, 32, 102, 111,
		114, 32, 101, 32, 105, 110, 32, 97, 99, 108, 115, 58, 10, 32,
		32, 32, 32, 118, 97, 108, 105, 100, 97, 116, 101, 46, 115, 116,
		114, 117, 99, 116, 40, 39, 97, 99, 108, 115, 39, 44, 32, 101,
		44, 32, 95, 101, 110, 116, 114, 121, 95, 99, 116, 111, 114, 41,
		10, 32, 32, 32, 32, 102, 111, 114, 32, 114, 32, 105, 110, 32,
		101, 46, 114, 111, 108, 101, 115, 58, 10, 32, 32, 32, 32, 32,
		32, 105, 102, 32, 114, 46, 112, 114, 111, 106, 101, 99, 116, 95,
		108, 101, 118, 101, 108, 95, 111, 110, 108, 121, 32, 97, 110, 100,
		32, 110, 111, 116, 32, 112, 114, 111, 106, 101, 99, 116, 95, 108,
		101, 118, 101, 108, 58, 10, 32, 32, 32, 32, 32, 32, 32, 32,
		102, 97, 105, 108, 40, 39, 98, 97, 100, 32, 34, 97, 99, 108,
		115, 34, 58, 32, 114, 111, 108, 101, 32, 37, 115, 32, 99, 97,
		110, 32, 111, 110, 108, 121, 32, 98, 101, 32, 115, 101, 116, 32,
		97, 116, 32, 116, 104, 101, 32, 112, 114, 111, 106, 101, 99, 116,
		32, 108, 101, 118, 101, 108, 39, 32, 37, 32, 114, 46, 110, 97,
		109, 101, 41, 10, 32, 32, 114, 101, 116, 117, 114, 110, 32, 97,
		99, 108, 115, 10, 10, 10, 100, 101, 102, 32, 95, 110, 111, 114,
		109, 97, 108, 105, 122, 101, 95, 97, 99, 108, 115, 40, 97, 99,
		108, 115, 41, 58, 10, 32, 32, 34, 34, 34, 69, 120, 112, 97,
		110, 100, 115, 44, 32, 100, 101, 100, 117, 112, 115, 32, 97, 110,
		100, 32, 115, 111, 114, 116, 115, 32, 65, 67, 76, 115, 32, 102,
		114, 111, 109, 32, 116, 104, 101, 32, 103, 105, 118, 101, 110, 32,
		108, 105, 115, 116, 32, 111, 102, 32, 97, 99, 108, 46, 101, 110,
		116, 114, 121, 32, 115, 116, 114, 117, 99, 116, 115, 46, 10, 10,
		32, 32, 69, 120, 112, 97, 110, 100, 115, 32, 112, 108, 117, 114,
		97, 108, 32, 39, 114, 111, 108, 101, 115, 39, 44, 32, 39, 103,
		114, 111, 117, 112, 115, 39, 32, 97, 110, 100, 32, 39, 117, 115,
		101, 114, 115, 39, 32, 102, 105, 101, 108, 100, 115, 32, 105, 110,
		32, 97, 99, 108, 46, 101, 110, 116, 114, 121, 32, 105, 110, 116,
		111, 32, 109, 117, 108, 116, 105, 112, 108, 101, 10, 32, 32, 97,
		99, 108, 46, 101, 108, 101, 109, 101, 110, 116, 97, 114, 121, 32,
		115, 116, 114, 117, 99, 116, 115, 58, 32, 101, 108, 101, 109, 101,
		110, 116, 97, 114, 121, 32, 112, 97, 105, 114, 115, 32, 111, 102,
		32, 40, 114, 111, 108, 101, 44, 32, 112, 114, 105, 110, 99, 105,
		112, 97, 108, 41, 44, 32, 119, 104, 101, 114, 101, 32, 112, 114,
		105, 110, 99, 105, 112, 97, 108, 10, 32, 32, 105, 115, 32, 101,
		105, 116, 104, 101, 114, 32, 97, 32, 117, 115, 101, 114, 32, 111,
		114, 32, 97, 32, 103, 114, 111, 117, 112, 46, 10, 10, 32, 32,
		65, 114, 103, 115, 58, 10, 32, 32, 32, 32, 97, 99, 108, 115,
		58, 32, 97, 110, 32, 105, 116, 101, 114, 97, 98, 108, 101, 32,
		111, 102, 32, 97, 99, 108, 46, 101, 110, 116, 114, 121, 32, 115,
		116, 114, 117, 99, 116, 115, 32, 116, 111, 32, 101, 120, 112, 97,
		110, 100, 44, 32, 97, 115, 115, 117, 109, 101, 100, 32, 116, 111,
		32, 98, 101, 32, 118, 97, 108, 105, 100, 97, 116, 101, 100, 46,
		10, 10, 32, 32, 82, 101, 116, 117, 114, 110, 115, 58, 10, 32,
		32, 32, 32, 65, 32, 115, 111, 114, 116, 101, 100, 32, 100, 101,
		100, 117, 112, 101, 100, 32, 108, 105, 115, 116, 32, 111, 102, 32,
		97, 99, 108, 46, 101, 108, 101, 109, 101, 110, 116, 97, 114, 121,
		32, 115, 116, 114, 117, 99, 116, 115, 46, 10, 32, 32, 34, 34,
		34, 10, 32, 32, 111, 117, 116, 32, 61, 32, 91, 93, 10, 32,
		32, 102, 111, 114, 32, 101, 32, 105, 110, 32, 97, 99, 108, 115,
		58, 10, 32, 32, 32, 32, 102, 111, 114, 32, 114, 32, 105, 110,
		32, 101, 46, 114, 111, 108, 101, 115, 58, 10, 32, 32, 32, 32,
		32, 32, 102, 111, 114, 32, 117, 32, 105, 110, 32, 101, 46, 117,
		115, 101, 114, 115, 58, 10, 32, 32, 32, 32, 32, 32, 32, 32,
		111, 117, 116, 46, 97, 112, 112, 101, 110, 100, 40, 95, 101, 108,
		101, 109, 101, 110, 116, 97, 114, 121, 95, 99, 116, 111, 114, 40,
		114, 111, 108, 101, 61, 114, 44, 32, 117, 115, 101, 114, 61, 117,
		44, 32, 103, 114, 111, 117, 112, 61, 78, 111, 110, 101, 41, 41,
		10, 32, 32, 32, 32, 32, 32, 102, 111, 114, 32, 103, 32, 105,
		110, 32, 101, 46, 103, 114, 111, 117, 112, 115, 58, 10, 32, 32,
		32, 32, 32, 32, 32, 32, 111, 117, 116, 46, 97, 112, 112, 101,
		110, 100, 40, 95, 101, 108, 101, 109, 101, 110, 116, 97, 114, 121,
		95, 99, 116, 111, 114, 40, 114, 111, 108, 101, 61, 114, 44, 32,
		117, 115, 101, 114, 61, 78, 111, 110, 101, 44, 32, 103, 114, 111,
		117, 112, 61, 103, 41, 41, 10, 32, 32, 114, 101, 116, 117, 114,
		110, 32, 115, 111, 114, 116, 101, 100, 40, 115, 101, 116, 40, 111,
		117, 116, 41, 44, 32, 107, 101, 121, 61, 95, 115, 111, 114, 116,
		95, 107, 101, 121, 41, 10, 10, 10, 100, 101, 102, 32, 95, 115,
		111, 114, 116, 95, 107, 101, 121, 40, 101, 41, 58, 10, 32, 32,
		34, 34, 34, 97, 99, 108, 46, 101, 108, 101, 109, 101, 110, 116,
		97, 114, 121, 32, 45, 62, 32, 116, 117, 112, 108, 101, 32, 116,
		111, 32, 115, 111, 114, 116, 32, 105, 116, 32, 98, 121, 46, 34,
		34, 34, 10, 32, 32, 114, 101, 116, 117, 114, 110, 32, 40, 101,
		46, 114, 111, 108, 101, 46, 110, 97, 109, 101, 44, 32, 39, 117,
		58, 39, 32, 43, 32, 101, 46, 117, 115, 101, 114, 32, 105, 102,
		32, 101, 46, 117, 115, 101, 114, 32, 101, 108, 115, 101, 32, 39,
		103, 58, 39, 32, 43, 32, 101, 46, 103, 114, 111, 117, 112, 41,
		10, 10, 10, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35,
		35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 10,
		10, 10, 35, 32, 72, 101, 108, 112, 101, 114, 32, 116, 111, 32,
		97, 118, 111, 105, 100, 32, 114, 101, 116, 121, 112, 105, 110, 103,
		32, 114, 111, 108, 101, 32, 110, 97, 109, 101, 115, 46, 10, 100,
		101, 102, 32, 95, 114, 111, 108, 101, 115, 95, 100, 105, 99, 116,
		40, 108, 41, 58, 10, 32, 32, 114, 101, 116, 117, 114, 110, 32,
		123, 114, 46, 110, 97, 109, 101, 58, 32, 114, 32, 102, 111, 114,
		32, 114, 32, 105, 110, 32, 108, 125, 10, 10, 10, 35, 32, 80,
		117, 98, 108, 105, 99, 32, 65, 80, 73, 32, 101, 120, 112, 111,
		115, 101, 100, 32, 116, 111, 32, 101, 110, 100, 45, 117, 115, 101,
		114, 115, 32, 97, 110, 100, 32, 116, 111, 32, 111, 116, 104, 101,
		114, 32, 76, 85, 67, 73, 32, 109, 111, 100, 117, 108, 101, 115,
		46, 10, 97, 99, 108, 32, 61, 32, 115, 116, 114, 117, 99, 116,
		40, 10, 32, 32, 32, 32, 101, 110, 116, 114, 121, 32, 61, 32,
		95, 101, 110, 116, 114, 121, 44, 10, 10, 32, 32, 32, 32, 35,
		32, 65, 108, 108, 32, 112, 114, 101, 100, 101, 102, 105, 110, 101,
		100, 32, 114, 111, 108, 101, 115, 46, 10, 32, 32, 32, 32, 42,
		42, 95, 114, 111, 108, 101, 115, 95, 100, 105, 99, 116, 40, 91,
		10, 32, 32, 32, 32, 32, 32, 32, 32, 35, 32, 82, 101, 97,
		100, 105, 110, 103, 32, 99, 111, 110, 116, 101, 110, 116, 115, 32,
		111, 102, 32, 112, 114, 111, 106, 101, 99, 116, 32, 99, 111, 110,
		102, 105, 103, 115, 32, 116, 104, 114, 111, 117, 103, 104, 32, 76,
		85, 67, 73, 32, 67, 111, 110, 102, 105, 103, 32, 65, 80, 73,
		47, 85, 73, 46, 10, 32, 32, 32, 32, 32, 32, 32, 32, 95,
		114, 111, 108, 101, 40, 39, 80, 82, 79, 74, 69, 67, 84, 95,
		67, 79, 78, 70, 73, 71, 83, 95, 82, 69, 65, 68, 69, 82,
		39, 44, 32, 112, 114, 111, 106, 101, 99, 116, 95, 108, 101, 118,
		101, 108, 95, 111, 110, 108, 121, 61, 84, 114, 117, 101, 41, 44,
		10, 10, 32, 32, 32, 32, 32, 32, 32, 32, 35, 32, 82, 101,
		97, 100, 105, 110, 103, 32, 108, 111, 103, 115, 32, 117, 110, 100,
		101, 114, 32, 112, 114, 111, 106, 101, 99, 116, 39, 115, 32, 108,
		111, 103, 100, 111, 103, 32, 112, 114, 101, 102, 105, 120, 46, 10,
		32, 32, 32, 32, 32, 32, 32, 32, 95, 114, 111, 108, 101, 40,
		39, 76, 79, 71, 68, 79, 71, 95, 82, 69, 65, 68, 69, 82,
		39, 44, 32, 112, 114, 111, 106, 101, 99, 116, 95, 108, 101, 118,
		101, 108, 95, 111, 110, 108, 121, 61, 84, 114, 117, 101, 44, 32,
		103, 114, 111, 117, 112, 115, 95, 111, 110, 108, 121, 61, 84, 114,
		117, 101, 41, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 35,
		32, 87, 114, 105, 116, 105, 110, 103, 32, 108, 111, 103, 115, 32,
		117, 110, 100, 101, 114, 32, 112, 114, 111, 106, 101, 99, 116, 39,
		115, 32, 108, 111, 103, 100, 111, 103, 32, 112, 114, 101, 102, 105,
		120, 46, 10, 32, 32, 32, 32, 32, 32, 32, 32, 95, 114, 111,
		108, 101, 40, 39, 76, 79, 71, 68, 79, 71, 95, 87, 82, 73,
		84, 69, 82, 39, 44, 32, 112, 114, 111, 106, 101, 99, 116, 95,
		108, 101, 118, 101, 108, 95, 111, 110, 108, 121, 61, 84, 114, 117,
		101, 44, 32, 103, 114, 111, 117, 112, 115, 95, 111, 110, 108, 121,
		61, 84, 114, 117, 101, 41, 44, 10, 10, 32, 32, 32, 32, 32,
		32, 32, 32, 35, 32, 70, 101, 116, 99, 104, 105, 110, 103, 32,
		105, 110, 102, 111, 32, 97, 98, 111, 117, 116, 32, 97, 32, 98,
		117, 105, 108, 100, 44, 32, 115, 101, 97, 114, 99, 104, 105, 110,
		103, 32, 102, 111, 114, 32, 98, 117, 105, 108, 100, 115, 32, 105,
		110, 32, 97, 32, 98, 117, 99, 107, 101, 116, 46, 10, 32, 32,
		32, 32, 32, 32, 32, 32, 95, 114, 111, 108, 101, 40, 39, 66,
		85, 73, 76, 68, 66, 85, 67, 75, 69, 84, 95, 82, 69, 65,
		68, 69, 82, 39, 41, 44, 10, 32, 32, 32, 32, 32, 32, 32,
		32, 35, 32, 83, 97, 109, 101, 32, 97, 115, 32, 66, 85, 73,
		76, 68, 66, 85, 67, 75, 69, 84, 95, 82, 69, 65, 68, 69,
		82, 32, 43, 32, 115, 99, 104, 101, 100, 117, 108, 105, 110, 103,
		32, 97, 110, 100, 32, 99, 97, 110, 99, 101, 108, 105, 110, 103,
		32, 98, 117, 105, 108, 100, 115, 46, 10, 32, 32, 32, 32, 32,
		32, 32, 32, 95, 114, 111, 108, 101, 40, 39, 66, 85, 73, 76,
		68, 66, 85, 67, 75, 69, 84, 95, 83, 67, 72, 69, 68, 85,
		76, 69, 82, 39, 41, 44, 10, 32, 32, 32, 32, 32, 32, 32,
		32, 35, 32, 72, 97, 118, 101, 32, 102, 117, 108, 108, 32, 97,
		99, 99, 101, 115, 115, 32, 116, 111, 32, 116, 104, 101, 32, 98,
		117, 99, 107, 101, 116, 32, 40, 115, 104, 111, 117, 108, 100, 32,
		98, 101, 32, 117, 115, 101, 100, 32, 114, 97, 114, 101, 108, 121,
		41, 46, 10, 32, 32, 32, 32, 32, 32, 32, 32, 95, 114, 111,
		108, 101, 40, 39, 66, 85, 73, 76, 68, 66, 85, 67, 75, 69,
		84, 95, 87, 82, 73, 84, 69, 82, 39, 41, 44, 10, 32, 32,
		32, 32, 93, 41, 10, 41, 10, 10, 10, 35, 32, 65, 100, 100,
		105, 116, 105, 111, 110, 97, 108, 32, 105, 110, 116, 101, 114, 110,
		97, 108, 32, 65, 80, 73, 32, 117, 115, 101, 100, 32, 98, 121,
		32, 111, 116, 104, 101, 114, 32, 76, 85, 67, 73, 32, 109, 111,
		100, 117, 108, 101, 115, 46, 10, 97, 99, 108, 105, 109, 112, 108,
		32, 61, 32, 115, 116, 114, 117, 99, 116, 40, 10, 32, 32, 32,
		32, 118, 97, 108, 105, 100, 97, 116, 101, 95, 97, 99, 108, 115,
		32, 61, 32, 95, 118, 97, 108, 105, 100, 97, 116, 101, 95, 97,
		99, 108, 115, 44, 10, 32, 32, 32, 32, 110, 111, 114, 109, 97,
		108, 105, 122, 101, 95, 97, 99, 108, 115, 32, 61, 32, 95, 110,
		111, 114, 109, 97, 108, 105, 122, 101, 95, 97, 99, 108, 115, 44,
		10, 41, 10}),
	"stdlib/internal/luci/lib/service.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 34, 34, 34, 72, 101, 108, 112,
		101, 114, 115, 32, 102, 111, 114, 32, 112, 97, 114, 115, 105, 110,
		103, 32, 97, 110, 100, 32, 118, 97, 108, 105, 100, 97, 116, 105,
		110, 103, 32, 115, 101, 114, 118, 105, 99, 101, 32, 110, 97, 109,
		101, 115, 46, 34, 34, 34, 10, 10, 108, 111, 97, 100, 40, 39,
		64, 115, 116, 100, 108, 105, 98, 47, 47, 105, 110, 116, 101, 114,
		110, 97, 108, 47, 108, 117, 99, 105, 47, 108, 105, 98, 47, 118,
		97, 108, 105, 100, 97, 116, 101, 46, 115, 116, 97, 114, 39, 44,
		32, 39, 118, 97, 108, 105, 100, 97, 116, 101, 39, 41, 10, 10,
		10, 100, 101, 102, 32, 95, 102, 114, 111, 109, 95, 104, 111, 115,
		116, 40, 97, 116, 116, 114, 44, 32, 104, 111, 115, 116, 44, 32,
		114, 101, 113, 117, 105, 114, 101, 100, 61, 70, 97, 108, 115, 101,
		41, 58, 10, 32, 32, 34, 34, 34, 86, 97, 108, 105, 100, 97,
		116, 101, 115, 32, 97, 32, 115, 101, 114, 118, 105, 99, 101, 32,
		104, 111, 115, 116, 32, 110, 97, 109, 101, 32, 97, 110, 100, 32,
		114, 101, 116, 117, 114, 110, 115, 32, 97, 32, 115, 116, 114, 117,
		99, 116, 32, 119, 105, 116, 104, 32, 116, 104, 101, 32, 115, 101,
		114, 118, 105, 99, 101, 32, 105, 110, 102, 111, 46, 10, 10, 32,
		32, 65, 114, 103, 115, 58, 10, 32, 32, 32, 32, 97, 116, 116,
		114, 58, 32, 110, 97, 109, 101, 32, 111, 102, 32, 116, 104, 101,
		32, 97, 116, 116, 114, 105, 98, 117, 116, 101, 44, 32, 101, 46,
		103, 46, 32, 39, 98, 117, 105, 108, 100, 98, 117, 99, 107, 101,
		116, 39, 32, 40, 102, 111, 114, 32, 101, 114, 114, 111, 114, 32,
		109, 101, 115, 115, 97, 103, 101, 115, 41, 46, 10, 32, 32, 32,
		32, 104, 111, 115, 116, 58, 32, 97, 32, 115, 101, 114, 118, 105,
		99, 101, 32, 104, 111, 115, 116, 32, 110, 97, 109, 101, 44, 32,
		101, 46, 103, 46, 32, 39, 98, 117, 105, 108, 100, 98, 117, 99,
		107, 101, 116, 46, 97, 112, 112, 115, 112, 111, 116, 46, 99, 111,
		109, 39, 46, 10, 32, 32, 32, 32, 114, 101, 113, 117, 105, 114,
		101, 100, 58, 32, 105, 102, 32, 84, 114, 117, 101, 44, 32, 102,
		97, 105, 108, 115, 32, 105, 102, 32, 104, 111, 115, 116, 32, 105,
		115, 32, 78, 111, 110, 101, 32, 111, 114, 32, 39, 39, 32, 105,
		110, 115, 116, 101, 97, 100, 32, 111, 102, 32, 114, 101, 116, 117,
		114, 110, 105, 110, 103, 32, 78, 111, 110, 101, 46, 10, 32, 32,
		34, 34, 34, 10, 32, 32, 104, 111, 115, 116, 32, 61, 32, 118,
		97, 108, 105, 100, 97, 116, 101, 46, 115, 116, 114, 105, 110, 103,
		40, 97, 116, 116, 114, 44, 32, 104, 111, 115, 116, 44, 32, 114,
		101, 113, 117, 105, 114, 101, 100, 61, 114, 101, 113, 117, 105, 114,
		101, 100, 41, 10, 32, 32, 105, 102, 32, 110, 111, 116, 32, 104,
		111, 115, 116, 58, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114,
		110, 32, 78, 111, 110, 101, 10, 10, 32, 32, 35, 32, 82, 101,
		99, 111, 103, 110, 105, 122, 101, 32, 97, 112, 112, 115, 112, 111,
		116, 46, 99, 111, 109, 44, 32, 115, 105, 110, 99, 101, 32, 116,
		104, 105, 115, 32, 105, 115, 32, 119, 104, 101, 114, 101, 32, 97,
		108, 108, 32, 76, 85, 67, 73, 32, 115, 101, 114, 118, 105, 99,
		101, 115, 32, 97, 114, 101, 46, 10, 32, 32, 97, 112, 112, 95,
		105, 100, 32, 61, 32, 104, 111, 115, 116, 10, 32, 32, 105, 102,
		32, 104, 111, 115, 116, 46, 101, 110, 100, 115, 119, 105, 116, 104,
		40, 39, 46, 97, 112, 112, 115, 112, 111, 116, 46, 99, 111, 109,
		39, 41, 58, 10, 32, 32, 32, 32, 97, 112, 112, 95, 105, 100,
		32, 61, 32, 104, 111, 115, 116, 91, 58, 45, 108, 101, 110, 40,
		39, 46, 97, 112, 112, 115, 112, 111, 116, 46, 99, 111, 109, 39,
		41, 93, 10, 10, 32, 32, 114, 101, 116, 117, 114, 110, 32, 115,
		116, 114, 117, 99, 116, 40, 10, 32, 32, 32, 32, 32, 32, 104,
		111, 115, 116, 32, 61, 32, 104, 111, 115, 116, 44, 10, 32, 32,
		32, 32, 32, 32, 97, 112, 112, 95, 105, 100, 32, 61, 32, 97,
		112, 112, 95, 105, 100, 44, 10, 32, 32, 32, 32, 32, 32, 99,
		102, 103, 95, 102, 105, 108, 101, 32, 61, 32, 39, 37, 115, 46,
		99, 102, 103, 39, 32, 37, 32, 97, 112, 112, 95, 105, 100, 44,
		10, 32, 32, 41, 10, 10, 10, 35, 32, 65, 80, 73, 32, 111,
		102, 32, 116, 104, 105, 115, 32, 109, 111, 100, 117, 108, 101, 46,
		10, 115, 101, 114, 118, 105, 99, 101, 32, 61, 32, 115, 116, 114,
		117, 99, 116, 40, 102, 114, 111, 109, 95, 104, 111, 115, 116, 32,
		61, 32, 95, 102, 114, 111, 109, 95, 104, 111, 115, 116, 41, 10,
	}),
	"stdlib/internal/luci/lib/validate.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 34, 34, 34, 71, 101, 110, 101,
		114, 105, 99, 32, 118, 97, 108, 117, 101, 32, 118, 97, 108, 105,
		100, 97, 116, 111, 114, 115, 46, 34, 34, 34, 10, 10, 10, 100,
		101, 102, 32, 95, 115, 116, 114, 105, 110, 103, 40, 97, 116, 116,
		114, 44, 32, 118, 97, 108, 44, 32, 100, 101, 102, 97, 117, 108,
		116, 61, 39, 39, 44, 32, 114, 101, 113, 117, 105, 114, 101, 100,
		61, 84, 114, 117, 101, 41, 58, 10, 32, 32, 105, 102, 32, 118,
		97, 108, 32, 61, 61, 32, 78, 111, 110, 101, 58, 10, 32, 32,
		32, 32, 105, 102, 32, 114, 101, 113, 117, 105, 114, 101, 100, 58,
		10, 32, 32, 32, 32, 32, 32, 102, 97, 105, 108, 40, 39, 98,
		97, 100, 32, 37, 114, 58, 32, 109, 105, 115, 115, 105, 110, 103,
		39, 32, 37, 32, 97, 116, 116, 114, 41, 10, 32, 32, 32, 32,
		114, 101, 116, 117, 114, 110, 32, 100, 101, 102, 97, 117, 108, 116,
		10, 32, 32, 105, 102, 32, 116, 121, 112, 101, 40, 118, 97, 108,
		41, 32, 33, 61, 32, 39, 115, 116, 114, 105, 110, 103, 39, 58,
		10, 32, 32, 32, 32, 102, 97, 105, 108, 40, 39, 98, 97, 100,
		32, 37, 114, 58, 32, 103, 111, 116, 32, 37, 115, 32, 37, 114,
		44, 32, 101, 120, 112, 101, 99, 116, 105, 110, 103, 32, 115, 116,
		114, 105, 110, 103, 39, 32, 37, 32, 40, 97, 116, 116, 114, 44,
		32, 116, 121, 112, 101, 40, 118, 97, 108, 41, 44, 32, 118, 97,
		108, 41, 41, 10, 32, 32, 114, 101, 116, 117, 114, 110, 32, 118,
		97, 108, 10, 10, 10, 100, 101, 102, 32, 95, 108, 105, 115, 116,
		40, 97, 116, 116, 114, 44, 32, 118, 97, 108, 44, 32, 100, 101,
		102, 97, 117, 108, 116, 61, 78, 111, 110, 101, 44, 32, 114, 101,
		113, 117, 105, 114, 101, 100, 61, 70, 97, 108, 115, 101, 41, 58,
		10, 32, 32, 105, 102, 32, 118, 97, 108, 32, 33, 61, 32, 78,
		111, 110, 101, 32, 97, 110, 100, 32, 116, 121, 112, 101, 40, 118,
		97, 108, 41, 32, 33, 61, 32, 39, 108, 105, 115, 116, 39, 58,
		10, 32, 32, 32, 32, 102, 97, 105, 108, 40, 39, 98, 97, 100,
		32, 37, 114, 58, 32, 103, 111, 116, 32, 37, 115, 32, 37, 114,
		44, 32, 101, 120, 112, 101, 99, 116, 105, 110, 103, 32, 108, 105,
		115, 116, 39, 32, 37, 32, 40, 97, 116, 116, 114, 44, 32, 116,
		121, 112, 101, 40, 118, 97, 108, 41, 44, 32, 118, 97, 108, 41,
		41, 10, 32, 32, 105, 102, 32, 118, 97, 108, 58, 10, 32, 32,
		32, 32, 114, 101, 116, 117, 114, 110, 32, 118, 97, 108, 10, 32,
		32, 105, 102, 32, 114, 101, 113, 117, 105, 114, 101, 100, 58, 10,
		32, 32, 32, 32, 102, 97, 105, 108, 40, 39, 98, 97, 100, 32,
		37, 114, 58, 32, 109, 105, 115, 115, 105, 110, 103, 39, 32, 37,
		32, 97, 116, 116, 114, 41, 10, 32, 32, 114, 101, 116, 117, 114,
		110, 32, 100, 101, 102, 97, 117, 108, 116, 32, 111, 114, 32, 91,
		93, 10, 10, 10, 100, 101, 102, 32, 95, 115, 116, 114, 117, 99,
		116, 40, 97, 116, 116, 114, 44, 32, 118, 97, 108, 44, 32, 115,
		121, 109, 44, 32, 100, 101, 102, 97, 117, 108, 116, 61, 78, 111,
		110, 101, 44, 32, 114, 101, 113, 117, 105, 114, 101, 100, 61, 84,
		114, 117, 101, 41, 58, 10, 32, 32, 105, 102, 32, 118, 97, 108,
		32, 61, 61, 32, 78, 111, 110, 101, 58, 10, 32, 32, 32, 32,
		105, 102, 32, 114, 101, 113, 117, 105, 114, 101, 100, 58, 10, 32,
		32, 32, 32, 32, 32, 102, 97, 105, 108, 40, 39, 98, 97, 100,
		32, 37, 114, 58, 32, 109, 105, 115, 115, 105, 110, 103, 39, 32,
		37, 32, 97, 116, 116, 114, 41, 10, 32, 32, 32, 32, 114, 101,
		116, 117, 114, 110, 32, 100, 101, 102, 97, 117, 108, 116, 10, 32,
		32, 116, 112, 32, 61, 32, 99, 116, 111, 114, 40, 118, 97, 108,
		41, 32, 111, 114, 32, 116, 121, 112, 101, 40, 118, 97, 108, 41,
		32, 32, 35, 32, 99, 116, 111, 114, 40, 46, 46, 46, 41, 32,
		114, 101, 116, 117, 114, 110, 32, 78, 111, 110, 101, 32, 102, 111,
		114, 32, 110, 111, 110, 45, 115, 116, 114, 117, 99, 116, 115, 10,
		32, 32, 105, 102, 32, 116, 112, 32, 33, 61, 32, 115, 121, 109,
		58, 10, 32, 32, 32, 32, 102, 97, 105, 108, 40, 39, 98, 97,
		100, 32, 37, 114, 58, 32, 103, 111, 116, 32, 37, 115, 32, 37,
		114, 44, 32, 101, 120, 112, 101, 99, 116, 105, 110, 103, 32, 37,
		115, 39, 32, 37, 32, 40, 97, 116, 116, 114, 44, 32, 116, 112,
		44, 32, 118, 97, 108, 44, 32, 115, 121, 109, 41, 41, 10, 32,
		32, 114, 101, 116, 117, 114, 110, 32, 118, 97, 108, 10, 10, 10,
		118, 97, 108, 105, 100, 97, 116, 101, 32, 61, 32, 115, 116, 114,
		117, 99, 116, 40, 10, 32, 32, 32, 32, 115, 116, 114, 105, 110,
		103, 32, 61, 32, 95, 115, 116, 114, 105, 110, 103, 44, 10, 32,
		32, 32, 32, 108, 105, 115, 116, 32, 61, 32, 95, 108, 105, 115,
		116, 44, 10, 32, 32, 32, 32, 115, 116, 114, 117, 99, 116, 32,
		61, 32, 95, 115, 116, 114, 117, 99, 116, 44, 10, 41, 10}),
	"stdlib/internal/luci/rules/bucket.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 108, 111, 97, 100, 40, 39, 64,
		115, 116, 100, 108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110,
		97, 108, 47, 103, 114, 97, 112, 104, 46, 115, 116, 97, 114, 39,
		44, 32, 39, 103, 114, 97, 112, 104, 39, 41, 10, 108, 111, 97,
		100, 40, 39, 64, 115, 116, 100, 108, 105, 98, 47, 47, 105, 110,
		116, 101, 114, 110, 97, 108, 47, 108, 117, 99, 105, 47, 99, 111,
		109, 109, 111, 110, 46, 115, 116, 97, 114, 39, 44, 32, 39, 107,
		101, 121, 115, 39, 41, 10, 108, 111, 97, 100, 40, 39, 64, 115,
		116, 100, 108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110, 97,
		108, 47, 108, 117, 99, 105, 47, 108, 105, 98, 47, 97, 99, 108,
		46, 115, 116, 97, 114, 39, 44, 32, 39, 97, 99, 108, 105, 109,
		112, 108, 39, 41, 10, 108, 111, 97, 100, 40, 39, 64, 115, 116,
		100, 108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110, 97, 108,
		47, 108, 117, 99, 105, 47, 108, 105, 98, 47, 118, 97, 108, 105,
		100, 97, 116, 101, 46, 115, 116, 97, 114, 39, 44, 32, 39, 118,
		97, 108, 105, 100, 97, 116, 101, 39, 41, 10, 10, 10, 100, 101,
		102, 32, 98, 117, 99, 107, 101, 116, 40, 110, 97, 109, 101, 44,
		32, 97, 99, 108, 115, 61, 78, 111, 110, 101, 41, 58, 10, 32,
		32, 34, 34, 34, 68, 101, 102, 105, 110, 101, 115, 32, 97, 32,
		98, 117, 99, 107, 101, 116, 58, 32, 97, 32, 99, 111, 110, 116,
		97, 105, 110, 101, 114, 32, 102, 111, 114, 32, 76, 85, 67, 73,
		32, 114, 101, 115, 111, 117, 114, 99, 101, 115, 32, 116, 104, 97,
		116, 32, 115, 104, 97, 114, 101, 32, 116, 104, 101, 32, 115, 97,
		109, 101, 32, 65, 67, 76, 46, 10, 10, 32, 32, 65, 114, 103,
		115, 58, 10, 32, 32, 32, 32, 110, 97, 109, 101, 58, 32, 110,
		97, 109, 101, 32, 111, 102, 32, 116, 104, 101, 32, 98, 117, 99,
		107, 101, 116, 44, 32, 101, 46, 103, 46, 32, 39, 99, 105, 39,
		32, 111, 114, 32, 39, 116, 114, 121, 39, 46, 10, 32, 32, 32,
		32, 97, 99, 108, 115, 58, 32, 108, 105, 115, 116, 32, 111, 102,
		32, 97, 99, 108, 46, 101, 110, 116, 114, 121, 32, 111, 98, 106,
		101, 99, 116, 115, 46, 10, 32, 32, 34, 34, 34, 10, 32, 32,
		110, 97, 109, 101, 32, 61, 32, 118, 97, 108, 105, 100, 97, 116,
		101, 46, 115, 116, 114, 105, 110, 103, 40, 39, 110, 97, 109, 101,
		39, 44, 32, 110, 97, 109, 101, 41, 10, 32, 32, 103, 114, 97,
		112, 104, 46, 97, 100, 100, 95, 110, 111, 100, 101, 40, 107, 101,
		121, 115, 46, 98, 117, 99, 107, 101, 116, 40, 110, 97, 109, 101,
		41, 44, 32, 112, 114, 111, 112, 115, 32, 61, 32, 123, 10, 32,
		32, 32, 32, 32, 32, 39, 110, 97, 109, 101, 39, 58, 32, 110,
		97, 109, 101, 44, 10, 32, 32, 32, 32, 32, 32, 39, 97, 99,
		108, 115, 39, 58, 32, 97, 99, 108, 105, 109, 112, 108, 46, 118,
		97, 108, 105, 100, 97, 116, 101, 95, 97, 99, 108, 115, 40, 97,
		99, 108, 115, 44, 32, 112, 114, 111, 106, 101, 99, 116, 95, 108,
		101, 118, 101, 108, 61, 70, 97, 108, 115, 101, 41, 44, 10, 32,
		32, 125, 41, 10, 32, 32, 103, 114, 97, 112, 104, 46, 97, 100,
		100, 95, 101, 100, 103, 101, 40, 107, 101, 121, 115, 46, 112, 114,
		111, 106, 101, 99, 116, 40, 41, 44, 32, 107, 101, 121, 115, 46,
		98, 117, 99, 107, 101, 116, 40, 110, 97, 109, 101, 41, 41, 10,
	}),
	"stdlib/internal/luci/rules/logdog.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 108, 111, 97, 100, 40, 39, 64,
		115, 116, 100, 108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110,
		97, 108, 47, 103, 114, 97, 112, 104, 46, 115, 116, 97, 114, 39,
		44, 32, 39, 103, 114, 97, 112, 104, 39, 41, 10, 108, 111, 97,
		100, 40, 39, 64, 115, 116, 100, 108, 105, 98, 47, 47, 105, 110,
		116, 101, 114, 110, 97, 108, 47, 108, 117, 99, 105, 47, 99, 111,
		109, 109, 111, 110, 46, 115, 116, 97, 114, 39, 44, 32, 39, 107,
		101, 121, 115, 39, 41, 10, 108, 111, 97, 100, 40, 39, 64, 115,
		116, 100, 108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110, 97,
		108, 47, 108, 117, 99, 105, 47, 108, 105, 98, 47, 118, 97, 108,
		105, 100, 97, 116, 101, 46, 115, 116, 97, 114, 39, 44, 32, 39,
		118, 97, 108, 105, 100, 97, 116, 101, 39, 41, 10, 10, 10, 100,
		101, 102, 32, 108, 111, 103, 100, 111, 103, 40, 103, 115, 95, 98,
		117, 99, 107, 101, 116, 61, 78, 111, 110, 101, 41, 58, 10, 32,
		32, 34, 34, 34, 67, 111, 110, 102, 105, 103, 117, 114, 97, 116,
		105, 111, 110, 32, 102, 111, 114, 32, 116, 104, 101, 32, 76, 111,
		103, 68, 111, 103, 32, 115, 101, 114, 118, 105, 99, 101, 46, 10,
		10, 32, 32, 65, 114, 103, 115, 58, 10, 32, 32, 32, 32, 103,
		115, 95, 98, 117, 99, 107, 101, 116, 58, 32, 98, 97, 115, 101,
		32, 71, 111, 111, 103, 108, 101, 32, 83, 116, 111, 114, 97, 103,
		101, 32, 97, 114, 99, 104, 105, 118, 97, 108, 32, 112, 97, 116,
		104, 44, 32, 97, 114, 99, 104, 105, 118, 101, 32, 108, 111, 103,
		115, 32, 119, 105, 108, 108, 32, 98, 101, 32, 119, 114, 105, 116,
		116, 101, 110, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 111,
		32, 116, 104, 105, 115, 32, 98, 117, 99, 107, 101, 116, 47, 112,
		97, 116, 104, 46, 10, 32, 32, 34, 34, 34, 10, 32, 32, 103,
		114, 97, 112, 104, 46, 97, 100, 100, 95, 110, 111, 100, 101, 40,
		107, 101, 121, 115, 46, 108, 111, 103, 100, 111, 103, 40, 41, 44,
		32, 112, 114, 111, 112, 115, 32, 61, 32, 123, 10, 32, 32, 32,
		32, 32, 32, 39, 103, 115, 95, 98, 117, 99, 107, 101, 116, 39,
		58, 32, 118, 97, 108, 105, 100, 97, 116, 101, 46, 115, 116, 114,
		105, 110, 103, 40, 39, 103, 115, 95, 98, 117, 99, 107, 101, 116,
		39, 44, 32, 103, 115, 95, 98, 117, 99, 107, 101, 116, 44, 32,
		114, 101, 113, 117, 105, 114, 101, 100, 61, 70, 97, 108, 115, 101,
		41, 44, 10, 32, 32, 125, 41, 10, 32, 32, 103, 114, 97, 112,
		104, 46, 97, 100, 100, 95, 101, 100, 103, 101, 40, 107, 101, 121,
		115, 46, 112, 114, 111, 106, 101, 99, 116, 40, 41, 44, 32, 107,
		101, 121, 115, 46, 108, 111, 103, 100, 111, 103, 40, 41, 41, 10,
	}),
	"stdlib/internal/luci/rules/project.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 108, 111, 97, 100, 40, 39, 64,
		115, 116, 100, 108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110,
		97, 108, 47, 103, 114, 97, 112, 104, 46, 115, 116, 97, 114, 39,
		44, 32, 39, 103, 114, 97, 112, 104, 39, 41, 10, 108, 111, 97,
		100, 40, 39, 64, 115, 116, 100, 108, 105, 98, 47, 47, 105, 110,
		116, 101, 114, 110, 97, 108, 47, 108, 117, 99, 105, 47, 99, 111,
		109, 109, 111, 110, 46, 115, 116, 97, 114, 39, 44, 32, 39, 107,
		101, 121, 115, 39, 41, 10, 108, 111, 97, 100, 40, 39, 64, 115,
		116, 100, 108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110, 97,
		108, 47, 108, 117, 99, 105, 47, 108, 105, 98, 47, 97, 99, 108,
		46, 115, 116, 97, 114, 39, 44, 32, 39, 97, 99, 108, 105, 109,
		112, 108, 39, 41, 10, 108, 111, 97, 100, 40, 39, 64, 115, 116,
		100, 108, 105, 98, 47, 47, 105, 110, 116, 101, 114, 110, 97, 108,
		47, 108, 117, 99, 105, 47, 108, 105, 98, 47, 115, 101, 114, 118,
		105, 99, 101, 46, 115, 116, 97, 114, 39, 44, 32, 39, 115, 101,
		114, 118, 105, 99, 101, 39, 41, 10, 108, 111, 97, 100, 40, 39,
		64, 115, 116, 100, 108, 105, 98, 47, 47, 105, 110, 116, 101, 114,
		110, 97, 108, 47, 108, 117, 99, 105, 47, 108, 105, 98, 47, 118,
		97, 108, 105, 100, 97, 116, 101, 46, 115, 116, 97, 114, 39, 44,
		32, 39, 118, 97, 108, 105, 100, 97, 116, 101, 39, 41, 10, 10,
		10, 100, 101, 102, 32, 112, 114, 111, 106, 101, 99, 116, 40, 110,
		97, 109, 101, 44, 32, 97, 99, 108, 115, 61, 78, 111, 110, 101,
		44, 32, 98, 117, 105, 108, 100, 98, 117, 99, 107, 101, 116, 61,
		78, 111, 110, 101, 44, 32, 115, 119, 97, 114, 109, 105, 110, 103,
		61, 78, 111, 110, 101, 44, 32, 108, 111, 103, 100, 111, 103, 61,
		78, 111, 110, 101, 41, 58, 10, 32, 32, 34, 34, 34, 68, 101,
		102, 105, 110, 101, 115, 32, 97, 32, 76, 85, 67, 73, 32, 112,
		114, 111, 106, 101, 99, 116, 46, 10, 10, 32, 32, 84, 104, 101,
		114, 101, 32, 115, 104, 111, 117, 108, 100, 32, 98, 101, 32, 101,
		120, 97, 99, 116, 108, 121, 32, 111, 110, 101, 32, 115, 117, 99,
		104, 32, 100, 101, 102, 105, 110, 105, 116, 105, 111, 110, 32, 105,
		110, 32, 97, 32, 115, 105, 110, 103, 108, 101, 32, 116, 111, 112,
		45, 108, 101, 118, 101, 108, 32, 99, 111, 110, 102, 105, 103, 32,
		102, 105, 108, 101, 46, 10, 10, 32, 32, 65, 114, 103, 115, 58,
		10, 32, 32, 32, 32, 110, 97, 109, 101, 58, 32, 102, 117, 108,
		108, 32, 110, 97, 109, 101, 32, 111, 102, 32, 116, 104, 101, 32,
		112, 114, 111, 106, 101, 99, 116, 46, 10, 32, 32, 32, 32, 97,
		99, 108, 115, 58, 32, 108, 105, 115, 116, 32, 111, 102, 32, 97,
		99, 108, 46, 101, 110, 116, 114, 121, 32, 111, 98, 106, 101, 99,
		116, 115, 44, 32, 119, 105, 108, 108, 32, 98, 101, 32, 105, 110,
		104, 101, 114, 105, 116, 101, 100, 32, 98, 121, 32, 97, 108, 108,
		32, 98, 117, 99, 107, 101, 116, 115, 46, 10, 32, 32, 32, 32,
		98, 117, 105, 108, 100, 98, 117, 99, 107, 101, 116, 58, 32, 104,
		111, 115, 116, 110, 97, 109, 101, 32, 111, 102, 32, 97, 32, 66,
		117, 105, 108, 100, 98, 117, 99, 107, 101, 116, 32, 115, 101, 114,
		118, 105, 99, 101, 32, 116, 111, 32, 117, 115, 101, 32, 40, 105,
		102, 32, 97, 110, 121, 41, 46, 10, 32, 32, 32, 32, 115, 119,
		97, 114, 109, 105, 110, 103, 58, 32, 104, 111, 115, 116, 110, 97,
		109, 101, 32, 111, 102, 32, 97, 32, 83, 119, 97, 114, 109, 105,
		110, 103, 32, 115, 101, 114, 118, 105, 99, 101, 32, 116, 111, 32,
		117, 115, 101, 32, 40, 105, 102, 32, 97, 110, 121, 41, 46, 10,
		32, 32, 32, 32, 108, 111, 103, 100, 111, 103, 58, 32, 104, 111,
		115, 116, 110, 97, 109, 101, 32, 111, 102, 32, 97, 32, 76, 111,
		103, 68, 111, 103, 32, 115, 101, 114, 118, 105, 99, 101, 32, 116,
		111, 32, 117, 115, 101, 32, 40, 105, 102, 32, 97, 110, 121, 41,
		46, 10, 32, 32, 34, 34, 34, 10, 32, 32, 103, 114, 97, 112,
		104, 46, 97, 100, 100, 95, 110, 111, 100, 101, 40, 107, 101, 121,
		115, 46, 112, 114, 111, 106, 101, 99, 116, 40, 41, 44, 32, 112,
		114, 111, 112, 115, 32, 61, 32, 123, 10, 32, 32, 32, 32, 32,
		32, 39, 110, 97, 109, 101, 39, 58, 32, 118, 97, 108, 105, 100,
		97, 116, 101, 46, 115, 116, 114, 105, 110, 103, 40, 39, 110, 97,
		109, 101, 39, 44, 32, 110, 97, 109, 101, 41, 44, 10, 32, 32,
		32, 32, 32, 32, 39, 97, 99, 108, 115, 39, 58, 32, 97, 99,
		108, 105, 109, 112, 108, 46, 118, 97, 108, 105, 100, 97, 116, 101,
		95, 97, 99, 108, 115, 40, 97, 99, 108, 115, 44, 32, 112, 114,
		111, 106, 101, 99, 116, 95, 108, 101, 118, 101, 108, 61, 84, 114,
		117, 101, 41, 44, 10, 32, 32, 32, 32, 32, 32, 39, 98, 117,
		105, 108, 100, 98, 117, 99, 107, 101, 116, 39, 58, 32, 115, 101,
		114, 118, 105, 99, 101, 46, 102, 114, 111, 109, 95, 104, 111, 115,
		116, 40, 39, 98, 117, 105, 108, 100, 98, 117, 99, 107, 101, 116,
		39, 44, 32, 98, 117, 105, 108, 100, 98, 117, 99, 107, 101, 116,
		41, 44, 10, 32, 32, 32, 32, 32, 32, 39, 115, 119, 97, 114,
		109, 105, 110, 103, 39, 58, 32, 115, 101, 114, 118, 105, 99, 101,
		46, 102, 114, 111, 109, 95, 104, 111, 115, 116, 40, 39, 115, 119,
		97, 114, 109, 105, 110, 103, 39, 44, 32, 115, 119, 97, 114, 109,
		105, 110, 103, 41, 44, 10, 32, 32, 32, 32, 32, 32, 39, 108,
		111, 103, 100, 111, 103, 39, 58, 32, 115, 101, 114, 118, 105, 99,
		101, 46, 102, 114, 111, 109, 95, 104, 111, 115, 116, 40, 39, 108,
		111, 103, 100, 111, 103, 39, 44, 32, 108, 111, 103, 100, 111, 103,
		41, 44, 10, 32, 32, 125, 41, 10}),
	"stdlib/internal/re.star": string([]byte{35, 32,
		67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 50, 48, 49, 56,
		32, 84, 104, 101, 32, 76, 85, 67, 73, 32, 65, 117, 116, 104,
		111, 114, 115, 46, 10, 35, 10, 35, 32, 76, 105, 99, 101, 110,
		115, 101, 100, 32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32,
		65, 112, 97, 99, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101,
		44, 32, 86, 101, 114, 115, 105, 111, 110, 32, 50, 46, 48, 32,
		40, 116, 104, 101, 32, 34, 76, 105, 99, 101, 110, 115, 101, 34,
		41, 59, 10, 35, 32, 121, 111, 117, 32, 109, 97, 121, 32, 110,
		111, 116, 32, 117, 115, 101, 32, 116, 104, 105, 115, 32, 102, 105,
		108, 101, 32, 101, 120, 99, 101, 112, 116, 32, 105, 110, 32, 99,
		111, 109, 112, 108, 105, 97, 110, 99, 101, 32, 119, 105, 116, 104,
		32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 46, 10,
		35, 32, 89, 111, 117, 32, 109, 97, 121, 32, 111, 98, 116, 97,
		105, 110, 32, 97, 32, 99, 111, 112, 121, 32, 111, 102, 32, 116,
		104, 101, 32, 76, 105, 99, 101, 110, 115, 101, 32, 97, 116, 10,
		35, 10, 35, 32, 32, 32, 32, 32, 32, 104, 116, 116, 112, 58,
		47, 47, 119, 119, 119, 46, 97, 112, 97, 99, 104, 101, 46, 111,
		114, 103, 47, 108, 105, 99, 101, 110, 115, 101, 115, 47, 76, 73,
		67, 69, 78, 83, 69, 45, 50, 46, 48, 10, 35, 10, 35, 32,
		85, 110, 108, 101, 115, 115, 32, 114, 101, 113, 117, 105, 114, 101,
		100, 32, 98, 121, 32, 97, 112, 112, 108, 105, 99, 97, 98, 108,
		101, 32, 108, 97, 119, 32, 111, 114, 32, 97, 103, 114, 101, 101,
		100, 32, 116, 111, 32, 105, 110, 32, 119, 114, 105, 116, 105, 110,
		103, 44, 32, 115, 111, 102, 116, 119, 97, 114, 101, 10, 35, 32,
		100, 105, 115, 116, 114, 105, 98, 117, 116, 101, 100, 32, 117, 110,
		100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99, 101, 110, 115,
		101, 32, 105, 115, 32, 100, 105, 115, 116, 114, 105, 98, 117, 116,
		101, 100, 32, 111, 110, 32, 97, 110, 32, 34, 65, 83, 32, 73,
		83, 34, 32, 66, 65, 83, 73, 83, 44, 10, 35, 32, 87, 73,
		84, 72, 79, 85, 84, 32, 87, 65, 82, 82, 65, 78, 84, 73,
		69, 83, 32, 79, 82, 32, 67, 79, 78, 68, 73, 84, 73, 79,
		78, 83, 32, 79, 70, 32, 65, 78, 89, 32, 75, 73, 78, 68,
		44, 32, 101, 105, 116, 104, 101, 114, 32, 101, 120, 112, 114, 101,
		115, 115, 32, 111, 114, 32, 105, 109, 112, 108, 105, 101, 100, 46,
		10, 35, 32, 83, 101, 101, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 32, 102, 111, 114, 32, 116, 104, 101, 32, 115,
		112, 101, 99, 105, 102, 105, 99, 32, 108, 97, 110, 103, 117, 97,
		103, 101, 32, 103, 111, 118, 101, 114, 110, 105, 110, 103, 32, 112,
		101, 114, 109, 105, 115, 115, 105, 111, 110, 115, 32, 97, 110, 100,
		10, 35, 32, 108, 105, 109, 105, 116, 97, 116, 105, 111, 110, 115,
		32, 117, 110, 100, 101, 114, 32, 116, 104, 101, 32, 76, 105, 99,
		101, 110, 115, 101, 46, 10, 10, 10, 100, 101, 102, 32, 95, 115,
		117, 98, 109, 97, 116, 99, 104, 101, 115, 40, 112, 97, 116, 116,
		101, 114, 110, 44, 32, 115, 116, 114, 41, 58, 10, 32, 32, 34,
		34, 34, 82, 101, 116, 117, 114, 110, 115, 32, 97, 32, 116, 117,
		112, 108, 101, 32, 111, 102, 32, 115, 117, 98, 109, 97, 116, 99,
		104, 101, 115, 32, 119, 105, 116, 104, 32, 116, 104, 101, 32, 108,
		101, 102, 116, 109, 111, 115, 116, 32, 109, 97, 116, 99, 104, 32,
		111, 102, 32, 116, 104, 101, 32, 114, 101, 103, 117, 108, 97, 114,
		10, 32, 32, 101, 120, 112, 114, 101, 115, 115, 105, 111, 110, 46,
		10, 10, 32, 32, 84, 104, 101, 32, 114, 101, 116, 117, 114, 110,
		101, 100, 32, 116, 117, 112, 108, 101, 32, 104, 97, 115, 32, 116,
		104, 101, 32, 102, 117, 108, 108, 32, 109, 97, 116, 99, 104, 32,
		97, 115, 32, 97, 32, 102, 105, 114, 115, 116, 32, 105, 116, 101,
		109, 44, 32, 102, 111, 108, 108, 111, 119, 101, 100, 32, 98, 121,
		10, 32, 32, 115, 117, 98, 101, 120, 112, 114, 101, 115, 115, 105,
		111, 110, 32, 109, 97, 116, 99, 104, 101, 115, 46, 10, 10, 32,
		32, 73, 102, 32, 116, 104, 101, 32, 115, 116, 114, 105, 110, 103,
		32, 100, 111, 101, 115, 110, 39, 116, 32, 109, 97, 116, 99, 104,
		32, 116, 104, 101, 32, 101, 120, 112, 114, 101, 115, 115, 105, 111,
		110, 32, 114, 101, 116, 117, 114, 110, 115, 32, 97, 110, 32, 101,
		109, 112, 116, 121, 32, 116, 117, 112, 108, 101, 46, 32, 70, 97,
		105, 108, 115, 32, 105, 102, 10, 32, 32, 116, 104, 101, 32, 114,
		101, 103, 117, 108, 97, 114, 32, 101, 120, 112, 114, 101, 115, 115,
		105, 111, 110, 32, 99, 97, 110, 39, 116, 32, 98, 101, 32, 99,
		111, 109, 112, 105, 108, 101, 100, 46, 10, 32, 32, 34, 34, 34,
		10, 32, 32, 114, 101, 116, 117, 114, 110, 32, 95, 95, 110, 97,
		116, 105, 118, 101, 95, 95, 46, 114, 101, 95, 115, 117, 98, 109,
		97, 116, 99, 104, 101, 115, 40, 112, 97, 116, 116, 101, 114, 110,
		44, 32, 115, 116, 114, 41, 10, 10, 10, 35, 32, 80, 117, 98,
		108, 105, 99, 32, 65, 80, 73, 32, 111, 102, 32, 116, 104, 105,
		115, 32, 109, 111, 100, 117, 108, 101, 46, 10, 114, 101, 32, 61,
		32, 115, 116, 114, 117, 99, 116, 40, 10, 32, 32, 32, 32, 115,
		117, 98, 109, 97, 116, 99, 104, 101, 115, 32, 61, 32, 95, 115,
		117, 98, 109, 97, 116, 99, 104, 101, 115, 44, 10, 41, 10}),
}

var fileSha256s = map[string][]byte{
	"stdlib/builtins.star": {115, 189,
		59, 25, 23, 165, 190, 242, 72, 228, 215, 123, 97, 111, 178, 142,
		128, 21, 192, 198, 49, 94, 122, 243, 78, 143, 61, 35, 125, 141,
		178, 241},
	"stdlib/internal/error.star": {142, 130,
		138, 160, 168, 24, 185, 138, 84, 160, 101, 216, 166, 255, 101, 62,
		61, 138, 178, 12, 253, 229, 10, 95, 122, 100, 154, 21, 230, 57,
		95, 25},
	"stdlib/internal/generator.star": {246, 39,
		27, 21, 161, 182, 91, 47, 7, 93, 116, 31, 194, 224, 6, 54,
		230, 26, 162, 221, 77, 129, 59, 92, 126, 227, 248, 131, 200, 197,
		233, 82},
	"stdlib/internal/graph.star": {149, 198,
		165, 122, 128, 26, 99, 243, 0, 176, 250, 42, 217, 220, 155, 169,
		59, 205, 244, 140, 74, 187, 91, 35, 200, 6, 142, 205, 11, 174,
		100, 139},
	"stdlib/internal/luci/common.star": {94, 93,
		159, 5, 16, 219, 67, 30, 133, 192, 181, 227, 188, 112, 172, 18,
		42, 165, 57, 199, 219, 116, 35, 87, 211, 250, 104, 155, 159, 95,
		249, 80},
	"stdlib/internal/luci/generators.star": {118, 118,
		148, 144, 229, 232, 243, 221, 212, 186, 39, 109, 235, 50, 220, 243,
		172, 243, 124, 33, 137, 186, 94, 251, 37, 168, 254, 184, 82, 63,
		87, 75},
	"stdlib/internal/luci/lib/acl.star": {99, 8,
		91, 168, 219, 121, 175, 172, 180, 4, 36, 144, 18, 8, 192, 80,
		64, 45, 183, 95, 52, 228, 92, 35, 161, 227, 164, 68, 11, 181,
		64, 4},
	"stdlib/internal/luci/lib/service.star": {151, 242,
		52, 177, 208, 247, 16, 242, 200, 143, 182, 37, 80, 120, 254, 235,
		218, 199, 13, 127, 247, 76, 32, 1, 101, 20, 114, 160, 195, 67,
		226, 103},
	"stdlib/internal/luci/lib/validate.star": {46, 4,
		84, 89, 182, 71, 83, 125, 64, 84, 172, 93, 16, 123, 252, 242,
		11, 232, 251, 221, 146, 166, 251, 122, 12, 57, 235, 4, 254, 54,
		244, 156},
	"stdlib/internal/luci/rules/bucket.star": {14, 5,
		127, 54, 255, 119, 175, 112, 147, 54, 228, 110, 210, 169, 180, 144,
		116, 154, 138, 87, 87, 112, 212, 5, 10, 61, 203, 57, 227, 177,
		148, 162},
	"stdlib/internal/luci/rules/logdog.star": {176, 141,
		198, 111, 206, 4, 10, 154, 142, 108, 63, 55, 211, 112, 130, 125,
		144, 143, 157, 202, 144, 118, 167, 60, 40, 129, 27, 126, 193, 53,
		105, 187},
	"stdlib/internal/luci/rules/project.star": {113, 2,
		35, 184, 152, 6, 46, 96, 177, 14, 114, 126, 194, 17, 1, 192,
		195, 76, 90, 150, 216, 89, 101, 88, 190, 132, 182, 161, 68, 192,
		9, 96},
	"stdlib/internal/re.star": {4, 123,
		46, 145, 7, 187, 116, 232, 151, 158, 165, 168, 200, 155, 80, 142,
		10, 195, 65, 236, 197, 10, 1, 39, 36, 88, 47, 218, 235, 35,
		104, 222},
}