package Ġorg . know ledger . ledger . results Ċ Ċ inline Ġfun Ġ< T 1 , ĠT 2 , ĠR , ĠU Ġ: ĠFailure > Ġzip ( ĊĠĠĠ Ġr 1 : ĠOut come < T 1 , ĠU >, ĊĠĠĠ Ġr 2 : ĠOut come < T 2 , ĠU >, ĊĠĠĠ Ġtransform : Ġ( T 1 , ĠT 2 ) Ġ-> ĠR Ċ ): ĠOut come < R , ĠU > Ġ= ĊĠĠĠ Ġr 1 . flatMap Success Ġ{ Ġv 1 Ġ-> ĊĠĠĠĠĠĠĠ Ġr 2 . map Success Ġ{ Ġv 2 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġtransform ( v 1 , Ġv 2 ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ inline Ġfun Ġ< T 1 , ĠT 2 , ĠT 3 , ĠR , ĠU Ġ: ĠFailure > Ġzip ( ĊĠĠĠ Ġr 1 : ĠOut come < T 1 , ĠU >, ĊĠĠĠ Ġr 2 : ĠOut come < T 2 , ĠU >, ĊĠĠĠ Ġr 3 : ĠOut come < T 3 , ĠU >, ĊĠĠĠ Ġtransform : Ġ( T 1 , ĠT 2 , ĠT 3 ) Ġ-> ĠR Ċ ): ĠOut come < R , ĠU > Ġ= ĊĠĠĠ Ġr 1 . flatMap Success Ġ{ Ġv 1 Ġ-> ĊĠĠĠĠĠĠĠ Ġr 2 . flatMap Success Ġ{ Ġv 2 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġr 3 . map Success Ġ{ Ġv 3 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġtransform ( v 1 , Ġv 2 , Ġv 3 ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ inline Ġfun Ġ< T 1 , ĠT 2 , ĠT 3 , ĠT 4 , ĠR , ĠU Ġ: ĠFailure > Ġzip ( ĊĠĠĠ Ġr 1 : ĠOut come < T 1 , ĠU >, ĊĠĠĠ Ġr 2 : ĠOut come < T 2 , ĠU >, ĊĠĠĠ Ġr 3 : ĠOut come < T 3 , ĠU >, ĊĠĠĠ Ġr 4 : ĠOut come < T 4 , ĠU >, ĊĠĠĠ Ġtransform : Ġ( T 1 , ĠT 2 , ĠT 3 , ĠT 4 ) Ġ-> ĠR Ċ ): ĠOut come < R , ĠU > Ġ= ĊĠĠĠ Ġr 1 . flatMap Success Ġ{ Ġv 1 Ġ-> ĊĠĠĠĠĠĠĠ Ġr 2 . flatMap Success Ġ{ Ġv 2 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġr 3 . flatMap Success Ġ{ Ġv 3 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġr 4 . map Success Ġ{ Ġv 4 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġtransform ( v 1 , Ġv 2 , Ġv 3 , Ġv 4 ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ inline Ġfun Ġ< T 1 , ĠT 2 , ĠT 3 , ĠT 4 , ĠT 5 , ĠR , ĠU Ġ: ĠFailure > Ġzip ( ĊĠĠĠ Ġr 1 : ĠOut come < T 1 , ĠU >, ĊĠĠĠ Ġr 2 : ĠOut come < T 2 , ĠU >, ĊĠĠĠ Ġr 3 : ĠOut come < T 3 , ĠU >, ĊĠĠĠ Ġr 4 : ĠOut come < T 4 , ĠU >, ĊĠĠĠ Ġr 5 : ĠOut come < T 5 , ĠU >, ĊĠĠĠ Ġtransform : Ġ( T 1 , ĠT 2 , ĠT 3 , ĠT 4 , ĠT 5 ) Ġ-> ĠR Ċ ): ĠOut come < R , ĠU > Ġ= ĊĠĠĠ Ġr 1 . flatMap Success Ġ{ Ġv 1 Ġ-> ĊĠĠĠĠĠĠĠ Ġr 2 . flatMap Success Ġ{ Ġv 2 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġr 3 . flatMap Success Ġ{ Ġv 3 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġr 4 . flatMap Success Ġ{ Ġv 4 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġr 5 . map Success Ġ{ Ġv 5 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġtransform ( v 1 , Ġv 2 , Ġv 3 , Ġv 4 , Ġv 5 ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ inline Ġfun Ġ< T 1 , ĠT 2 , ĠT 3 , ĠT 4 , ĠT 5 , ĠT 6 , ĠR , ĠU Ġ: ĠFailure > Ġzip ( ĊĠĠĠ Ġr 1 : ĠOut come < T 1 , ĠU >, ĊĠĠĠ Ġr 2 : ĠOut come < T 2 , ĠU >, ĊĠĠĠ Ġr 3 : ĠOut come < T 3 , ĠU >, ĊĠĠĠ Ġr 4 : ĠOut come < T 4 , ĠU >, ĊĠĠĠ Ġr 5 : ĠOut come < T 5 , ĠU >, ĊĠĠĠ Ġr 6 : ĠOut come < T 6 , ĠU >, ĊĠĠĠ Ġtransform : Ġ( T 1 , ĠT 2 , ĠT 3 , ĠT 4 , ĠT 5 , ĠT 6 ) Ġ-> ĠR Ċ ): ĠOut come < R , ĠU > Ġ= ĊĠĠĠ Ġr 1 . flatMap Success Ġ{ Ġv 1 Ġ-> ĊĠĠĠĠĠĠĠ Ġr 2 . flatMap Success Ġ{ Ġv 2 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġr 3 . flatMap Success Ġ{ Ġv 3 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġr 4 . flatMap Success Ġ{ Ġv 4 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġr 5 . flatMap Success Ġ{ Ġv 5 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġr 6 . map Success Ġ{ Ġv 6 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġtransform ( v 1 , Ġv 2 , Ġv 3 , Ġv 4 , Ġv 5 , Ġv 6 ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ inline Ġfun Ġ< T 1 , ĠT 2 , ĠR , ĠU Ġ: ĠFailure > Ġflat Zip ( ĊĠĠĠ Ġr 1 : ĠOut come < T 1 , ĠU >, ĊĠĠĠ Ġr 2 : ĠOut come < T 2 , ĠU >, ĊĠĠĠ Ġtransform : Ġ( T 1 , ĠT 2 ) Ġ-> ĠOut come < R , ĠU > Ċ ): ĠOut come < R , ĠU > Ġ= ĊĠĠĠ Ġr 1 . flatMap Success Ġ{ Ġv 1 Ġ-> ĊĠĠĠĠĠĠĠ Ġr 2 . flatMap Success Ġ{ Ġv 2 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġtransform ( v 1 , Ġv 2 ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ inline Ġfun Ġ< T 1 , ĠT 2 , ĠT 3 , ĠR , ĠU Ġ: ĠFailure > Ġflat Zip ( ĊĠĠĠ Ġr 1 : ĠOut come < T 1 , ĠU >, ĊĠĠĠ Ġr 2 : ĠOut come < T 2 , ĠU >, ĊĠĠĠ Ġr 3 : ĠOut come < T 3 , ĠU >, ĊĠĠĠ Ġtransform : Ġ( T 1 , ĠT 2 , ĠT 3 ) Ġ-> ĠOut come < R , ĠU > Ċ ): ĠOut come < R , ĠU > Ġ= ĊĠĠĠ Ġr 1 . flatMap Success Ġ{ Ġv 1 Ġ-> ĊĠĠĠĠĠĠĠ Ġr 2 . flatMap Success Ġ{ Ġv 2 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġr 3 . flatMap Success Ġ{ Ġv 3 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġtransform ( v 1 , Ġv 2 , Ġv 3 ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ inline Ġfun Ġ< T 1 , ĠT 2 , ĠT 3 , ĠT 4 , ĠR , ĠU Ġ: ĠFailure > Ġflat Zip ( ĊĠĠĠ Ġr 1 : ĠOut come < T 1 , ĠU >, ĊĠĠĠ Ġr 2 : ĠOut come < T 2 , ĠU >, ĊĠĠĠ Ġr 3 : ĠOut come < T 3 , ĠU >, ĊĠĠĠ Ġr 4 : ĠOut come < T 4 , ĠU >, ĊĠĠĠ Ġtransform : Ġ( T 1 , ĠT 2 , ĠT 3 , ĠT 4 ) Ġ-> ĠOut come < R , ĠU > Ċ ): ĠOut come < R , ĠU > Ġ= ĊĠĠĠ Ġr 1 . flatMap Success Ġ{ Ġv 1 Ġ-> ĊĠĠĠĠĠĠĠ Ġr 2 . flatMap Success Ġ{ Ġv 2 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġr 3 . flatMap Success Ġ{ Ġv 3 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġr 4 . flatMap Success Ġ{ Ġv 4 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġtransform ( v 1 , Ġv 2 , Ġv 3 , Ġv 4 ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ inline Ġfun Ġ< T 1 , ĠT 2 , ĠT 3 , ĠT 4 , ĠT 5 , ĠR , ĠU Ġ: ĠFailure > Ġflat Zip ( ĊĠĠĠ Ġr 1 : ĠOut come < T 1 , ĠU >, ĊĠĠĠ Ġr 2 : ĠOut come < T 2 , ĠU >, ĊĠĠĠ Ġr 3 : ĠOut come < T 3 , ĠU >, ĊĠĠĠ Ġr 4 : ĠOut come < T 4 , ĠU >, ĊĠĠĠ Ġr 5 : ĠOut come < T 5 , ĠU >, ĊĠĠĠ Ġtransform : Ġ( T 1 , ĠT 2 , ĠT 3 , ĠT 4 , ĠT 5 ) Ġ-> ĠOut come < R , ĠU > Ċ ): ĠOut come < R , ĠU > Ġ= ĊĠĠĠ Ġr 1 . flatMap Success Ġ{ Ġv 1 Ġ-> ĊĠĠĠĠĠĠĠ Ġr 2 . flatMap Success Ġ{ Ġv 2 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġr 3 . flatMap Success Ġ{ Ġv 3 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġr 4 . flatMap Success Ġ{ Ġv 4 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġr 5 . flatMap Success Ġ{ Ġv 5 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġtransform ( v 1 , Ġv 2 , Ġv 3 , Ġv 4 , Ġv 5 ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ inline Ġfun Ġ< T 1 , ĠT 2 , ĠT 3 , ĠT 4 , ĠT 5 , ĠT 6 , ĠR , ĠU Ġ: ĠFailure > Ġflat Zip ( ĊĠĠĠ Ġr 1 : ĠOut come < T 1 , ĠU >, ĊĠĠĠ Ġr 2 : ĠOut come < T 2 , ĠU >, ĊĠĠĠ Ġr 3 : ĠOut come < T 3 , ĠU >, ĊĠĠĠ Ġr 4 : ĠOut come < T 4 , ĠU >, ĊĠĠĠ Ġr 5 : ĠOut come < T 5 , ĠU >, ĊĠĠĠ Ġr 6 : ĠOut come < T 6 , ĠU >, ĊĠĠĠ Ġtransform : Ġ( T 1 , ĠT 2 , ĠT 3 , ĠT 4 , ĠT 5 , ĠT 6 ) Ġ-> ĠOut come < R , ĠU > Ċ ): ĠOut come < R , ĠU > Ġ= ĊĠĠĠ Ġr 1 . flatMap Success Ġ{ Ġv 1 Ġ-> ĊĠĠĠĠĠĠĠ Ġr 2 . flatMap Success Ġ{ Ġv 2 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠ Ġr 3 . flatMap Success Ġ{ Ġv 3 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġr 4 . flatMap Success Ġ{ Ġv 4 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġr 5 . flatMap Success Ġ{ Ġv 5 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġr 6 . flatMap Success Ġ{ Ġv 6 Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġtransform ( v 1 , Ġv 2 , Ġv 3 , Ġv 4 , Ġv 5 , Ġv 6 ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ}