You came to this page from the summary. The page is auto-generated by the Makefile at 2025-08-11 05:15.

{⟦
  j$org ↦ ⟦
    j$eolang ↦ ⟦
      j$benchmark ↦ ⟦
        j$Big ↦ ⟦
          φ ↦ Φ.jeo.class,
          version ↦ 60,
          access ↦ 33,
          supername ↦ "java/lang/Object",
          interfaces ↦ ⟦
            φ ↦ Φ.jeo.seq.of0
          ⟧,
          name ↦ "org/eolang/benchmark/Big",
          j$EXPECTED ↦ ⟦
            φ ↦ Φ.jeo.field,
            access-EXPECTED ↦ 26,
            descriptor-EXPECTED ↦ "J",
            signature-EXPECTED ↦ "",
            value-EXPECTED ↦ ⟦
              φ ↦ Φ.jeo.long,
              n9483 ↦ 1325403
            ⟧
          ⟧,
          j$VALUES ↦ ⟦
            φ ↦ Φ.jeo.field,
            access-VALUES ↦ 26,
            descriptor-VALUES ↦ "[Ljava/lang/Integer;",
            signature-VALUES ↦ "",
            value-VALUES ↦ ⟦
              φ ↦ Φ.jeo.nullable,
              n9489 ↦ Φ̇.bytes(
                ⟦
                  Δ ⤍ --
                ⟧
              )
            ⟧
          ⟧,
          j$$assertionsDisabled ↦ ⟦
            φ ↦ Φ.jeo.field,
            access-$assertionsDisabled ↦ 4120,
            descriptor-$assertionsDisabled ↦ "Z",
            signature-$assertionsDisabled ↦ "",
            value-$assertionsDisabled ↦ ⟦
              φ ↦ Φ.jeo.nullable,
              n9494 ↦ Φ̇.bytes(
                ⟦
                  Δ ⤍ --
                ⟧
              )
            ⟧
          ⟧,
          j$object@init@ ↦ ⟦
            φ ↦ Φ.jeo.method,
            access ↦ 1,
            descriptor ↦ "()V",
            signature ↦ "",
            maxs ↦ ⟦
              φ ↦ Φ.jeo.maxs,
              v9497 ↦ 1,
              v9498 ↦ 1
            ⟧,
            body ↦ ⟦
              φ ↦ Φ.jeo.seq.of3,
              i9507 ↦ ⟦
                φ ↦ Φ.jeo.opcode.aload,
                v9509 ↦ 0
              ⟧,
              i9526 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokespecial,
                v9534 ↦ "java/lang/Object",
                v9537 ↦ "<init>",
                v9541 ↦ "()V",
                v9543 ↦ Φ̇.false
              ⟧,
              i9547 ↦ ⟦
                φ ↦ Φ.jeo.opcode.return
              ⟧
            ⟧,
            name ↦ "object@init@"
          ⟧,
          j$loop ↦ ⟦
            φ ↦ Φ.jeo.method,
            access ↦ 1,
            descriptor ↦ "()J",
            signature ↦ "",
            maxs ↦ ⟦
              φ ↦ Φ.jeo.maxs,
              v9555 ↦ 4,
              v9556 ↦ 5
            ⟧,
            annotations ↦ ⟦
              φ ↦ Φ.jeo.seq.of1,
              annotation-1639773128-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FBenchmark%3B ↦ ⟦
                φ ↦ Φ.jeo.annotation,
                v9565 ↦ "Lorg/openjdk/jmh/annotations/Benchmark;",
                v9566 ↦ Φ̇.true
              ⟧
            ⟧,
            body ↦ ⟦
              φ ↦ Φ.jeo.seq.of58,
              i9571 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lconst_0
              ⟧,
              i9575 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lstore,
                v9577 ↦ 1
              ⟧,
              i9581 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iconst_0
              ⟧,
              i9588 ↦ ⟦
                φ ↦ Φ.jeo.opcode.istore,
                v9590 ↦ 3
              ⟧,
              l9594 ↦ ⟦
                φ ↦ Φ.jeo.label,
                v9595 ↦ "L2058483833"
              ⟧,
              f9604 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type-1967958247 ↦ 1,
                locals-1967958247 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of2,
                  x0 ↦ "long",
                  x1 ↦ "integer"
                ⟧,
                stack-1967958247 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧
              ⟧,
              i9614 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iload,
                v9617 ↦ 3
              ⟧,
              i9628 ↦ ⟦
                φ ↦ Φ.jeo.opcode.getstatic,
                v9632 ↦ "org/eolang/benchmark/Big",
                v9633 ↦ "VALUES",
                v9634 ↦ "[Ljava/lang/Integer;"
              ⟧,
              i9637 ↦ ⟦
                φ ↦ Φ.jeo.opcode.arraylength
              ⟧,
              i9644 ↦ ⟦
                φ ↦ Φ.jeo.opcode.if_icmpge,
                l9645 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v9646 ↦ "L1892177080"
                ⟧
              ⟧,
              i9655 ↦ ⟦
                φ ↦ Φ.jeo.opcode.getstatic,
                v9657 ↦ "org/eolang/benchmark/Big",
                v9660 ↦ "VALUES",
                v9662 ↦ "[Ljava/lang/Integer;"
              ⟧,
              i9666 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iload,
                v9668 ↦ 3
              ⟧,
              i9670 ↦ ⟦
                φ ↦ Φ.jeo.opcode.aaload
              ⟧,
              i9680 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokevirtual,
                v9682 ↦ "java/lang/Integer",
                v9683 ↦ "intValue",
                v9685 ↦ "()I",
                v9686 ↦ Φ̇.false
              ⟧,
              i9689 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iconst_1
              ⟧,
              i9693 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iadd
              ⟧,
              i9696 ↦ ⟦
                φ ↦ Φ.jeo.opcode.istore,
                v9697 ↦ 4
              ⟧,
              i9701 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iload,
                v9702 ↦ 4
              ⟧,
              i9706 ↦ ⟦
                φ ↦ Φ.jeo.opcode.bipush,
                v9708 ↦ 13
              ⟧,
              i9710 ↦ ⟦
                φ ↦ Φ.jeo.opcode.irem
              ⟧,
              i9716 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ifne,
                l9718 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v9720 ↦ "L1382570352"
                ⟧
              ⟧,
              i9727 ↦ ⟦
                φ ↦ Φ.jeo.opcode.goto,
                l9729 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v9730 ↦ "L1193358555"
                ⟧
              ⟧,
              l9736 ↦ ⟦
                φ ↦ Φ.jeo.label,
                v9737 ↦ "L1382570352"
              ⟧,
              f9744 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type-850285172 ↦ 1,
                locals-850285172 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of1,
                  x0 ↦ "integer"
                ⟧,
                stack-850285172 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧
              ⟧,
              i9750 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iload,
                v9863 ↦ 4
              ⟧,
              i9867 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iload,
                v9868 ↦ 4
              ⟧,
              i9872 ↦ ⟦
                φ ↦ Φ.jeo.opcode.imul
              ⟧,
              i9876 ↦ ⟦
                φ ↦ Φ.jeo.opcode.bipush,
                v9878 ↦ 17
              ⟧,
              i9880 ↦ ⟦
                φ ↦ Φ.jeo.opcode.idiv
              ⟧,
              i9884 ↦ ⟦
                φ ↦ Φ.jeo.opcode.istore,
                v9886 ↦ 4
              ⟧,
              i9890 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iload,
                v9891 ↦ 4
              ⟧,
              i9895 ↦ ⟦
                φ ↦ Φ.jeo.opcode.bipush,
                v9896 ↦ 7
              ⟧,
              i9900 ↦ ⟦
                φ ↦ Φ.jeo.opcode.irem
              ⟧,
              i9907 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ifne,
                l9909 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v9911 ↦ "L1193358555"
                ⟧
              ⟧,
              i9918 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lload,
                v9920 ↦ 1
              ⟧,
              i9924 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lconst_1
              ⟧,
              i9930 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ladd
              ⟧,
              i9934 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lstore,
                v9936 ↦ 1
              ⟧,
              l9942 ↦ ⟦
                φ ↦ Φ.jeo.label,
                v9943 ↦ "L1193358555"
              ⟧,
              f9952 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type-866737579 ↦ 2,
                locals-866737579 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of1,
                  x0 ↦ ⟦
                    φ ↦ Φ.jeo.nullable,
                    n9955 ↦ Φ̇.bytes(
                      ⟦
                        Δ ⤍ --
                      ⟧
                    )
                  ⟧
                ⟧,
                stack-866737579 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧
              ⟧,
              i9962 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iinc,
                v9963 ↦ 3,
                v9964 ↦ 1
              ⟧,
              i9972 ↦ ⟦
                φ ↦ Φ.jeo.opcode.goto,
                l9973 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v9974 ↦ "L2058483833"
                ⟧
              ⟧,
              l9979 ↦ ⟦
                φ ↦ Φ.jeo.label,
                v9980 ↦ "L1892177080"
              ⟧,
              f9986 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type-1575864768 ↦ 2,
                locals-1575864768 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of1,
                  x0 ↦ ⟦
                    φ ↦ Φ.jeo.nullable,
                    n9989 ↦ Φ̇.bytes(
                      ⟦
                        Δ ⤍ --
                      ⟧
                    )
                  ⟧
                ⟧,
                stack-1575864768 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧
              ⟧,
              i9999 ↦ ⟦
                φ ↦ Φ.jeo.opcode.getstatic,
                v10002 ↦ "org/eolang/benchmark/Big",
                v10004 ↦ "$assertionsDisabled",
                v10006 ↦ "Z"
              ⟧,
              i10010 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ifne,
                l10011 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v10012 ↦ "L849768054"
                ⟧
              ⟧,
              i10015 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lload,
                v10016 ↦ 1
              ⟧,
              i10020 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ldc,
                v10021 ↦ ⟦
                  φ ↦ Φ.jeo.long,
                  n10022 ↦ 1325403
                ⟧
              ⟧,
              i10024 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lcmp
              ⟧,
              i10031 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ifeq,
                l10035 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v10036 ↦ "L849768054"
                ⟧
              ⟧,
              i10045 ↦ ⟦
                φ ↦ Φ.jeo.opcode.new,
                v10048 ↦ "java/lang/AssertionError"
              ⟧,
              i10052 ↦ ⟦
                φ ↦ Φ.jeo.opcode.dup
              ⟧,
              i10072 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokespecial,
                v10079 ↦ "java/lang/AssertionError",
                v10081 ↦ "<init>",
                v10083 ↦ "()V",
                v10086 ↦ Φ̇.false
              ⟧,
              i10092 ↦ ⟦
                φ ↦ Φ.jeo.opcode.athrow
              ⟧,
              l10097 ↦ ⟦
                φ ↦ Φ.jeo.label,
                v10098 ↦ "L849768054"
              ⟧,
              f10102 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type-1307986186 ↦ 3,
                locals-1307986186 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧,
                stack-1307986186 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧
              ⟧,
              i10105 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lload,
                v10106 ↦ 1
              ⟧,
              i10108 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lreturn
              ⟧
            ⟧,
            name ↦ "loop"
          ⟧,
          j$stream ↦ ⟦
            φ ↦ Φ.jeo.method,
            access ↦ 1,
            descriptor ↦ "()J",
            signature ↦ "",
            maxs ↦ ⟦
              φ ↦ Φ.jeo.maxs,
              v10230 ↦ 4,
              v10231 ↦ 3
            ⟧,
            annotations ↦ ⟦
              φ ↦ Φ.jeo.seq.of1,
              annotation-507261608-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FBenchmark%3B ↦ ⟦
                φ ↦ Φ.jeo.annotation,
                v10234 ↦ "Lorg/openjdk/jmh/annotations/Benchmark;",
                v10235 ↦ Φ̇.true
              ⟧
            ⟧,
            body ↦ ⟦
              φ ↦ Φ.jeo.seq.of28,
              i10242 ↦ ⟦
                φ ↦ Φ.jeo.opcode.getstatic,
                v10243 ↦ "org/eolang/benchmark/Big",
                v10244 ↦ "VALUES",
                v10245 ↦ "[Ljava/lang/Integer;"
              ⟧,
              i10251 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokestatic,
                v10252 ↦ "java/util/stream/Stream",
                v10253 ↦ "of",
                v10254 ↦ "([Ljava/lang/Object;)Ljava/util/stream/Stream;",
                v10255 ↦ Φ̇.true
              ⟧,
              a🌵5342 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokedynamic,
                i2 ↦ "accept",
                i3 ↦ "()Ljava/util/function/BiConsumer;",
                i4 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  i1 ↦ 6,
                  i2 ↦ "java/lang/invoke/LambdaMetafactory",
                  i3 ↦ "metafactory",
                  i4 ↦ "(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;",
                  i5 ↦ Φ̇.false
                ⟧,
                i5 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  i1 ↦ "(Ljava/lang/Object;Ljava/lang/Object;)V"
                ⟧,
                i6 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  i1 ↦ 6,
                  i2 ↦ "org/eolang/benchmark/Big",
                  i3 ↦ "distill_7908",
                  i4 ↦ "(Ljava/lang/Integer;Ljava/util/function/Consumer;)V",
                  i5 ↦ Φ̇.false
                ⟧,
                i7 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  i1 ↦ "(Ljava/lang/Integer;Ljava/util/function/Consumer;)V"
                ⟧
              ⟧,
              a🌵458 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokeinterface,
                i2 ↦ "java/util/stream/Stream",
                i3 ↦ "mapMulti",
                i4 ↦ "(Ljava/util/function/BiConsumer;)Ljava/util/stream/Stream;",
                i5 ↦ Φ̇.true
              ⟧,
              i11157 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokeinterface,
                v11161 ↦ "java/util/stream/Stream",
                v11164 ↦ "count",
                v11165 ↦ "()J",
                v11167 ↦ Φ̇.true
              ⟧,
              i11172 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lstore,
                v11174 ↦ 1
              ⟧,
              i11182 ↦ ⟦
                φ ↦ Φ.jeo.opcode.getstatic,
                v11186 ↦ "org/eolang/benchmark/Big",
                v11187 ↦ "$assertionsDisabled",
                v11188 ↦ "Z"
              ⟧,
              i11196 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ifne,
                l11198 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v11199 ↦ "L7966990"
                ⟧
              ⟧,
              i11203 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lload,
                v11205 ↦ 1
              ⟧,
              i11212 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ldc,
                v11214 ↦ ⟦
                  φ ↦ Φ.jeo.long,
                  n11215 ↦ 1325403
                ⟧
              ⟧,
              i11220 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lcmp
              ⟧,
              i11230 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ifeq,
                l11233 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v11234 ↦ "L7966990"
                ⟧
              ⟧,
              i11237 ↦ ⟦
                φ ↦ Φ.jeo.opcode.new,
                v11238 ↦ "java/lang/AssertionError"
              ⟧,
              i11241 ↦ ⟦
                φ ↦ Φ.jeo.opcode.dup
              ⟧,
              i11251 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokespecial,
                v11252 ↦ "java/lang/AssertionError",
                v11253 ↦ "<init>",
                v11254 ↦ "()V",
                v11256 ↦ Φ̇.false
              ⟧,
              i11258 ↦ ⟦
                φ ↦ Φ.jeo.opcode.athrow
              ⟧,
              l11262 ↦ ⟦
                φ ↦ Φ.jeo.label,
                v11263 ↦ "L7966990"
              ⟧,
              f11268 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type-218865458 ↦ 1,
                locals-218865458 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of1,
                  x0 ↦ "long"
                ⟧,
                stack-218865458 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧
              ⟧,
              i11277 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lload,
                v11279 ↦ 1
              ⟧,
              i11282 ↦ ⟦
                φ ↦ Φ.jeo.opcode.lreturn
              ⟧
            ⟧,
            name ↦ "stream"
          ⟧,
          j$lambda$stream$5 ↦ ⟦
            φ ↦ Φ.jeo.method,
            access ↦ 4106,
            descriptor ↦ "(Ljava/lang/Integer;)Z",
            signature ↦ "",
            maxs ↦ ⟦
              φ ↦ Φ.jeo.maxs,
              v11297 ↦ 2,
              v11298 ↦ 1
            ⟧,
            params ↦ ⟦
              φ ↦ Φ.jeo.params,
              arg0 ↦ ⟦
                φ ↦ Φ.jeo.param,
                index ↦ 0,
                access ↦ 0,
                type ↦ "Ljava/lang/Integer;"
              ⟧
            ⟧,
            body ↦ ⟦
              φ ↦ Φ.jeo.seq.of13,
              i11306 ↦ ⟦
                φ ↦ Φ.jeo.opcode.aload,
                v11307 ↦ 0
              ⟧,
              i11317 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokevirtual,
                v11322 ↦ "java/lang/Integer",
                v11324 ↦ "intValue",
                v11325 ↦ "()I",
                v11326 ↦ Φ̇.false
              ⟧,
              i11329 ↦ ⟦
                φ ↦ Φ.jeo.opcode.bipush,
                v11472 ↦ 7
              ⟧,
              i11480 ↦ ⟦
                φ ↦ Φ.jeo.opcode.irem
              ⟧,
              i11493 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ifne,
                l11497 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v11498 ↦ "L273349544"
                ⟧
              ⟧,
              i11502 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iconst_1
              ⟧,
              i11512 ↦ ⟦
                φ ↦ Φ.jeo.opcode.goto,
                l11515 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v11516 ↦ "L1577292438"
                ⟧
              ⟧,
              l11523 ↦ ⟦
                φ ↦ Φ.jeo.label,
                v11525 ↦ "L273349544"
              ⟧,
              f11534 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type-1958141757 ↦ 3,
                locals-1958141757 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧,
                stack-1958141757 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧
              ⟧,
              i11543 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iconst_0
              ⟧,
              l11550 ↦ ⟦
                φ ↦ Φ.jeo.label,
                v11551 ↦ "L1577292438"
              ⟧,
              f11560 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type-1202105250 ↦ 4,
                locals-1202105250 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧,
                stack-1202105250 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of1,
                  x0 ↦ "integer"
                ⟧
              ⟧,
              i11764 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ireturn
              ⟧
            ⟧,
            name ↦ "lambda$stream$5"
          ⟧,
          j$lambda$stream$4 ↦ ⟦
            φ ↦ Φ.jeo.method,
            access ↦ 4106,
            descriptor ↦ "(Ljava/lang/Integer;)Ljava/lang/Integer;",
            signature ↦ "",
            maxs ↦ ⟦
              φ ↦ Φ.jeo.maxs,
              v11773 ↦ 2,
              v11774 ↦ 1
            ⟧,
            params ↦ ⟦
              φ ↦ Φ.jeo.params,
              arg0 ↦ ⟦
                φ ↦ Φ.jeo.param,
                index ↦ 0,
                access ↦ 0,
                type ↦ "Ljava/lang/Integer;"
              ⟧
            ⟧,
            body ↦ ⟦
              φ ↦ Φ.jeo.seq.of6,
              i11786 ↦ ⟦
                φ ↦ Φ.jeo.opcode.aload,
                v11788 ↦ 0
              ⟧,
              i11805 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokevirtual,
                v11808 ↦ "java/lang/Integer",
                v11811 ↦ "intValue",
                v11812 ↦ "()I",
                v11815 ↦ Φ̇.false
              ⟧,
              i11822 ↦ ⟦
                φ ↦ Φ.jeo.opcode.bipush,
                v11826 ↦ 17
              ⟧,
              i11832 ↦ ⟦
                φ ↦ Φ.jeo.opcode.idiv
              ⟧,
              i11853 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokestatic,
                v11856 ↦ "java/lang/Integer",
                v11859 ↦ "valueOf",
                v11862 ↦ "(I)Ljava/lang/Integer;",
                v11864 ↦ Φ̇.false
              ⟧,
              i11870 ↦ ⟦
                φ ↦ Φ.jeo.opcode.areturn
              ⟧
            ⟧,
            name ↦ "lambda$stream$4"
          ⟧,
          j$lambda$stream$3 ↦ ⟦
            φ ↦ Φ.jeo.method,
            access ↦ 4106,
            descriptor ↦ "(Ljava/lang/Integer;)Ljava/lang/Integer;",
            signature ↦ "",
            maxs ↦ ⟦
              φ ↦ Φ.jeo.maxs,
              v11882 ↦ 2,
              v11883 ↦ 1
            ⟧,
            params ↦ ⟦
              φ ↦ Φ.jeo.params,
              arg0 ↦ ⟦
                φ ↦ Φ.jeo.param,
                index ↦ 0,
                access ↦ 0,
                type ↦ "Ljava/lang/Integer;"
              ⟧
            ⟧,
            body ↦ ⟦
              φ ↦ Φ.jeo.seq.of7,
              i11895 ↦ ⟦
                φ ↦ Φ.jeo.opcode.aload,
                v11897 ↦ 0
              ⟧,
              i11909 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokevirtual,
                v11912 ↦ "java/lang/Integer",
                v11914 ↦ "intValue",
                v11915 ↦ "()I",
                v11917 ↦ Φ̇.false
              ⟧,
              i11922 ↦ ⟦
                φ ↦ Φ.jeo.opcode.aload,
                v11924 ↦ 0
              ⟧,
              i11945 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokevirtual,
                v11952 ↦ "java/lang/Integer",
                v11953 ↦ "intValue",
                v11955 ↦ "()I",
                v11956 ↦ Φ̇.false
              ⟧,
              i11960 ↦ ⟦
                φ ↦ Φ.jeo.opcode.imul
              ⟧,
              i11973 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokestatic,
                v11977 ↦ "java/lang/Integer",
                v11980 ↦ "valueOf",
                v11982 ↦ "(I)Ljava/lang/Integer;",
                v11985 ↦ Φ̇.false
              ⟧,
              i11990 ↦ ⟦
                φ ↦ Φ.jeo.opcode.areturn
              ⟧
            ⟧,
            name ↦ "lambda$stream$3"
          ⟧,
          j$lambda$stream$2 ↦ ⟦
            φ ↦ Φ.jeo.method,
            access ↦ 4106,
            descriptor ↦ "(Ljava/lang/Integer;)Z",
            signature ↦ "",
            maxs ↦ ⟦
              φ ↦ Φ.jeo.maxs,
              v12003 ↦ 2,
              v12005 ↦ 1
            ⟧,
            params ↦ ⟦
              φ ↦ Φ.jeo.params,
              arg0 ↦ ⟦
                φ ↦ Φ.jeo.param,
                index ↦ 0,
                access ↦ 0,
                type ↦ "Ljava/lang/Integer;"
              ⟧
            ⟧,
            body ↦ ⟦
              φ ↦ Φ.jeo.seq.of13,
              i12016 ↦ ⟦
                φ ↦ Φ.jeo.opcode.aload,
                v12019 ↦ 0
              ⟧,
              i12037 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokevirtual,
                v12041 ↦ "java/lang/Integer",
                v12044 ↦ "intValue",
                v12046 ↦ "()I",
                v12050 ↦ Φ̇.false
              ⟧,
              i12056 ↦ ⟦
                φ ↦ Φ.jeo.opcode.bipush,
                v12058 ↦ 13
              ⟧,
              i12064 ↦ ⟦
                φ ↦ Φ.jeo.opcode.irem
              ⟧,
              i12079 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ifeq,
                l12080 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v12081 ↦ "L1607959294"
                ⟧
              ⟧,
              i12170 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iconst_1
              ⟧,
              i12179 ↦ ⟦
                φ ↦ Φ.jeo.opcode.goto,
                l12184 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v12185 ↦ "L325749227"
                ⟧
              ⟧,
              l12191 ↦ ⟦
                φ ↦ Φ.jeo.label,
                v12192 ↦ "L1607959294"
              ⟧,
              f12197 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type-946275397 ↦ 3,
                locals-946275397 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧,
                stack-946275397 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧
              ⟧,
              i12204 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iconst_0
              ⟧,
              l12210 ↦ ⟦
                φ ↦ Φ.jeo.label,
                v12211 ↦ "L325749227"
              ⟧,
              f12220 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type-1774517876 ↦ 4,
                locals-1774517876 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧,
                stack-1774517876 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of1,
                  x0 ↦ "integer"
                ⟧
              ⟧,
              i12231 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ireturn
              ⟧
            ⟧,
            name ↦ "lambda$stream$2"
          ⟧,
          j$lambda$stream$1 ↦ ⟦
            φ ↦ Φ.jeo.method,
            access ↦ 4106,
            descriptor ↦ "(Ljava/lang/Integer;)Ljava/lang/Integer;",
            signature ↦ "",
            maxs ↦ ⟦
              φ ↦ Φ.jeo.maxs,
              v12241 ↦ 2,
              v12242 ↦ 1
            ⟧,
            params ↦ ⟦
              φ ↦ Φ.jeo.params,
              arg0 ↦ ⟦
                φ ↦ Φ.jeo.param,
                index ↦ 0,
                access ↦ 0,
                type ↦ "Ljava/lang/Integer;"
              ⟧
            ⟧,
            body ↦ ⟦
              φ ↦ Φ.jeo.seq.of6,
              i12251 ↦ ⟦
                φ ↦ Φ.jeo.opcode.aload,
                v12254 ↦ 0
              ⟧,
              i12269 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokevirtual,
                v12275 ↦ "java/lang/Integer",
                v12276 ↦ "intValue",
                v12279 ↦ "()I",
                v12280 ↦ Φ̇.false
              ⟧,
              i12287 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iconst_1
              ⟧,
              i12295 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iadd
              ⟧,
              i12313 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokestatic,
                v12320 ↦ "java/lang/Integer",
                v12322 ↦ "valueOf",
                v12324 ↦ "(I)Ljava/lang/Integer;",
                v12327 ↦ Φ̇.false
              ⟧,
              i12330 ↦ ⟦
                φ ↦ Φ.jeo.opcode.areturn
              ⟧
            ⟧,
            name ↦ "lambda$stream$1"
          ⟧,
          j$lambda$static$0 ↦ ⟦
            φ ↦ Φ.jeo.method,
            access ↦ 4106,
            descriptor ↦ "(I)[Ljava/lang/Integer;",
            signature ↦ "",
            maxs ↦ ⟦
              φ ↦ Φ.jeo.maxs,
              v12343 ↦ 1,
              v12344 ↦ 1
            ⟧,
            params ↦ ⟦
              φ ↦ Φ.jeo.params,
              arg0 ↦ ⟦
                φ ↦ Φ.jeo.param,
                index ↦ 0,
                access ↦ 0,
                type ↦ "I"
              ⟧
            ⟧,
            body ↦ ⟦
              φ ↦ Φ.jeo.seq.of3,
              i12353 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iload,
                v12355 ↦ 0
              ⟧,
              i12361 ↦ ⟦
                φ ↦ Φ.jeo.opcode.anewarray,
                v12364 ↦ "java/lang/Integer"
              ⟧,
              i12370 ↦ ⟦
                φ ↦ Φ.jeo.opcode.areturn
              ⟧
            ⟧,
            name ↦ "lambda$static$0"
          ⟧,
          j$class@clinit@ ↦ ⟦
            φ ↦ Φ.jeo.method,
            access ↦ 8,
            descriptor ↦ "()V",
            signature ↦ "",
            maxs ↦ ⟦
              φ ↦ Φ.jeo.maxs,
              v12379 ↦ 2,
              v12381 ↦ 0
            ⟧,
            body ↦ ⟦
              φ ↦ Φ.jeo.seq.of20,
              i12392 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ldc,
                t12395 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v12396 ↦ "Lorg/eolang/benchmark/Big;"
                ⟧
              ⟧,
              i12419 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokevirtual,
                v12426 ↦ "java/lang/Class",
                v12428 ↦ "desiredAssertionStatus",
                v12431 ↦ "()Z",
                v12434 ↦ Φ̇.false
              ⟧,
              i12450 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ifne,
                l12454 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v12455 ↦ "L1421522837"
                ⟧
              ⟧,
              i12461 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iconst_1
              ⟧,
              i12473 ↦ ⟦
                φ ↦ Φ.jeo.opcode.goto,
                l12476 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  v12477 ↦ "L384768182"
                ⟧
              ⟧,
              l12485 ↦ ⟦
                φ ↦ Φ.jeo.label,
                v12486 ↦ "L1421522837"
              ⟧,
              f12493 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type-734628678 ↦ 3,
                locals-734628678 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧,
                stack-734628678 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧
              ⟧,
              i12501 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iconst_0
              ⟧,
              l12507 ↦ ⟦
                φ ↦ Φ.jeo.label,
                v12508 ↦ "L384768182"
              ⟧,
              f12518 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type-1497419302 ↦ 4,
                locals-1497419302 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧,
                stack-1497419302 ↦ ⟦
                  φ ↦ Φ.jeo.seq.of1,
                  x0 ↦ "integer"
                ⟧
              ⟧,
              i12644 ↦ ⟦
                φ ↦ Φ.jeo.opcode.putstatic,
                v12648 ↦ "org/eolang/benchmark/Big",
                v12651 ↦ "$assertionsDisabled",
                v12654 ↦ "Z"
              ⟧,
              i12658 ↦ ⟦
                φ ↦ Φ.jeo.opcode.iconst_0
              ⟧,
              i12662 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ldc,
                v12665 ↦ 10000000
              ⟧,
              i12687 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokestatic,
                v12696 ↦ "java/util/stream/IntStream",
                v12701 ↦ "range",
                v12703 ↦ "(II)Ljava/util/stream/IntStream;",
                v12708 ↦ Φ̇.true
              ⟧,
              i12739 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokeinterface,
                i1 ↦ "java/util/stream/IntStream",
                i2 ↦ "boxed",
                i3 ↦ "()Ljava/util/stream/Stream;",
                i4 ↦ Φ̇.true
              ⟧,
              a🌵3763 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokedynamic,
                i2 ↦ "apply",
                i3 ↦ "()Ljava/util/function/IntFunction;",
                i4 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  i1 ↦ 6,
                  i2 ↦ "java/lang/invoke/LambdaMetafactory",
                  i3 ↦ "metafactory",
                  i4 ↦ "(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;",
                  i5 ↦ Φ̇.false
                ⟧,
                i5 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  i1 ↦ "(I)Ljava/lang/Object;"
                ⟧,
                i6 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  i1 ↦ 6,
                  i2 ↦ "org/eolang/benchmark/Big",
                  i3 ↦ "lambda$static$0",
                  i4 ↦ "(I)[Ljava/lang/Integer;",
                  i5 ↦ Φ̇.false
                ⟧,
                i7 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  i1 ↦ "(I)[Ljava/lang/Integer;"
                ⟧
              ⟧,
              a🌵6969 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokeinterface,
                i2 ↦ "java/util/stream/Stream",
                i3 ↦ "toArray",
                i4 ↦ "(Ljava/util/function/IntFunction;)[Ljava/lang/Object;",
                i5 ↦ Φ̇.true
              ⟧,
              i12915 ↦ ⟦
                φ ↦ Φ.jeo.opcode.checkcast,
                v12920 ↦ "[Ljava/lang/Integer;"
              ⟧,
              i12934 ↦ ⟦
                φ ↦ Φ.jeo.opcode.putstatic,
                v13078 ↦ "org/eolang/benchmark/Big",
                v13085 ↦ "VALUES",
                v13088 ↦ "[Ljava/lang/Integer;"
              ⟧,
              i13097 ↦ ⟦
                φ ↦ Φ.jeo.opcode.return
              ⟧
            ⟧,
            name ↦ "class@clinit@"
          ⟧,
          annotations ↦ ⟦
            φ ↦ Φ.jeo.seq.of6,
            annotation-807556251-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FBenchmarkMode%3B ↦ ⟦
              φ ↦ Φ.jeo.annotation,
              v13158 ↦ "Lorg/openjdk/jmh/annotations/BenchmarkMode;",
              v13161 ↦ Φ̇.true,
              a13167 ↦ ⟦
                φ ↦ Φ.jeo.annotation-property,
                v13168 ↦ "ARRAY",
                v13169 ↦ "value",
                e13174 ↦ ⟦
                  φ ↦ Φ.jeo.annotation-property,
                  v13175 ↦ "ENUM",
                  v13176 ↦ "",
                  v13177 ↦ "Lorg/openjdk/jmh/annotations/Mode;",
                  v13178 ↦ "AverageTime"
                ⟧
              ⟧
            ⟧,
            annotation-343057667-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FOutputTimeUnit%3B ↦ ⟦
              φ ↦ Φ.jeo.annotation,
              v13216 ↦ "Lorg/openjdk/jmh/annotations/OutputTimeUnit;",
              v13218 ↦ Φ̇.true,
              e13223 ↦ ⟦
                φ ↦ Φ.jeo.annotation-property,
                v13224 ↦ "ENUM",
                v13225 ↦ "value",
                v13226 ↦ "Ljava/util/concurrent/TimeUnit;",
                v13227 ↦ "MILLISECONDS"
              ⟧
            ⟧,
            annotation-34249447-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FWarmup%3B ↦ ⟦
              φ ↦ Φ.jeo.annotation,
              v13281 ↦ "Lorg/openjdk/jmh/annotations/Warmup;",
              v13283 ↦ Φ̇.true,
              p13287 ↦ ⟦
                φ ↦ Φ.jeo.annotation-property,
                v13289 ↦ "PLAIN",
                v13290 ↦ "iterations",
                v13296 ↦ 10
              ⟧,
              p13299 ↦ ⟦
                φ ↦ Φ.jeo.annotation-property,
                v13300 ↦ "PLAIN",
                v13301 ↦ "time",
                v13305 ↦ 100
              ⟧,
              e13307 ↦ ⟦
                φ ↦ Φ.jeo.annotation-property,
                v13308 ↦ "ENUM",
                v13309 ↦ "timeUnit",
                v13310 ↦ "Ljava/util/concurrent/TimeUnit;",
                v13312 ↦ "MILLISECONDS"
              ⟧
            ⟧,
            annotation-1392145542-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FMeasurement%3B ↦ ⟦
              φ ↦ Φ.jeo.annotation,
              v13357 ↦ "Lorg/openjdk/jmh/annotations/Measurement;",
              v13358 ↦ Φ̇.true,
              p13360 ↦ ⟦
                φ ↦ Φ.jeo.annotation-property,
                v13361 ↦ "PLAIN",
                v13362 ↦ "iterations",
                v13365 ↦ 10
              ⟧,
              p13366 ↦ ⟦
                φ ↦ Φ.jeo.annotation-property,
                v13367 ↦ "PLAIN",
                v13368 ↦ "time",
                v13370 ↦ 100
              ⟧,
              e13371 ↦ ⟦
                φ ↦ Φ.jeo.annotation-property,
                v13372 ↦ "ENUM",
                v13373 ↦ "timeUnit",
                v13374 ↦ "Ljava/util/concurrent/TimeUnit;",
                v13375 ↦ "MILLISECONDS"
              ⟧
            ⟧,
            annotation-145407014-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FState%3B ↦ ⟦
              φ ↦ Φ.jeo.annotation,
              v13403 ↦ "Lorg/openjdk/jmh/annotations/State;",
              v13405 ↦ Φ̇.true,
              e13409 ↦ ⟦
                φ ↦ Φ.jeo.annotation-property,
                v13410 ↦ "ENUM",
                v13411 ↦ "value",
                v13412 ↦ "Lorg/openjdk/jmh/annotations/Scope;",
                v13413 ↦ "Benchmark"
              ⟧
            ⟧,
            annotation-1840582681-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FFork%3B ↦ ⟦
              φ ↦ Φ.jeo.annotation,
              v13538 ↦ "Lorg/openjdk/jmh/annotations/Fork;",
              v13539 ↦ Φ̇.true,
              p13541 ↦ ⟦
                φ ↦ Φ.jeo.annotation-property,
                v13542 ↦ "PLAIN",
                v13543 ↦ "value",
                v13545 ↦ 1
              ⟧
            ⟧
          ⟧,
          attributes ↦ ⟦
            φ ↦ Φ.jeo.seq.of1,
            a9462 ↦ ⟦
              φ ↦ Φ.jeo.inner-class,
              name ↦ "java/lang/invoke/MethodHandles$Lookup",
              outer ↦ "java/lang/invoke/MethodHandles",
              inner ↦ "Lookup",
              access ↦ 25
            ⟧
          ⟧,
          a🌵7527 ↦ ⟦
            φ ↦ Φ.jeo.method,
            access ↦ 4106,
            descriptor ↦ "(Ljava/lang/Integer;Ljava/util/function/Consumer;)V",
            signature ↦ "",
            maxs ↦ ⟦
              φ ↦ Φ.jeo.maxs,
              max-stack ↦ 4,
              max-locals ↦ 2
            ⟧,
            params ↦ ⟦
              φ ↦ Φ.jeo.params,
              i1 ↦ ⟦
                φ ↦ Φ.jeo.param,
                index ↦ 0,
                access ↦ 0,
                type ↦ "Ljava/lang/Integer;"
              ⟧,
              i2 ↦ ⟦
                φ ↦ Φ.jeo.param,
                index ↦ 1,
                access ↦ 0,
                type ↦ "Ljava/util/function/Consumer;"
              ⟧
            ⟧,
            body ↦ ⟦
              φ ↦ Φ.jeo.seq.of,
              i-pop-item ↦ ⟦
                φ ↦ Φ.jeo.opcode.aload,
                i1 ↦ 0
              ⟧,
              i1 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokestatic,
                i2 ↦ "org/eolang/benchmark/Big",
                i3 ↦ "lambda$stream$1",
                i4 ↦ "(Ljava/lang/Integer;)Ljava/lang/Integer;",
                i5 ↦ Φ̇.false
              ⟧,
              i ↦ ⟦
                φ ↦ Φ.jeo.opcode.dup
              ⟧,
              i2 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokestatic,
                i2 ↦ "org/eolang/benchmark/Big",
                i3 ↦ "lambda$stream$2",
                i4 ↦ "(Ljava/lang/Integer;)Z",
                i5 ↦ Φ̇.false
              ⟧,
              i3 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ifne,
                i2 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  i1 ↦ "L7811"
                ⟧
              ⟧,
              i4 ↦ ⟦
                φ ↦ Φ.jeo.opcode.return
              ⟧,
              i5 ↦ ⟦
                φ ↦ Φ.jeo.label,
                i1 ↦ "L7811"
              ⟧,
              i6 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type ↦ 4,
                nlocal ↦ 0,
                locals ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧,
                nstack ↦ 1,
                stack ↦ ⟦
                  φ ↦ Φ.jeo.seq.of1,
                  item ↦ "java/lang/Integer"
                ⟧
              ⟧,
              i1 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokestatic,
                i2 ↦ "org/eolang/benchmark/Big",
                i3 ↦ "lambda$stream$3",
                i4 ↦ "(Ljava/lang/Integer;)Ljava/lang/Integer;",
                i5 ↦ Φ̇.false
              ⟧,
              i1 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokestatic,
                i2 ↦ "org/eolang/benchmark/Big",
                i3 ↦ "lambda$stream$4",
                i4 ↦ "(Ljava/lang/Integer;)Ljava/lang/Integer;",
                i5 ↦ Φ̇.false
              ⟧,
              i ↦ ⟦
                φ ↦ Φ.jeo.opcode.dup
              ⟧,
              i2 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokestatic,
                i2 ↦ "org/eolang/benchmark/Big",
                i3 ↦ "lambda$stream$5",
                i4 ↦ "(Ljava/lang/Integer;)Z",
                i5 ↦ Φ̇.false
              ⟧,
              i3 ↦ ⟦
                φ ↦ Φ.jeo.opcode.ifne,
                i2 ↦ ⟦
                  φ ↦ Φ.jeo.label,
                  i1 ↦ "L6870"
                ⟧
              ⟧,
              i4 ↦ ⟦
                φ ↦ Φ.jeo.opcode.return
              ⟧,
              i5 ↦ ⟦
                φ ↦ Φ.jeo.label,
                i1 ↦ "L6870"
              ⟧,
              i6 ↦ ⟦
                φ ↦ Φ.jeo.frame,
                type ↦ 4,
                nlocal ↦ 0,
                locals ↦ ⟦
                  φ ↦ Φ.jeo.seq.of0
                ⟧,
                nstack ↦ 1,
                stack ↦ ⟦
                  φ ↦ Φ.jeo.seq.of1,
                  item ↦ "java/lang/Integer"
                ⟧
              ⟧,
              i-pop-consumer ↦ ⟦
                φ ↦ Φ.jeo.opcode.aload,
                i1 ↦ 1
              ⟧,
              i-dup-x ↦ ⟦
                φ ↦ Φ.jeo.opcode.dup_x1
              ⟧,
              i-pop ↦ ⟦
                φ ↦ Φ.jeo.opcode.pop
              ⟧,
              i-invoke ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokeinterface,
                i2 ↦ "java/util/function/Consumer",
                i3 ↦ "accept",
                i4 ↦ "(Ljava/lang/Object;)V",
                i5 ↦ Φ̇.true
              ⟧,
              i-return ↦ ⟦
                φ ↦ Φ.jeo.opcode.return
              ⟧
            ⟧,
            name ↦ "distill_7908"
          ⟧
        ⟧,
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧,
    λ ⤍ Package
  ⟧
⟧}