{"version":3,"file":"machine.d.ts","sourceRoot":"","sources":["../../src/verified/machine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAEnE,YAAY,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;AAEtC,0EAA0E;AAC1E,eAAO,MAAM,GAAG,GAAI,OAAO,OAAO,KAAG,MAAyB,CAAC;AAE/D;4EAC4E;AAC5E,qBAAa,QAAQ;;IAGP,QAAQ,CAAC,KAAK;gBAAL,KAAK,SAAI;IAC9B,EAAE,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IASxB,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM;CAKzB;AAED,0EAA0E;AAC1E,eAAO,MAAM,KAAK,GAAI,KAAK,QAAQ,CAAC,MAAM,CAAC,KAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAI/D,CAAC;AAEF,qFAAqF;AACrF,eAAO,MAAM,OAAO,GAAI,OAAO,YAAY,EAAE,KAAK,MAAM,KAAG,MAAM,EAUhE,CAAC"}