(prime-number 21888242871839275222246405745257275088548364400416034343698204186575808495617)
(begin-module test_group)
(input in_0)
(output out_0)
(assert (= (- in_0) adv_1_1))
(assert (= (* in_0 adv_1_1) out_0))
(end-module)
(begin-module Main)
(input in_0)
(output out_0)
(call [adv_2_1] test_group [in_0])
(call [out_0] test_group [adv_2_1])
(end-module)