itp-interface 1.0.0__py3-none-any.whl

itp_interface/pisa/src/main/scala/pisa/server/PisaOneStageServers.scala

@@ -0,0 +1,1048 @@
+package pisa.server
+
+import scalapb.zio_grpc.{ServerMain, ServiceList}
+
+object PisaOneStageServer8000 extends ServerMain {
+ override def port : Int = 8000
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8001 extends ServerMain {
+ override def port : Int = 8001
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8002 extends ServerMain {
+ override def port : Int = 8002
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8003 extends ServerMain {
+ override def port : Int = 8003
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8004 extends ServerMain {
+ override def port : Int = 8004
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8005 extends ServerMain {
+ override def port : Int = 8005
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8006 extends ServerMain {
+ override def port : Int = 8006
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8007 extends ServerMain {
+ override def port : Int = 8007
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8008 extends ServerMain {
+ override def port : Int = 8008
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8009 extends ServerMain {
+ override def port : Int = 8009
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8010 extends ServerMain {
+ override def port : Int = 8010
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8011 extends ServerMain {
+ override def port : Int = 8011
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8012 extends ServerMain {
+ override def port : Int = 8012
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8013 extends ServerMain {
+ override def port : Int = 8013
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8014 extends ServerMain {
+ override def port : Int = 8014
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8015 extends ServerMain {
+ override def port : Int = 8015
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8016 extends ServerMain {
+ override def port : Int = 8016
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8017 extends ServerMain {
+ override def port : Int = 8017
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8018 extends ServerMain {
+ override def port : Int = 8018
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8019 extends ServerMain {
+ override def port : Int = 8019
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8020 extends ServerMain {
+ override def port : Int = 8020
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8021 extends ServerMain {
+ override def port : Int = 8021
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8022 extends ServerMain {
+ override def port : Int = 8022
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8023 extends ServerMain {
+ override def port : Int = 8023
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8024 extends ServerMain {
+ override def port : Int = 8024
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8025 extends ServerMain {
+ override def port : Int = 8025
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8026 extends ServerMain {
+ override def port : Int = 8026
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8027 extends ServerMain {
+ override def port : Int = 8027
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8028 extends ServerMain {
+ override def port : Int = 8028
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8029 extends ServerMain {
+ override def port : Int = 8029
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8030 extends ServerMain {
+ override def port : Int = 8030
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8031 extends ServerMain {
+ override def port : Int = 8031
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8032 extends ServerMain {
+ override def port : Int = 8032
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8033 extends ServerMain {
+ override def port : Int = 8033
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8034 extends ServerMain {
+ override def port : Int = 8034
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8035 extends ServerMain {
+ override def port : Int = 8035
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8036 extends ServerMain {
+ override def port : Int = 8036
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8037 extends ServerMain {
+ override def port : Int = 8037
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8038 extends ServerMain {
+ override def port : Int = 8038
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8039 extends ServerMain {
+ override def port : Int = 8039
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8040 extends ServerMain {
+ override def port : Int = 8040
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8041 extends ServerMain {
+ override def port : Int = 8041
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8042 extends ServerMain {
+ override def port : Int = 8042
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8043 extends ServerMain {
+ override def port : Int = 8043
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8044 extends ServerMain {
+ override def port : Int = 8044
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8045 extends ServerMain {
+ override def port : Int = 8045
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8046 extends ServerMain {
+ override def port : Int = 8046
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8047 extends ServerMain {
+ override def port : Int = 8047
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8048 extends ServerMain {
+ override def port : Int = 8048
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8049 extends ServerMain {
+ override def port : Int = 8049
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8050 extends ServerMain {
+ override def port : Int = 8050
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8051 extends ServerMain {
+ override def port : Int = 8051
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8052 extends ServerMain {
+ override def port : Int = 8052
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8053 extends ServerMain {
+ override def port : Int = 8053
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8054 extends ServerMain {
+ override def port : Int = 8054
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8055 extends ServerMain {
+ override def port : Int = 8055
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8056 extends ServerMain {
+ override def port : Int = 8056
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8057 extends ServerMain {
+ override def port : Int = 8057
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8058 extends ServerMain {
+ override def port : Int = 8058
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8059 extends ServerMain {
+ override def port : Int = 8059
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8060 extends ServerMain {
+ override def port : Int = 8060
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8061 extends ServerMain {
+ override def port : Int = 8061
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8062 extends ServerMain {
+ override def port : Int = 8062
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8063 extends ServerMain {
+ override def port : Int = 8063
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8064 extends ServerMain {
+ override def port : Int = 8064
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8065 extends ServerMain {
+ override def port : Int = 8065
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8066 extends ServerMain {
+ override def port : Int = 8066
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8067 extends ServerMain {
+ override def port : Int = 8067
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8068 extends ServerMain {
+ override def port : Int = 8068
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8069 extends ServerMain {
+ override def port : Int = 8069
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8070 extends ServerMain {
+ override def port : Int = 8070
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8071 extends ServerMain {
+ override def port : Int = 8071
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8072 extends ServerMain {
+ override def port : Int = 8072
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8073 extends ServerMain {
+ override def port : Int = 8073
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8074 extends ServerMain {
+ override def port : Int = 8074
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8075 extends ServerMain {
+ override def port : Int = 8075
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8076 extends ServerMain {
+ override def port : Int = 8076
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8077 extends ServerMain {
+ override def port : Int = 8077
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8078 extends ServerMain {
+ override def port : Int = 8078
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8079 extends ServerMain {
+ override def port : Int = 8079
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8080 extends ServerMain {
+ override def port : Int = 8080
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8081 extends ServerMain {
+ override def port : Int = 8081
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8082 extends ServerMain {
+ override def port : Int = 8082
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8083 extends ServerMain {
+ override def port : Int = 8083
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8084 extends ServerMain {
+ override def port : Int = 8084
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8085 extends ServerMain {
+ override def port : Int = 8085
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8086 extends ServerMain {
+ override def port : Int = 8086
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8087 extends ServerMain {
+ override def port : Int = 8087
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8088 extends ServerMain {
+ override def port : Int = 8088
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8089 extends ServerMain {
+ override def port : Int = 8089
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8090 extends ServerMain {
+ override def port : Int = 8090
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8091 extends ServerMain {
+ override def port : Int = 8091
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8092 extends ServerMain {
+ override def port : Int = 8092
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8093 extends ServerMain {
+ override def port : Int = 8093
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8094 extends ServerMain {
+ override def port : Int = 8094
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8095 extends ServerMain {
+ override def port : Int = 8095
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8096 extends ServerMain {
+ override def port : Int = 8096
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8097 extends ServerMain {
+ override def port : Int = 8097
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8098 extends ServerMain {
+ override def port : Int = 8098
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8099 extends ServerMain {
+ override def port : Int = 8099
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8100 extends ServerMain {
+ override def port : Int = 8100
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8101 extends ServerMain {
+ override def port : Int = 8101
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8102 extends ServerMain {
+ override def port : Int = 8102
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8103 extends ServerMain {
+ override def port : Int = 8103
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8104 extends ServerMain {
+ override def port : Int = 8104
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8105 extends ServerMain {
+ override def port : Int = 8105
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8106 extends ServerMain {
+ override def port : Int = 8106
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8107 extends ServerMain {
+ override def port : Int = 8107
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8108 extends ServerMain {
+ override def port : Int = 8108
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8109 extends ServerMain {
+ override def port : Int = 8109
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8110 extends ServerMain {
+ override def port : Int = 8110
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8111 extends ServerMain {
+ override def port : Int = 8111
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8112 extends ServerMain {
+ override def port : Int = 8112
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8113 extends ServerMain {
+ override def port : Int = 8113
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8114 extends ServerMain {
+ override def port : Int = 8114
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8115 extends ServerMain {
+ override def port : Int = 8115
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8116 extends ServerMain {
+ override def port : Int = 8116
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8117 extends ServerMain {
+ override def port : Int = 8117
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8118 extends ServerMain {
+ override def port : Int = 8118
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8119 extends ServerMain {
+ override def port : Int = 8119
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8120 extends ServerMain {
+ override def port : Int = 8120
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8121 extends ServerMain {
+ override def port : Int = 8121
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8122 extends ServerMain {
+ override def port : Int = 8122
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8123 extends ServerMain {
+ override def port : Int = 8123
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8124 extends ServerMain {
+ override def port : Int = 8124
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8125 extends ServerMain {
+ override def port : Int = 8125
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8126 extends ServerMain {
+ override def port : Int = 8126
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8127 extends ServerMain {
+ override def port : Int = 8127
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8128 extends ServerMain {
+ override def port : Int = 8128
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8129 extends ServerMain {
+ override def port : Int = 8129
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8130 extends ServerMain {
+ override def port : Int = 8130
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8131 extends ServerMain {
+ override def port : Int = 8131
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8132 extends ServerMain {
+ override def port : Int = 8132
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8133 extends ServerMain {
+ override def port : Int = 8133
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8134 extends ServerMain {
+ override def port : Int = 8134
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8135 extends ServerMain {
+ override def port : Int = 8135
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8136 extends ServerMain {
+ override def port : Int = 8136
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8137 extends ServerMain {
+ override def port : Int = 8137
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8138 extends ServerMain {
+ override def port : Int = 8138
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8139 extends ServerMain {
+ override def port : Int = 8139
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8140 extends ServerMain {
+ override def port : Int = 8140
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8141 extends ServerMain {
+ override def port : Int = 8141
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8142 extends ServerMain {
+ override def port : Int = 8142
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8143 extends ServerMain {
+ override def port : Int = 8143
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8144 extends ServerMain {
+ override def port : Int = 8144
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8145 extends ServerMain {
+ override def port : Int = 8145
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8146 extends ServerMain {
+ override def port : Int = 8146
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8147 extends ServerMain {
+ override def port : Int = 8147
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8148 extends ServerMain {
+ override def port : Int = 8148
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8149 extends ServerMain {
+ override def port : Int = 8149
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8150 extends ServerMain {
+ override def port : Int = 8150
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8151 extends ServerMain {
+ override def port : Int = 8151
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8152 extends ServerMain {
+ override def port : Int = 8152
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8153 extends ServerMain {
+ override def port : Int = 8153
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8154 extends ServerMain {
+ override def port : Int = 8154
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8155 extends ServerMain {
+ override def port : Int = 8155
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8156 extends ServerMain {
+ override def port : Int = 8156
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8157 extends ServerMain {
+ override def port : Int = 8157
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8158 extends ServerMain {
+ override def port : Int = 8158
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8159 extends ServerMain {
+ override def port : Int = 8159
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8160 extends ServerMain {
+ override def port : Int = 8160
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8161 extends ServerMain {
+ override def port : Int = 8161
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8162 extends ServerMain {
+ override def port : Int = 8162
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8163 extends ServerMain {
+ override def port : Int = 8163
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8164 extends ServerMain {
+ override def port : Int = 8164
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8165 extends ServerMain {
+ override def port : Int = 8165
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8166 extends ServerMain {
+ override def port : Int = 8166
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8167 extends ServerMain {
+ override def port : Int = 8167
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8168 extends ServerMain {
+ override def port : Int = 8168
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8169 extends ServerMain {
+ override def port : Int = 8169
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8170 extends ServerMain {
+ override def port : Int = 8170
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8171 extends ServerMain {
+ override def port : Int = 8171
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8172 extends ServerMain {
+ override def port : Int = 8172
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8173 extends ServerMain {
+ override def port : Int = 8173
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8174 extends ServerMain {
+ override def port : Int = 8174
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8175 extends ServerMain {
+ override def port : Int = 8175
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8176 extends ServerMain {
+ override def port : Int = 8176
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8177 extends ServerMain {
+ override def port : Int = 8177
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8178 extends ServerMain {
+ override def port : Int = 8178
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8179 extends ServerMain {
+ override def port : Int = 8179
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8180 extends ServerMain {
+ override def port : Int = 8180
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8181 extends ServerMain {
+ override def port : Int = 8181
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8182 extends ServerMain {
+ override def port : Int = 8182
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8183 extends ServerMain {
+ override def port : Int = 8183
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8184 extends ServerMain {
+ override def port : Int = 8184
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8185 extends ServerMain {
+ override def port : Int = 8185
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8186 extends ServerMain {
+ override def port : Int = 8186
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8187 extends ServerMain {
+ override def port : Int = 8187
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8188 extends ServerMain {
+ override def port : Int = 8188
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8189 extends ServerMain {
+ override def port : Int = 8189
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8190 extends ServerMain {
+ override def port : Int = 8190
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8191 extends ServerMain {
+ override def port : Int = 8191
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8192 extends ServerMain {
+ override def port : Int = 8192
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8193 extends ServerMain {
+ override def port : Int = 8193
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8194 extends ServerMain {
+ override def port : Int = 8194
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8195 extends ServerMain {
+ override def port : Int = 8195
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8196 extends ServerMain {
+ override def port : Int = 8196
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8197 extends ServerMain {
+ override def port : Int = 8197
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8198 extends ServerMain {
+ override def port : Int = 8198
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer8199 extends ServerMain {
+ override def port : Int = 8199
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer9000 extends ServerMain {
+  override def port : Int = 9000
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer10000 extends ServerMain {
+  override def port : Int = 10000
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer11000 extends ServerMain {
+  override def port : Int = 11000
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer12000 extends ServerMain {
+  override def port : Int = 12000
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer13000 extends ServerMain {
+  override def port : Int = 13000
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer14000 extends ServerMain {
+  override def port : Int = 14000
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer15000 extends ServerMain {
+  override def port : Int = 15000
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer16000 extends ServerMain {
+  override def port : Int = 16000
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}
+
+object PisaOneStageServer17000 extends ServerMain {
+  override def port : Int = 17000
+  def services: ServiceList[zio.ZEnv] = ServiceList.add(new OneStageBody)
+}