Java
package org.eolang.benchmark;
import java.util.concurrent.TimeUnit;
import java.util.stream.IntStream;
import java.util.stream.Stream;
import org.openjdk.jmh.annotations.Benchmark;
import org.openjdk.jmh.annotations.BenchmarkMode;
import org.openjdk.jmh.annotations.Fork;
import org.openjdk.jmh.annotations.Measurement;
import org.openjdk.jmh.annotations.Mode;
import org.openjdk.jmh.annotations.OutputTimeUnit;
import org.openjdk.jmh.annotations.Scope;
import org.openjdk.jmh.annotations.State;
import org.openjdk.jmh.annotations.Warmup;

@BenchmarkMode(Mode.AverageTime)
@OutputTimeUnit(TimeUnit.MILLISECONDS)
@Warmup(iterations = 10, time = 100, timeUnit = TimeUnit.MILLISECONDS)
@Measurement(iterations = 10, time = 100, timeUnit = TimeUnit.MILLISECONDS)
@State(Scope.Benchmark)
@Fork(1)
public class Big {
    private static final long EXPECTED = 1325403L;
    private static final Integer[] VALUES = IntStream.range(0, 10_000_000)
        .boxed()
        .toArray(Integer[]::new);
    @Benchmark
    public long loop() {
        long count = 0L;
        for (int idx = 0; idx < Big.VALUES.length; idx++) {
            int num = Big.VALUES[idx] + 1;
            if (num % 13 == 0) {
                continue;
            }
            num = num * num / 17;
            if (num % 7 == 0) {
                count += 1L;
            }
        }
        assert count == Big.EXPECTED;
        return count;
    }
    @Benchmark
    public long stream() {
       final long count = Stream.of(Big.VALUES)
           .map(num -> num + 1)
           .filter(num -> num % 13 != 0)
           .map(num -> num * num)
           .map(num -> num / 17)
           .filter(num -> num % 7 == 0)
           .count();
       assert count == Big.EXPECTED;
       return count;
    }
}
Bytecode after javac 23.0.2
Compiled from "Big.java"
public class org.eolang.benchmark.Big {
  private static final long EXPECTED;

  private static final java.lang.Integer[] VALUES;

  static final boolean $assertionsDisabled;

  public org.eolang.benchmark.Big();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public long loop();
    Code:
       0: lconst_0
       1: lstore_1
       2: iconst_0
       3: istore_3
       4: iload_3
       5: getstatic     #7                  // Field VALUES:[Ljava/lang/Integer;
       8: arraylength
       9: if_icmpge     63
      12: getstatic     #7                  // Field VALUES:[Ljava/lang/Integer;
      15: iload_3
      16: aaload
      17: invokevirtual #13                 // Method java/lang/Integer.intValue:()I
      20: iconst_1
      21: iadd
      22: istore        4
      24: iload         4
      26: bipush        13
      28: irem
      29: ifne          35
      32: goto          57
      35: iload         4
      37: iload         4
      39: imul
      40: bipush        17
      42: idiv
      43: istore        4
      45: iload         4
      47: bipush        7
      49: irem
      50: ifne          57
      53: lload_1
      54: lconst_1
      55: ladd
      56: lstore_1
      57: iinc          3, 1
      60: goto          4
      63: getstatic     #19                 // Field $assertionsDisabled:Z
      66: ifne          85
      69: lload_1
      70: ldc2_w        #23                 // long 1325403l
      73: lcmp
      74: ifeq          85
      77: new           #25                 // class java/lang/AssertionError
      80: dup
      81: invokespecial #27                 // Method java/lang/AssertionError."<init>":()V
      84: athrow
      85: lload_1
      86: lreturn

  public long stream();
    Code:
       0: getstatic     #7                  // Field VALUES:[Ljava/lang/Integer;
       3: invokestatic  #28                 // InterfaceMethod java/util/stream/Stream.of:([Ljava/lang/Object;)Ljava/util/stream/Stream;
       6: invokedynamic #34,  0             // InvokeDynamic #0:apply:()Ljava/util/function/Function;
      11: invokeinterface #38,  2           // InterfaceMethod java/util/stream/Stream.map:(Ljava/util/function/Function;)Ljava/util/stream/Stream;
      16: invokedynamic #42,  0             // InvokeDynamic #1:test:()Ljava/util/function/Predicate;
      21: invokeinterface #46,  2           // InterfaceMethod java/util/stream/Stream.filter:(Ljava/util/function/Predicate;)Ljava/util/stream/Stream;
      26: invokedynamic #50,  0             // InvokeDynamic #2:apply:()Ljava/util/function/Function;
      31: invokeinterface #38,  2           // InterfaceMethod java/util/stream/Stream.map:(Ljava/util/function/Function;)Ljava/util/stream/Stream;
      36: invokedynamic #51,  0             // InvokeDynamic #3:apply:()Ljava/util/function/Function;
      41: invokeinterface #38,  2           // InterfaceMethod java/util/stream/Stream.map:(Ljava/util/function/Function;)Ljava/util/stream/Stream;
      46: invokedynamic #52,  0             // InvokeDynamic #4:test:()Ljava/util/function/Predicate;
      51: invokeinterface #46,  2           // InterfaceMethod java/util/stream/Stream.filter:(Ljava/util/function/Predicate;)Ljava/util/stream/Stream;
      56: invokeinterface #53,  1           // InterfaceMethod java/util/stream/Stream.count:()J
      61: lstore_1
      62: getstatic     #19                 // Field $assertionsDisabled:Z
      65: ifne          84
      68: lload_1
      69: ldc2_w        #23                 // long 1325403l
      72: lcmp
      73: ifeq          84
      76: new           #25                 // class java/lang/AssertionError
      79: dup
      80: invokespecial #27                 // Method java/lang/AssertionError."<init>":()V
      83: athrow
      84: lload_1
      85: lreturn

  private static boolean lambda$stream$5(java.lang.Integer);
    Code:
       0: aload_0
       1: invokevirtual #13                 // Method java/lang/Integer.intValue:()I
       4: bipush        7
       6: irem
       7: ifne          14
      10: iconst_1
      11: goto          15
      14: iconst_0
      15: ireturn

  private static java.lang.Integer lambda$stream$4(java.lang.Integer);
    Code:
       0: aload_0
       1: invokevirtual #13                 // Method java/lang/Integer.intValue:()I
       4: bipush        17
       6: idiv
       7: invokestatic  #57                 // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
      10: areturn

  private static java.lang.Integer lambda$stream$3(java.lang.Integer);
    Code:
       0: aload_0
       1: invokevirtual #13                 // Method java/lang/Integer.intValue:()I
       4: aload_0
       5: invokevirtual #13                 // Method java/lang/Integer.intValue:()I
       8: imul
       9: invokestatic  #57                 // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
      12: areturn

  private static boolean lambda$stream$2(java.lang.Integer);
    Code:
       0: aload_0
       1: invokevirtual #13                 // Method java/lang/Integer.intValue:()I
       4: bipush        13
       6: irem
       7: ifeq          14
      10: iconst_1
      11: goto          15
      14: iconst_0
      15: ireturn

  private static java.lang.Integer lambda$stream$1(java.lang.Integer);
    Code:
       0: aload_0
       1: invokevirtual #13                 // Method java/lang/Integer.intValue:()I
       4: iconst_1
       5: iadd
       6: invokestatic  #57                 // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
       9: areturn

  private static java.lang.Integer[] lambda$static$0(int);
    Code:
       0: iload_0
       1: anewarray     #14                 // class java/lang/Integer
       4: areturn

  static {};
    Code:
       0: ldc           #8                  // class org/eolang/benchmark/Big
       2: invokevirtual #61                 // Method java/lang/Class.desiredAssertionStatus:()Z
       5: ifne          12
       8: iconst_1
       9: goto          13
      12: iconst_0
      13: putstatic     #19                 // Field $assertionsDisabled:Z
      16: iconst_0
      17: ldc           #67                 // int 10000000
      19: invokestatic  #68                 // InterfaceMethod java/util/stream/IntStream.range:(II)Ljava/util/stream/IntStream;
      22: invokeinterface #74,  1           // InterfaceMethod java/util/stream/IntStream.boxed:()Ljava/util/stream/Stream;
      27: invokedynamic #78,  0             // InvokeDynamic #5:apply:()Ljava/util/function/IntFunction;
      32: invokeinterface #81,  2           // InterfaceMethod java/util/stream/Stream.toArray:(Ljava/util/function/IntFunction;)[Ljava/lang/Object;
      37: checkcast     #85                 // class "[Ljava/lang/Integer;"
      40: putstatic     #7                  // Field VALUES:[Ljava/lang/Integer;
      43: return
}
Opcodes after jeo:disassemble 0.13.2
+home https://github.com/objectionary/jeo-maven-plugin
+package j$org.j$eolang.j$benchmark
+spdx SPDX-License-Identifier: MIT
+version 0.13.2
# No comments.
[] > j$Big
  Q.jeo.class > @
  60 > version
  33 > access
  "java/lang/Object" > supername
  # No comments.
  [] > interfaces
    Q.jeo.seq.of0 > @
  "org/eolang/benchmark/Big" > name
  # No comments.
  [] > j$EXPECTED
    Q.jeo.field > @
    26 > access-EXPECTED
    "J" > descriptor-EXPECTED
    "" > signature-EXPECTED
    # No comments.
    [] > value-EXPECTED
      Q.jeo.long > @
      1325403 > n9483
  # No comments.
  [] > j$VALUES
    Q.jeo.field > @
    26 > access-VALUES
    "[Ljava/lang/Integer;" > descriptor-VALUES
    "" > signature-VALUES
    # No comments.
    [] > value-VALUES
      Q.jeo.nullable > @
      -- > n9489
  # No comments.
  [] > j$$assertionsDisabled
    Q.jeo.field > @
    4120 > access-$assertionsDisabled
    "Z" > descriptor-$assertionsDisabled
    "" > signature-$assertionsDisabled
    # No comments.
    [] > value-$assertionsDisabled
      Q.jeo.nullable > @
      -- > n9494
  # No comments.
  [] > j$object@init@
    Q.jeo.method > @
    1 > access
    "()V" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      1 > v9497
      1 > v9498
    # No comments.
    [] > body
      Q.jeo.seq.of3 > @
      # No comments.
      [] > i9507
        Q.jeo.opcode.aload > @
        0 > v9509
      # No comments.
      [] > i9526
        Q.jeo.opcode.invokespecial > @
        "java/lang/Object" > v9534
        "<init>" > v9537
        "()V" > v9541
        false > v9543
      # No comments.
      [] > i9547
        Q.jeo.opcode.return > @
    "object@init@" > name
  # No comments.
  [] > j$loop
    Q.jeo.method > @
    1 > access
    "()J" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      4 > v9555
      5 > v9556
    # No comments.
    [] > annotations
      Q.jeo.seq.of1 > @
      # No comments.
      [] > annotation-1639773128-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FBenchmark%3B
        Q.jeo.annotation > @
        "Lorg/openjdk/jmh/annotations/Benchmark;" > v9565
        true > v9566
    # No comments.
    [] > body
      Q.jeo.seq.of58 > @
      # No comments.
      [] > i9571
        Q.jeo.opcode.lconst_0 > @
      # No comments.
      [] > i9575
        Q.jeo.opcode.lstore > @
        1 > v9577
      # No comments.
      [] > i9581
        Q.jeo.opcode.iconst_0 > @
      # No comments.
      [] > i9588
        Q.jeo.opcode.istore > @
        3 > v9590
      # No comments.
      [] > l9594
        Q.jeo.label > @
        "L2058483833" > v9595
      # No comments.
      [] > f9604
        Q.jeo.frame > @
        1 > type-1967958247
        # No comments.
        [] > locals-1967958247
          Q.jeo.seq.of2 > @
          "long" > x0
          "integer" > x1
        # No comments.
        [] > stack-1967958247
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i9614
        Q.jeo.opcode.iload > @
        3 > v9617
      # No comments.
      [] > i9628
        Q.jeo.opcode.getstatic > @
        "org/eolang/benchmark/Big" > v9632
        "VALUES" > v9633
        "[Ljava/lang/Integer;" > v9634
      # No comments.
      [] > i9637
        Q.jeo.opcode.arraylength > @
      # No comments.
      [] > i9644
        Q.jeo.opcode.if_icmpge > @
        # No comments.
        [] > l9645
          Q.jeo.label > @
          "L1892177080" > v9646
      # No comments.
      [] > i9655
        Q.jeo.opcode.getstatic > @
        "org/eolang/benchmark/Big" > v9657
        "VALUES" > v9660
        "[Ljava/lang/Integer;" > v9662
      # No comments.
      [] > i9666
        Q.jeo.opcode.iload > @
        3 > v9668
      # No comments.
      [] > i9670
        Q.jeo.opcode.aaload > @
      # No comments.
      [] > i9680
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v9682
        "intValue" > v9683
        "()I" > v9685
        false > v9686
      # No comments.
      [] > i9689
        Q.jeo.opcode.iconst_1 > @
      # No comments.
      [] > i9693
        Q.jeo.opcode.iadd > @
      # No comments.
      [] > i9696
        Q.jeo.opcode.istore > @
        4 > v9697
      # No comments.
      [] > i9701
        Q.jeo.opcode.iload > @
        4 > v9702
      # No comments.
      [] > i9706
        Q.jeo.opcode.bipush > @
        13 > v9708
      # No comments.
      [] > i9710
        Q.jeo.opcode.irem > @
      # No comments.
      [] > i9716
        Q.jeo.opcode.ifne > @
        # No comments.
        [] > l9718
          Q.jeo.label > @
          "L1382570352" > v9720
      # No comments.
      [] > i9727
        Q.jeo.opcode.goto > @
        # No comments.
        [] > l9729
          Q.jeo.label > @
          "L1193358555" > v9730
      # No comments.
      [] > l9736
        Q.jeo.label > @
        "L1382570352" > v9737
      # No comments.
      [] > f9744
        Q.jeo.frame > @
        1 > type-850285172
        # No comments.
        [] > locals-850285172
          Q.jeo.seq.of1 > @
          "integer" > x0
        # No comments.
        [] > stack-850285172
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i9750
        Q.jeo.opcode.iload > @
        4 > v9863
      # No comments.
      [] > i9867
        Q.jeo.opcode.iload > @
        4 > v9868
      # No comments.
      [] > i9872
        Q.jeo.opcode.imul > @
      # No comments.
      [] > i9876
        Q.jeo.opcode.bipush > @
        17 > v9878
      # No comments.
      [] > i9880
        Q.jeo.opcode.idiv > @
      # No comments.
      [] > i9884
        Q.jeo.opcode.istore > @
        4 > v9886
      # No comments.
      [] > i9890
        Q.jeo.opcode.iload > @
        4 > v9891
      # No comments.
      [] > i9895
        Q.jeo.opcode.bipush > @
        7 > v9896
      # No comments.
      [] > i9900
        Q.jeo.opcode.irem > @
      # No comments.
      [] > i9907
        Q.jeo.opcode.ifne > @
        # No comments.
        [] > l9909
          Q.jeo.label > @
          "L1193358555" > v9911
      # No comments.
      [] > i9918
        Q.jeo.opcode.lload > @
        1 > v9920
      # No comments.
      [] > i9924
        Q.jeo.opcode.lconst_1 > @
      # No comments.
      [] > i9930
        Q.jeo.opcode.ladd > @
      # No comments.
      [] > i9934
        Q.jeo.opcode.lstore > @
        1 > v9936
      # No comments.
      [] > l9942
        Q.jeo.label > @
        "L1193358555" > v9943
      # No comments.
      [] > f9952
        Q.jeo.frame > @
        2 > type-866737579
        # No comments.
        [] > locals-866737579
          Q.jeo.seq.of1 > @
          # No comments.
          [] > x0
            Q.jeo.nullable > @
            -- > n9955
        # No comments.
        [] > stack-866737579
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i9962
        Q.jeo.opcode.iinc > @
        3 > v9963
        1 > v9964
      # No comments.
      [] > i9972
        Q.jeo.opcode.goto > @
        # No comments.
        [] > l9973
          Q.jeo.label > @
          "L2058483833" > v9974
      # No comments.
      [] > l9979
        Q.jeo.label > @
        "L1892177080" > v9980
      # No comments.
      [] > f9986
        Q.jeo.frame > @
        2 > type-1575864768
        # No comments.
        [] > locals-1575864768
          Q.jeo.seq.of1 > @
          # No comments.
          [] > x0
            Q.jeo.nullable > @
            -- > n9989
        # No comments.
        [] > stack-1575864768
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i9999
        Q.jeo.opcode.getstatic > @
        "org/eolang/benchmark/Big" > v10002
        "$assertionsDisabled" > v10004
        "Z" > v10006
      # No comments.
      [] > i10010
        Q.jeo.opcode.ifne > @
        # No comments.
        [] > l10011
          Q.jeo.label > @
          "L849768054" > v10012
      # No comments.
      [] > i10015
        Q.jeo.opcode.lload > @
        1 > v10016
      # No comments.
      [] > i10020
        Q.jeo.opcode.ldc > @
        # No comments.
        [] > v10021
          Q.jeo.long > @
          1325403 > n10022
      # No comments.
      [] > i10024
        Q.jeo.opcode.lcmp > @
      # No comments.
      [] > i10031
        Q.jeo.opcode.ifeq > @
        # No comments.
        [] > l10035
          Q.jeo.label > @
          "L849768054" > v10036
      # No comments.
      [] > i10045
        Q.jeo.opcode.new > @
        "java/lang/AssertionError" > v10048
      # No comments.
      [] > i10052
        Q.jeo.opcode.dup > @
      # No comments.
      [] > i10072
        Q.jeo.opcode.invokespecial > @
        "java/lang/AssertionError" > v10079
        "<init>" > v10081
        "()V" > v10083
        false > v10086
      # No comments.
      [] > i10092
        Q.jeo.opcode.athrow > @
      # No comments.
      [] > l10097
        Q.jeo.label > @
        "L849768054" > v10098
      # No comments.
      [] > f10102
        Q.jeo.frame > @
        3 > type-1307986186
        # No comments.
        [] > locals-1307986186
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-1307986186
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i10105
        Q.jeo.opcode.lload > @
        1 > v10106
      # No comments.
      [] > i10108
        Q.jeo.opcode.lreturn > @
    "loop" > name
  # No comments.
  [] > j$stream
    Q.jeo.method > @
    1 > access
    "()J" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      4 > v10230
      3 > v10231
    # No comments.
    [] > annotations
      Q.jeo.seq.of1 > @
      # No comments.
      [] > annotation-507261608-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FBenchmark%3B
        Q.jeo.annotation > @
        "Lorg/openjdk/jmh/annotations/Benchmark;" > v10234
        true > v10235
    # No comments.
    [] > body
      Q.jeo.seq.of28 > @
      # No comments.
      [] > i10242
        Q.jeo.opcode.getstatic > @
        "org/eolang/benchmark/Big" > v10243
        "VALUES" > v10244
        "[Ljava/lang/Integer;" > v10245
      # No comments.
      [] > i10251
        Q.jeo.opcode.invokestatic > @
        "java/util/stream/Stream" > v10252
        "of" > v10253
        "([Ljava/lang/Object;)Ljava/util/stream/Stream;" > v10254
        true > v10255
      # No comments.
      [] > i10314
        Q.jeo.opcode.invokedynamic > @
        "apply" > v10324
        "()Ljava/util/function/Function;" > v10326
        # No comments.
        [] > h10327
          Q.jeo.handle > @
          6 > v10328
          "java/lang/invoke/LambdaMetafactory" > v10329
          "metafactory" > v10330
          "(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;" > v10331
          false > v10332
        # No comments.
        [] > t10339
          Q.jeo.type > @
          "(Ljava/lang/Object;)Ljava/lang/Object;" > v10340
        # No comments.
        [] > h10343
          Q.jeo.handle > @
          6 > v10344
          "org/eolang/benchmark/Big" > v10346
          "lambda$stream$1" > v10347
          "(Ljava/lang/Integer;)Ljava/lang/Integer;" > v10348
          false > v10349
        # No comments.
        [] > t10352
          Q.jeo.type > @
          "(Ljava/lang/Integer;)Ljava/lang/Integer;" > v10353
      # No comments.
      [] > i10371
        Q.jeo.opcode.invokeinterface > @
        "java/util/stream/Stream" > v10376
        "map" > v10379
        "(Ljava/util/function/Function;)Ljava/util/stream/Stream;" > v10381
        true > v10385
      # No comments.
      [] > i10524
        Q.jeo.opcode.invokedynamic > @
        "test" > v10540
        "()Ljava/util/function/Predicate;" > v10541
        # No comments.
        [] > h10543
          Q.jeo.handle > @
          6 > v10544
          "java/lang/invoke/LambdaMetafactory" > v10545
          "metafactory" > v10546
          "(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;" > v10547
          false > v10548
        # No comments.
        [] > t10559
          Q.jeo.type > @
          "(Ljava/lang/Object;)Z" > v10560
        # No comments.
        [] > h10563
          Q.jeo.handle > @
          6 > v10564
          "org/eolang/benchmark/Big" > v10565
          "lambda$stream$2" > v10566
          "(Ljava/lang/Integer;)Z" > v10568
          false > v10569
        # No comments.
        [] > t10574
          Q.jeo.type > @
          "(Ljava/lang/Integer;)Z" > v10575
      # No comments.
      [] > i10589
        Q.jeo.opcode.invokeinterface > @
        "java/util/stream/Stream" > v10591
        "filter" > v10592
        "(Ljava/util/function/Predicate;)Ljava/util/stream/Stream;" > v10593
        true > v10594
      # No comments.
      [] > i10632
        Q.jeo.opcode.invokedynamic > @
        "apply" > v10638
        "()Ljava/util/function/Function;" > v10639
        # No comments.
        [] > h10641
          Q.jeo.handle > @
          6 > v10642
          "java/lang/invoke/LambdaMetafactory" > v10643
          "metafactory" > v10644
          "(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;" > v10645
          false > v10646
        # No comments.
        [] > t10658
          Q.jeo.type > @
          "(Ljava/lang/Object;)Ljava/lang/Object;" > v10659
        # No comments.
        [] > h10660
          Q.jeo.handle > @
          6 > v10661
          "org/eolang/benchmark/Big" > v10662
          "lambda$stream$3" > v10663
          "(Ljava/lang/Integer;)Ljava/lang/Integer;" > v10664
          false > v10665
        # No comments.
        [] > t10669
          Q.jeo.type > @
          "(Ljava/lang/Integer;)Ljava/lang/Integer;" > v10670
      # No comments.
      [] > i10810
        Q.jeo.opcode.invokeinterface > @
        "java/util/stream/Stream" > v10813
        "map" > v10815
        "(Ljava/util/function/Function;)Ljava/util/stream/Stream;" > v10816
        true > v10818
      # No comments.
      [] > i10865
        Q.jeo.opcode.invokedynamic > @
        "apply" > v10874
        "()Ljava/util/function/Function;" > v10875
        # No comments.
        [] > h10877
          Q.jeo.handle > @
          6 > v10878
          "java/lang/invoke/LambdaMetafactory" > v10879
          "metafactory" > v10880
          "(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;" > v10881
          false > v10882
        # No comments.
        [] > t10887
          Q.jeo.type > @
          "(Ljava/lang/Object;)Ljava/lang/Object;" > v10888
        # No comments.
        [] > h10890
          Q.jeo.handle > @
          6 > v10891
          "org/eolang/benchmark/Big" > v10892
          "lambda$stream$4" > v10893
          "(Ljava/lang/Integer;)Ljava/lang/Integer;" > v10894
          false > v10895
        # No comments.
        [] > t10898
          Q.jeo.type > @
          "(Ljava/lang/Integer;)Ljava/lang/Integer;" > v10899
      # No comments.
      [] > i10913
        Q.jeo.opcode.invokeinterface > @
        "java/util/stream/Stream" > v10915
        "map" > v10916
        "(Ljava/util/function/Function;)Ljava/util/stream/Stream;" > v10918
        true > v10920
      # No comments.
      [] > i10961
        Q.jeo.opcode.invokedynamic > @
        "test" > v10968
        "()Ljava/util/function/Predicate;" > v10969
        # No comments.
        [] > h10971
          Q.jeo.handle > @
          6 > v10972
          "java/lang/invoke/LambdaMetafactory" > v10973
          "metafactory" > v10974
          "(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;" > v10975
          false > v10976
        # No comments.
        [] > t11108
          Q.jeo.type > @
          "(Ljava/lang/Object;)Z" > v11109
        # No comments.
        [] > h11112
          Q.jeo.handle > @
          6 > v11113
          "org/eolang/benchmark/Big" > v11114
          "lambda$stream$5" > v11115
          "(Ljava/lang/Integer;)Z" > v11116
          false > v11117
        # No comments.
        [] > t11120
          Q.jeo.type > @
          "(Ljava/lang/Integer;)Z" > v11121
      # No comments.
      [] > i11135
        Q.jeo.opcode.invokeinterface > @
        "java/util/stream/Stream" > v11141
        "filter" > v11142
        "(Ljava/util/function/Predicate;)Ljava/util/stream/Stream;" > v11143
        true > v11145
      # No comments.
      [] > i11157
        Q.jeo.opcode.invokeinterface > @
        "java/util/stream/Stream" > v11161
        "count" > v11164
        "()J" > v11165
        true > v11167
      # No comments.
      [] > i11172
        Q.jeo.opcode.lstore > @
        1 > v11174
      # No comments.
      [] > i11182
        Q.jeo.opcode.getstatic > @
        "org/eolang/benchmark/Big" > v11186
        "$assertionsDisabled" > v11187
        "Z" > v11188
      # No comments.
      [] > i11196
        Q.jeo.opcode.ifne > @
        # No comments.
        [] > l11198
          Q.jeo.label > @
          "L7966990" > v11199
      # No comments.
      [] > i11203
        Q.jeo.opcode.lload > @
        1 > v11205
      # No comments.
      [] > i11212
        Q.jeo.opcode.ldc > @
        # No comments.
        [] > v11214
          Q.jeo.long > @
          1325403 > n11215
      # No comments.
      [] > i11220
        Q.jeo.opcode.lcmp > @
      # No comments.
      [] > i11230
        Q.jeo.opcode.ifeq > @
        # No comments.
        [] > l11233
          Q.jeo.label > @
          "L7966990" > v11234
      # No comments.
      [] > i11237
        Q.jeo.opcode.new > @
        "java/lang/AssertionError" > v11238
      # No comments.
      [] > i11241
        Q.jeo.opcode.dup > @
      # No comments.
      [] > i11251
        Q.jeo.opcode.invokespecial > @
        "java/lang/AssertionError" > v11252
        "<init>" > v11253
        "()V" > v11254
        false > v11256
      # No comments.
      [] > i11258
        Q.jeo.opcode.athrow > @
      # No comments.
      [] > l11262
        Q.jeo.label > @
        "L7966990" > v11263
      # No comments.
      [] > f11268
        Q.jeo.frame > @
        1 > type-218865458
        # No comments.
        [] > locals-218865458
          Q.jeo.seq.of1 > @
          "long" > x0
        # No comments.
        [] > stack-218865458
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i11277
        Q.jeo.opcode.lload > @
        1 > v11279
      # No comments.
      [] > i11282
        Q.jeo.opcode.lreturn > @
    "stream" > name
  # No comments.
  [] > j$lambda$stream$5
    Q.jeo.method > @
    4106 > access
    "(Ljava/lang/Integer;)Z" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      2 > v11297
      1 > v11298
    # No comments.
    [] > params
      Q.jeo.params > @
      # No comments.
      [] > arg0
        Q.jeo.param > @
        0 > index
        0 > access
        "Ljava/lang/Integer;" > type
    # No comments.
    [] > body
      Q.jeo.seq.of13 > @
      # No comments.
      [] > i11306
        Q.jeo.opcode.aload > @
        0 > v11307
      # No comments.
      [] > i11317
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v11322
        "intValue" > v11324
        "()I" > v11325
        false > v11326
      # No comments.
      [] > i11329
        Q.jeo.opcode.bipush > @
        7 > v11472
      # No comments.
      [] > i11480
        Q.jeo.opcode.irem > @
      # No comments.
      [] > i11493
        Q.jeo.opcode.ifne > @
        # No comments.
        [] > l11497
          Q.jeo.label > @
          "L273349544" > v11498
      # No comments.
      [] > i11502
        Q.jeo.opcode.iconst_1 > @
      # No comments.
      [] > i11512
        Q.jeo.opcode.goto > @
        # No comments.
        [] > l11515
          Q.jeo.label > @
          "L1577292438" > v11516
      # No comments.
      [] > l11523
        Q.jeo.label > @
        "L273349544" > v11525
      # No comments.
      [] > f11534
        Q.jeo.frame > @
        3 > type-1958141757
        # No comments.
        [] > locals-1958141757
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-1958141757
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i11543
        Q.jeo.opcode.iconst_0 > @
      # No comments.
      [] > l11550
        Q.jeo.label > @
        "L1577292438" > v11551
      # No comments.
      [] > f11560
        Q.jeo.frame > @
        4 > type-1202105250
        # No comments.
        [] > locals-1202105250
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-1202105250
          Q.jeo.seq.of1 > @
          "integer" > x0
      # No comments.
      [] > i11764
        Q.jeo.opcode.ireturn > @
    "lambda$stream$5" > name
  # No comments.
  [] > j$lambda$stream$4
    Q.jeo.method > @
    4106 > access
    "(Ljava/lang/Integer;)Ljava/lang/Integer;" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      2 > v11773
      1 > v11774
    # No comments.
    [] > params
      Q.jeo.params > @
      # No comments.
      [] > arg0
        Q.jeo.param > @
        0 > index
        0 > access
        "Ljava/lang/Integer;" > type
    # No comments.
    [] > body
      Q.jeo.seq.of6 > @
      # No comments.
      [] > i11786
        Q.jeo.opcode.aload > @
        0 > v11788
      # No comments.
      [] > i11805
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v11808
        "intValue" > v11811
        "()I" > v11812
        false > v11815
      # No comments.
      [] > i11822
        Q.jeo.opcode.bipush > @
        17 > v11826
      # No comments.
      [] > i11832
        Q.jeo.opcode.idiv > @
      # No comments.
      [] > i11853
        Q.jeo.opcode.invokestatic > @
        "java/lang/Integer" > v11856
        "valueOf" > v11859
        "(I)Ljava/lang/Integer;" > v11862
        false > v11864
      # No comments.
      [] > i11870
        Q.jeo.opcode.areturn > @
    "lambda$stream$4" > name
  # No comments.
  [] > j$lambda$stream$3
    Q.jeo.method > @
    4106 > access
    "(Ljava/lang/Integer;)Ljava/lang/Integer;" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      2 > v11882
      1 > v11883
    # No comments.
    [] > params
      Q.jeo.params > @
      # No comments.
      [] > arg0
        Q.jeo.param > @
        0 > index
        0 > access
        "Ljava/lang/Integer;" > type
    # No comments.
    [] > body
      Q.jeo.seq.of7 > @
      # No comments.
      [] > i11895
        Q.jeo.opcode.aload > @
        0 > v11897
      # No comments.
      [] > i11909
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v11912
        "intValue" > v11914
        "()I" > v11915
        false > v11917
      # No comments.
      [] > i11922
        Q.jeo.opcode.aload > @
        0 > v11924
      # No comments.
      [] > i11945
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v11952
        "intValue" > v11953
        "()I" > v11955
        false > v11956
      # No comments.
      [] > i11960
        Q.jeo.opcode.imul > @
      # No comments.
      [] > i11973
        Q.jeo.opcode.invokestatic > @
        "java/lang/Integer" > v11977
        "valueOf" > v11980
        "(I)Ljava/lang/Integer;" > v11982
        false > v11985
      # No comments.
      [] > i11990
        Q.jeo.opcode.areturn > @
    "lambda$stream$3" > name
  # No comments.
  [] > j$lambda$stream$2
    Q.jeo.method > @
    4106 > access
    "(Ljava/lang/Integer;)Z" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      2 > v12003
      1 > v12005
    # No comments.
    [] > params
      Q.jeo.params > @
      # No comments.
      [] > arg0
        Q.jeo.param > @
        0 > index
        0 > access
        "Ljava/lang/Integer;" > type
    # No comments.
    [] > body
      Q.jeo.seq.of13 > @
      # No comments.
      [] > i12016
        Q.jeo.opcode.aload > @
        0 > v12019
      # No comments.
      [] > i12037
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v12041
        "intValue" > v12044
        "()I" > v12046
        false > v12050
      # No comments.
      [] > i12056
        Q.jeo.opcode.bipush > @
        13 > v12058
      # No comments.
      [] > i12064
        Q.jeo.opcode.irem > @
      # No comments.
      [] > i12079
        Q.jeo.opcode.ifeq > @
        # No comments.
        [] > l12080
          Q.jeo.label > @
          "L1607959294" > v12081
      # No comments.
      [] > i12170
        Q.jeo.opcode.iconst_1 > @
      # No comments.
      [] > i12179
        Q.jeo.opcode.goto > @
        # No comments.
        [] > l12184
          Q.jeo.label > @
          "L325749227" > v12185
      # No comments.
      [] > l12191
        Q.jeo.label > @
        "L1607959294" > v12192
      # No comments.
      [] > f12197
        Q.jeo.frame > @
        3 > type-946275397
        # No comments.
        [] > locals-946275397
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-946275397
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i12204
        Q.jeo.opcode.iconst_0 > @
      # No comments.
      [] > l12210
        Q.jeo.label > @
        "L325749227" > v12211
      # No comments.
      [] > f12220
        Q.jeo.frame > @
        4 > type-1774517876
        # No comments.
        [] > locals-1774517876
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-1774517876
          Q.jeo.seq.of1 > @
          "integer" > x0
      # No comments.
      [] > i12231
        Q.jeo.opcode.ireturn > @
    "lambda$stream$2" > name
  # No comments.
  [] > j$lambda$stream$1
    Q.jeo.method > @
    4106 > access
    "(Ljava/lang/Integer;)Ljava/lang/Integer;" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      2 > v12241
      1 > v12242
    # No comments.
    [] > params
      Q.jeo.params > @
      # No comments.
      [] > arg0
        Q.jeo.param > @
        0 > index
        0 > access
        "Ljava/lang/Integer;" > type
    # No comments.
    [] > body
      Q.jeo.seq.of6 > @
      # No comments.
      [] > i12251
        Q.jeo.opcode.aload > @
        0 > v12254
      # No comments.
      [] > i12269
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v12275
        "intValue" > v12276
        "()I" > v12279
        false > v12280
      # No comments.
      [] > i12287
        Q.jeo.opcode.iconst_1 > @
      # No comments.
      [] > i12295
        Q.jeo.opcode.iadd > @
      # No comments.
      [] > i12313
        Q.jeo.opcode.invokestatic > @
        "java/lang/Integer" > v12320
        "valueOf" > v12322
        "(I)Ljava/lang/Integer;" > v12324
        false > v12327
      # No comments.
      [] > i12330
        Q.jeo.opcode.areturn > @
    "lambda$stream$1" > name
  # No comments.
  [] > j$lambda$static$0
    Q.jeo.method > @
    4106 > access
    "(I)[Ljava/lang/Integer;" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      1 > v12343
      1 > v12344
    # No comments.
    [] > params
      Q.jeo.params > @
      # No comments.
      [] > arg0
        Q.jeo.param > @
        0 > index
        0 > access
        "I" > type
    # No comments.
    [] > body
      Q.jeo.seq.of3 > @
      # No comments.
      [] > i12353
        Q.jeo.opcode.iload > @
        0 > v12355
      # No comments.
      [] > i12361
        Q.jeo.opcode.anewarray > @
        "java/lang/Integer" > v12364
      # No comments.
      [] > i12370
        Q.jeo.opcode.areturn > @
    "lambda$static$0" > name
  # No comments.
  [] > j$class@clinit@
    Q.jeo.method > @
    8 > access
    "()V" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      2 > v12379
      0 > v12381
    # No comments.
    [] > body
      Q.jeo.seq.of20 > @
      # No comments.
      [] > i12392
        Q.jeo.opcode.ldc > @
        # No comments.
        [] > t12395
          Q.jeo.type > @
          "Lorg/eolang/benchmark/Big;" > v12396
      # No comments.
      [] > i12419
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Class" > v12426
        "desiredAssertionStatus" > v12428
        "()Z" > v12431
        false > v12434
      # No comments.
      [] > i12450
        Q.jeo.opcode.ifne > @
        # No comments.
        [] > l12454
          Q.jeo.label > @
          "L1421522837" > v12455
      # No comments.
      [] > i12461
        Q.jeo.opcode.iconst_1 > @
      # No comments.
      [] > i12473
        Q.jeo.opcode.goto > @
        # No comments.
        [] > l12476
          Q.jeo.label > @
          "L384768182" > v12477
      # No comments.
      [] > l12485
        Q.jeo.label > @
        "L1421522837" > v12486
      # No comments.
      [] > f12493
        Q.jeo.frame > @
        3 > type-734628678
        # No comments.
        [] > locals-734628678
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-734628678
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i12501
        Q.jeo.opcode.iconst_0 > @
      # No comments.
      [] > l12507
        Q.jeo.label > @
        "L384768182" > v12508
      # No comments.
      [] > f12518
        Q.jeo.frame > @
        4 > type-1497419302
        # No comments.
        [] > locals-1497419302
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-1497419302
          Q.jeo.seq.of1 > @
          "integer" > x0
      # No comments.
      [] > i12644
        Q.jeo.opcode.putstatic > @
        "org/eolang/benchmark/Big" > v12648
        "$assertionsDisabled" > v12651
        "Z" > v12654
      # No comments.
      [] > i12658
        Q.jeo.opcode.iconst_0 > @
      # No comments.
      [] > i12662
        Q.jeo.opcode.ldc > @
        10000000 > v12665
      # No comments.
      [] > i12687
        Q.jeo.opcode.invokestatic > @
        "java/util/stream/IntStream" > v12696
        "range" > v12701
        "(II)Ljava/util/stream/IntStream;" > v12703
        true > v12708
      # No comments.
      [] > i12739
        Q.jeo.opcode.invokeinterface > @
        "java/util/stream/IntStream" > v12749
        "boxed" > v12752
        "()Ljava/util/stream/Stream;" > v12756
        true > v12758
      # No comments.
      [] > i12799
        Q.jeo.opcode.invokedynamic > @
        "apply" > v12814
        "()Ljava/util/function/IntFunction;" > v12816
        # No comments.
        [] > h12818
          Q.jeo.handle > @
          6 > v12819
          "java/lang/invoke/LambdaMetafactory" > v12820
          "metafactory" > v12821
          "(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;" > v12822
          false > v12823
        # No comments.
        [] > t12829
          Q.jeo.type > @
          "(I)Ljava/lang/Object;" > v12830
        # No comments.
        [] > h12834
          Q.jeo.handle > @
          6 > v12835
          "org/eolang/benchmark/Big" > v12836
          "lambda$static$0" > v12837
          "(I)[Ljava/lang/Integer;" > v12839
          false > v12840
        # No comments.
        [] > t12849
          Q.jeo.type > @
          "(I)[Ljava/lang/Integer;" > v12850
      # No comments.
      [] > i12884
        Q.jeo.opcode.invokeinterface > @
        "java/util/stream/Stream" > v12892
        "toArray" > v12895
        "(Ljava/util/function/IntFunction;)[Ljava/lang/Object;" > v12898
        true > v12903
      # No comments.
      [] > i12915
        Q.jeo.opcode.checkcast > @
        "[Ljava/lang/Integer;" > v12920
      # No comments.
      [] > i12934
        Q.jeo.opcode.putstatic > @
        "org/eolang/benchmark/Big" > v13078
        "VALUES" > v13085
        "[Ljava/lang/Integer;" > v13088
      # No comments.
      [] > i13097
        Q.jeo.opcode.return > @
    "class@clinit@" > name
  # No comments.
  [] > annotations
    Q.jeo.seq.of6 > @
    # No comments.
    [] > annotation-807556251-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FBenchmarkMode%3B
      Q.jeo.annotation > @
      "Lorg/openjdk/jmh/annotations/BenchmarkMode;" > v13158
      true > v13161
      # No comments.
      [] > a13167
        Q.jeo.annotation-property > @
        "ARRAY" > v13168
        "value" > v13169
        # No comments.
        [] > e13174
          Q.jeo.annotation-property > @
          "ENUM" > v13175
          "" > v13176
          "Lorg/openjdk/jmh/annotations/Mode;" > v13177
          "AverageTime" > v13178
    # No comments.
    [] > annotation-343057667-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FOutputTimeUnit%3B
      Q.jeo.annotation > @
      "Lorg/openjdk/jmh/annotations/OutputTimeUnit;" > v13216
      true > v13218
      # No comments.
      [] > e13223
        Q.jeo.annotation-property > @
        "ENUM" > v13224
        "value" > v13225
        "Ljava/util/concurrent/TimeUnit;" > v13226
        "MILLISECONDS" > v13227
    # No comments.
    [] > annotation-34249447-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FWarmup%3B
      Q.jeo.annotation > @
      "Lorg/openjdk/jmh/annotations/Warmup;" > v13281
      true > v13283
      # No comments.
      [] > p13287
        Q.jeo.annotation-property > @
        "PLAIN" > v13289
        "iterations" > v13290
        10 > v13296
      # No comments.
      [] > p13299
        Q.jeo.annotation-property > @
        "PLAIN" > v13300
        "time" > v13301
        100 > v13305
      # No comments.
      [] > e13307
        Q.jeo.annotation-property > @
        "ENUM" > v13308
        "timeUnit" > v13309
        "Ljava/util/concurrent/TimeUnit;" > v13310
        "MILLISECONDS" > v13312
    # No comments.
    [] > annotation-1392145542-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FMeasurement%3B
      Q.jeo.annotation > @
      "Lorg/openjdk/jmh/annotations/Measurement;" > v13357
      true > v13358
      # No comments.
      [] > p13360
        Q.jeo.annotation-property > @
        "PLAIN" > v13361
        "iterations" > v13362
        10 > v13365
      # No comments.
      [] > p13366
        Q.jeo.annotation-property > @
        "PLAIN" > v13367
        "time" > v13368
        100 > v13370
      # No comments.
      [] > e13371
        Q.jeo.annotation-property > @
        "ENUM" > v13372
        "timeUnit" > v13373
        "Ljava/util/concurrent/TimeUnit;" > v13374
        "MILLISECONDS" > v13375
    # No comments.
    [] > annotation-145407014-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FState%3B
      Q.jeo.annotation > @
      "Lorg/openjdk/jmh/annotations/State;" > v13403
      true > v13405
      # No comments.
      [] > e13409
        Q.jeo.annotation-property > @
        "ENUM" > v13410
        "value" > v13411
        "Lorg/openjdk/jmh/annotations/Scope;" > v13412
        "Benchmark" > v13413
    # No comments.
    [] > annotation-1840582681-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FFork%3B
      Q.jeo.annotation > @
      "Lorg/openjdk/jmh/annotations/Fork;" > v13538
      true > v13539
      # No comments.
      [] > p13541
        Q.jeo.annotation-property > @
        "PLAIN" > v13542
        "value" > v13543
        1 > v13545
  # No comments.
  [] > attributes
    Q.jeo.seq.of1 > @
    # No comments.
    [] > a9462
      Q.jeo.inner-class > @
      "java/lang/invoke/MethodHandles$Lookup" > name
      "java/lang/invoke/MethodHandles" > outer
      "Lookup" > inner
      25 > access
𝜑-expressions after eo:phi 0.58.0
{⟦
  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
              ⟧,
              i10314 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokedynamic,
                v10324 ↦ "apply",
                v10326 ↦ "()Ljava/util/function/Function;",
                h10327 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  v10328 ↦ 6,
                  v10329 ↦ "java/lang/invoke/LambdaMetafactory",
                  v10330 ↦ "metafactory",
                  v10331 ↦ "(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;",
                  v10332 ↦ Φ̇.false
                ⟧,
                t10339 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v10340 ↦ "(Ljava/lang/Object;)Ljava/lang/Object;"
                ⟧,
                h10343 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  v10344 ↦ 6,
                  v10346 ↦ "org/eolang/benchmark/Big",
                  v10347 ↦ "lambda$stream$1",
                  v10348 ↦ "(Ljava/lang/Integer;)Ljava/lang/Integer;",
                  v10349 ↦ Φ̇.false
                ⟧,
                t10352 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v10353 ↦ "(Ljava/lang/Integer;)Ljava/lang/Integer;"
                ⟧
              ⟧,
              i10371 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokeinterface,
                v10376 ↦ "java/util/stream/Stream",
                v10379 ↦ "map",
                v10381 ↦ "(Ljava/util/function/Function;)Ljava/util/stream/Stream;",
                v10385 ↦ Φ̇.true
              ⟧,
              i10524 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokedynamic,
                v10540 ↦ "test",
                v10541 ↦ "()Ljava/util/function/Predicate;",
                h10543 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  v10544 ↦ 6,
                  v10545 ↦ "java/lang/invoke/LambdaMetafactory",
                  v10546 ↦ "metafactory",
                  v10547 ↦ "(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;",
                  v10548 ↦ Φ̇.false
                ⟧,
                t10559 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v10560 ↦ "(Ljava/lang/Object;)Z"
                ⟧,
                h10563 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  v10564 ↦ 6,
                  v10565 ↦ "org/eolang/benchmark/Big",
                  v10566 ↦ "lambda$stream$2",
                  v10568 ↦ "(Ljava/lang/Integer;)Z",
                  v10569 ↦ Φ̇.false
                ⟧,
                t10574 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v10575 ↦ "(Ljava/lang/Integer;)Z"
                ⟧
              ⟧,
              i10589 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokeinterface,
                v10591 ↦ "java/util/stream/Stream",
                v10592 ↦ "filter",
                v10593 ↦ "(Ljava/util/function/Predicate;)Ljava/util/stream/Stream;",
                v10594 ↦ Φ̇.true
              ⟧,
              i10632 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokedynamic,
                v10638 ↦ "apply",
                v10639 ↦ "()Ljava/util/function/Function;",
                h10641 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  v10642 ↦ 6,
                  v10643 ↦ "java/lang/invoke/LambdaMetafactory",
                  v10644 ↦ "metafactory",
                  v10645 ↦ "(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;",
                  v10646 ↦ Φ̇.false
                ⟧,
                t10658 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v10659 ↦ "(Ljava/lang/Object;)Ljava/lang/Object;"
                ⟧,
                h10660 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  v10661 ↦ 6,
                  v10662 ↦ "org/eolang/benchmark/Big",
                  v10663 ↦ "lambda$stream$3",
                  v10664 ↦ "(Ljava/lang/Integer;)Ljava/lang/Integer;",
                  v10665 ↦ Φ̇.false
                ⟧,
                t10669 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v10670 ↦ "(Ljava/lang/Integer;)Ljava/lang/Integer;"
                ⟧
              ⟧,
              i10810 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokeinterface,
                v10813 ↦ "java/util/stream/Stream",
                v10815 ↦ "map",
                v10816 ↦ "(Ljava/util/function/Function;)Ljava/util/stream/Stream;",
                v10818 ↦ Φ̇.true
              ⟧,
              i10865 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokedynamic,
                v10874 ↦ "apply",
                v10875 ↦ "()Ljava/util/function/Function;",
                h10877 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  v10878 ↦ 6,
                  v10879 ↦ "java/lang/invoke/LambdaMetafactory",
                  v10880 ↦ "metafactory",
                  v10881 ↦ "(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;",
                  v10882 ↦ Φ̇.false
                ⟧,
                t10887 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v10888 ↦ "(Ljava/lang/Object;)Ljava/lang/Object;"
                ⟧,
                h10890 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  v10891 ↦ 6,
                  v10892 ↦ "org/eolang/benchmark/Big",
                  v10893 ↦ "lambda$stream$4",
                  v10894 ↦ "(Ljava/lang/Integer;)Ljava/lang/Integer;",
                  v10895 ↦ Φ̇.false
                ⟧,
                t10898 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v10899 ↦ "(Ljava/lang/Integer;)Ljava/lang/Integer;"
                ⟧
              ⟧,
              i10913 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokeinterface,
                v10915 ↦ "java/util/stream/Stream",
                v10916 ↦ "map",
                v10918 ↦ "(Ljava/util/function/Function;)Ljava/util/stream/Stream;",
                v10920 ↦ Φ̇.true
              ⟧,
              i10961 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokedynamic,
                v10968 ↦ "test",
                v10969 ↦ "()Ljava/util/function/Predicate;",
                h10971 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  v10972 ↦ 6,
                  v10973 ↦ "java/lang/invoke/LambdaMetafactory",
                  v10974 ↦ "metafactory",
                  v10975 ↦ "(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;",
                  v10976 ↦ Φ̇.false
                ⟧,
                t11108 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v11109 ↦ "(Ljava/lang/Object;)Z"
                ⟧,
                h11112 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  v11113 ↦ 6,
                  v11114 ↦ "org/eolang/benchmark/Big",
                  v11115 ↦ "lambda$stream$5",
                  v11116 ↦ "(Ljava/lang/Integer;)Z",
                  v11117 ↦ Φ̇.false
                ⟧,
                t11120 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v11121 ↦ "(Ljava/lang/Integer;)Z"
                ⟧
              ⟧,
              i11135 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokeinterface,
                v11141 ↦ "java/util/stream/Stream",
                v11142 ↦ "filter",
                v11143 ↦ "(Ljava/util/function/Predicate;)Ljava/util/stream/Stream;",
                v11145 ↦ Φ̇.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,
                v12749 ↦ "java/util/stream/IntStream",
                v12752 ↦ "boxed",
                v12756 ↦ "()Ljava/util/stream/Stream;",
                v12758 ↦ Φ̇.true
              ⟧,
              i12799 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokedynamic,
                v12814 ↦ "apply",
                v12816 ↦ "()Ljava/util/function/IntFunction;",
                h12818 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  v12819 ↦ 6,
                  v12820 ↦ "java/lang/invoke/LambdaMetafactory",
                  v12821 ↦ "metafactory",
                  v12822 ↦ "(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;",
                  v12823 ↦ Φ̇.false
                ⟧,
                t12829 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v12830 ↦ "(I)Ljava/lang/Object;"
                ⟧,
                h12834 ↦ ⟦
                  φ ↦ Φ.jeo.handle,
                  v12835 ↦ 6,
                  v12836 ↦ "org/eolang/benchmark/Big",
                  v12837 ↦ "lambda$static$0",
                  v12839 ↦ "(I)[Ljava/lang/Integer;",
                  v12840 ↦ Φ̇.false
                ⟧,
                t12849 ↦ ⟦
                  φ ↦ Φ.jeo.type,
                  v12850 ↦ "(I)[Ljava/lang/Integer;"
                ⟧
              ⟧,
              i12884 ↦ ⟦
                φ ↦ Φ.jeo.opcode.invokeinterface,
                v12892 ↦ "java/util/stream/Stream",
                v12895 ↦ "toArray",
                v12898 ↦ "(Ljava/util/function/IntFunction;)[Ljava/lang/Object;",
                v12903 ↦ Φ̇.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
            ⟧
          ⟧
        ⟧,
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧,
    λ ⤍ Package
  ⟧
⟧}
Optimized 𝜑 by phino
{⟦
  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
  ⟧
⟧}
EO Objects after eo:unphi 0.58.0
+package j$org.j$eolang.j$benchmark
# No comments.
[] > j$Big
  Q.jeo.class > @
  60 > version
  33 > access
  "java/lang/Object" > supername
  # No comments.
  [] > interfaces
    Q.jeo.seq.of0 > @
  "org/eolang/benchmark/Big" > name
  # No comments.
  [] > j$EXPECTED
    Q.jeo.field > @
    26 > access-EXPECTED
    "J" > descriptor-EXPECTED
    "" > signature-EXPECTED
    # No comments.
    [] > value-EXPECTED
      Q.jeo.long > @
      1325403 > n9483
  # No comments.
  [] > j$VALUES
    Q.jeo.field > @
    26 > access-VALUES
    "[Ljava/lang/Integer;" > descriptor-VALUES
    "" > signature-VALUES
    # No comments.
    [] > value-VALUES
      Q.jeo.nullable > @
      -- > n9489
  # No comments.
  [] > j$$assertionsDisabled
    Q.jeo.field > @
    4120 > access-$assertionsDisabled
    "Z" > descriptor-$assertionsDisabled
    "" > signature-$assertionsDisabled
    # No comments.
    [] > value-$assertionsDisabled
      Q.jeo.nullable > @
      -- > n9494
  # No comments.
  [] > j$object@init@
    Q.jeo.method > @
    1 > access
    "()V" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      1 > v9497
      1 > v9498
    # No comments.
    [] > body
      Q.jeo.seq.of3 > @
      # No comments.
      [] > i9507
        Q.jeo.opcode.aload > @
        0 > v9509
      # No comments.
      [] > i9526
        Q.jeo.opcode.invokespecial > @
        "java/lang/Object" > v9534
        "<init>" > v9537
        "()V" > v9541
        false > v9543
      # No comments.
      [] > i9547
        Q.jeo.opcode.return > @
    "object@init@" > name
  # No comments.
  [] > j$loop
    Q.jeo.method > @
    1 > access
    "()J" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      4 > v9555
      5 > v9556
    # No comments.
    [] > annotations
      Q.jeo.seq.of1 > @
      # No comments.
      [] > annotation-1639773128-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FBenchmark%3B
        Q.jeo.annotation > @
        "Lorg/openjdk/jmh/annotations/Benchmark;" > v9565
        true > v9566
    # No comments.
    [] > body
      Q.jeo.seq.of58 > @
      # No comments.
      [] > i9571
        Q.jeo.opcode.lconst_0 > @
      # No comments.
      [] > i9575
        Q.jeo.opcode.lstore > @
        1 > v9577
      # No comments.
      [] > i9581
        Q.jeo.opcode.iconst_0 > @
      # No comments.
      [] > i9588
        Q.jeo.opcode.istore > @
        3 > v9590
      # No comments.
      [] > l9594
        Q.jeo.label > @
        "L2058483833" > v9595
      # No comments.
      [] > f9604
        Q.jeo.frame > @
        1 > type-1967958247
        # No comments.
        [] > locals-1967958247
          Q.jeo.seq.of2 > @
          "long" > x0
          "integer" > x1
        # No comments.
        [] > stack-1967958247
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i9614
        Q.jeo.opcode.iload > @
        3 > v9617
      # No comments.
      [] > i9628
        Q.jeo.opcode.getstatic > @
        "org/eolang/benchmark/Big" > v9632
        "VALUES" > v9633
        "[Ljava/lang/Integer;" > v9634
      # No comments.
      [] > i9637
        Q.jeo.opcode.arraylength > @
      # No comments.
      [] > i9644
        Q.jeo.opcode.if_icmpge > @
        # No comments.
        [] > l9645
          Q.jeo.label > @
          "L1892177080" > v9646
      # No comments.
      [] > i9655
        Q.jeo.opcode.getstatic > @
        "org/eolang/benchmark/Big" > v9657
        "VALUES" > v9660
        "[Ljava/lang/Integer;" > v9662
      # No comments.
      [] > i9666
        Q.jeo.opcode.iload > @
        3 > v9668
      # No comments.
      [] > i9670
        Q.jeo.opcode.aaload > @
      # No comments.
      [] > i9680
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v9682
        "intValue" > v9683
        "()I" > v9685
        false > v9686
      # No comments.
      [] > i9689
        Q.jeo.opcode.iconst_1 > @
      # No comments.
      [] > i9693
        Q.jeo.opcode.iadd > @
      # No comments.
      [] > i9696
        Q.jeo.opcode.istore > @
        4 > v9697
      # No comments.
      [] > i9701
        Q.jeo.opcode.iload > @
        4 > v9702
      # No comments.
      [] > i9706
        Q.jeo.opcode.bipush > @
        13 > v9708
      # No comments.
      [] > i9710
        Q.jeo.opcode.irem > @
      # No comments.
      [] > i9716
        Q.jeo.opcode.ifne > @
        # No comments.
        [] > l9718
          Q.jeo.label > @
          "L1382570352" > v9720
      # No comments.
      [] > i9727
        Q.jeo.opcode.goto > @
        # No comments.
        [] > l9729
          Q.jeo.label > @
          "L1193358555" > v9730
      # No comments.
      [] > l9736
        Q.jeo.label > @
        "L1382570352" > v9737
      # No comments.
      [] > f9744
        Q.jeo.frame > @
        1 > type-850285172
        # No comments.
        [] > locals-850285172
          Q.jeo.seq.of1 > @
          "integer" > x0
        # No comments.
        [] > stack-850285172
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i9750
        Q.jeo.opcode.iload > @
        4 > v9863
      # No comments.
      [] > i9867
        Q.jeo.opcode.iload > @
        4 > v9868
      # No comments.
      [] > i9872
        Q.jeo.opcode.imul > @
      # No comments.
      [] > i9876
        Q.jeo.opcode.bipush > @
        17 > v9878
      # No comments.
      [] > i9880
        Q.jeo.opcode.idiv > @
      # No comments.
      [] > i9884
        Q.jeo.opcode.istore > @
        4 > v9886
      # No comments.
      [] > i9890
        Q.jeo.opcode.iload > @
        4 > v9891
      # No comments.
      [] > i9895
        Q.jeo.opcode.bipush > @
        7 > v9896
      # No comments.
      [] > i9900
        Q.jeo.opcode.irem > @
      # No comments.
      [] > i9907
        Q.jeo.opcode.ifne > @
        # No comments.
        [] > l9909
          Q.jeo.label > @
          "L1193358555" > v9911
      # No comments.
      [] > i9918
        Q.jeo.opcode.lload > @
        1 > v9920
      # No comments.
      [] > i9924
        Q.jeo.opcode.lconst_1 > @
      # No comments.
      [] > i9930
        Q.jeo.opcode.ladd > @
      # No comments.
      [] > i9934
        Q.jeo.opcode.lstore > @
        1 > v9936
      # No comments.
      [] > l9942
        Q.jeo.label > @
        "L1193358555" > v9943
      # No comments.
      [] > f9952
        Q.jeo.frame > @
        2 > type-866737579
        # No comments.
        [] > locals-866737579
          Q.jeo.seq.of1 > @
          # No comments.
          [] > x0
            Q.jeo.nullable > @
            -- > n9955
        # No comments.
        [] > stack-866737579
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i9962
        Q.jeo.opcode.iinc > @
        3 > v9963
        1 > v9964
      # No comments.
      [] > i9972
        Q.jeo.opcode.goto > @
        # No comments.
        [] > l9973
          Q.jeo.label > @
          "L2058483833" > v9974
      # No comments.
      [] > l9979
        Q.jeo.label > @
        "L1892177080" > v9980
      # No comments.
      [] > f9986
        Q.jeo.frame > @
        2 > type-1575864768
        # No comments.
        [] > locals-1575864768
          Q.jeo.seq.of1 > @
          # No comments.
          [] > x0
            Q.jeo.nullable > @
            -- > n9989
        # No comments.
        [] > stack-1575864768
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i9999
        Q.jeo.opcode.getstatic > @
        "org/eolang/benchmark/Big" > v10002
        "$assertionsDisabled" > v10004
        "Z" > v10006
      # No comments.
      [] > i10010
        Q.jeo.opcode.ifne > @
        # No comments.
        [] > l10011
          Q.jeo.label > @
          "L849768054" > v10012
      # No comments.
      [] > i10015
        Q.jeo.opcode.lload > @
        1 > v10016
      # No comments.
      [] > i10020
        Q.jeo.opcode.ldc > @
        # No comments.
        [] > v10021
          Q.jeo.long > @
          1325403 > n10022
      # No comments.
      [] > i10024
        Q.jeo.opcode.lcmp > @
      # No comments.
      [] > i10031
        Q.jeo.opcode.ifeq > @
        # No comments.
        [] > l10035
          Q.jeo.label > @
          "L849768054" > v10036
      # No comments.
      [] > i10045
        Q.jeo.opcode.new > @
        "java/lang/AssertionError" > v10048
      # No comments.
      [] > i10052
        Q.jeo.opcode.dup > @
      # No comments.
      [] > i10072
        Q.jeo.opcode.invokespecial > @
        "java/lang/AssertionError" > v10079
        "<init>" > v10081
        "()V" > v10083
        false > v10086
      # No comments.
      [] > i10092
        Q.jeo.opcode.athrow > @
      # No comments.
      [] > l10097
        Q.jeo.label > @
        "L849768054" > v10098
      # No comments.
      [] > f10102
        Q.jeo.frame > @
        3 > type-1307986186
        # No comments.
        [] > locals-1307986186
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-1307986186
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i10105
        Q.jeo.opcode.lload > @
        1 > v10106
      # No comments.
      [] > i10108
        Q.jeo.opcode.lreturn > @
    "loop" > name
  # No comments.
  [] > j$stream
    Q.jeo.method > @
    1 > access
    "()J" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      4 > v10230
      3 > v10231
    # No comments.
    [] > annotations
      Q.jeo.seq.of1 > @
      # No comments.
      [] > annotation-507261608-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FBenchmark%3B
        Q.jeo.annotation > @
        "Lorg/openjdk/jmh/annotations/Benchmark;" > v10234
        true > v10235
    # No comments.
    [] > body
      Q.jeo.seq.of28 > @
      # No comments.
      [] > i10242
        Q.jeo.opcode.getstatic > @
        "org/eolang/benchmark/Big" > v10243
        "VALUES" > v10244
        "[Ljava/lang/Integer;" > v10245
      # No comments.
      [] > i10251
        Q.jeo.opcode.invokestatic > @
        "java/util/stream/Stream" > v10252
        "of" > v10253
        "([Ljava/lang/Object;)Ljava/util/stream/Stream;" > v10254
        true > v10255
      # No comments.
      [] > i11157
        Q.jeo.opcode.invokeinterface > @
        "java/util/stream/Stream" > v11161
        "count" > v11164
        "()J" > v11165
        true > v11167
      # No comments.
      [] > i11172
        Q.jeo.opcode.lstore > @
        1 > v11174
      # No comments.
      [] > i11182
        Q.jeo.opcode.getstatic > @
        "org/eolang/benchmark/Big" > v11186
        "$assertionsDisabled" > v11187
        "Z" > v11188
      # No comments.
      [] > i11196
        Q.jeo.opcode.ifne > @
        # No comments.
        [] > l11198
          Q.jeo.label > @
          "L7966990" > v11199
      # No comments.
      [] > i11203
        Q.jeo.opcode.lload > @
        1 > v11205
      # No comments.
      [] > i11212
        Q.jeo.opcode.ldc > @
        # No comments.
        [] > v11214
          Q.jeo.long > @
          1325403 > n11215
      # No comments.
      [] > i11220
        Q.jeo.opcode.lcmp > @
      # No comments.
      [] > i11230
        Q.jeo.opcode.ifeq > @
        # No comments.
        [] > l11233
          Q.jeo.label > @
          "L7966990" > v11234
      # No comments.
      [] > i11237
        Q.jeo.opcode.new > @
        "java/lang/AssertionError" > v11238
      # No comments.
      [] > i11241
        Q.jeo.opcode.dup > @
      # No comments.
      [] > i11251
        Q.jeo.opcode.invokespecial > @
        "java/lang/AssertionError" > v11252
        "<init>" > v11253
        "()V" > v11254
        false > v11256
      # No comments.
      [] > i11258
        Q.jeo.opcode.athrow > @
      # No comments.
      [] > l11262
        Q.jeo.label > @
        "L7966990" > v11263
      # No comments.
      [] > f11268
        Q.jeo.frame > @
        1 > type-218865458
        # No comments.
        [] > locals-218865458
          Q.jeo.seq.of1 > @
          "long" > x0
        # No comments.
        [] > stack-218865458
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i11277
        Q.jeo.opcode.lload > @
        1 > v11279
      # No comments.
      [] > i11282
        Q.jeo.opcode.lreturn > @
    "stream" > name
  # No comments.
  [] > j$lambda$stream$5
    Q.jeo.method > @
    4106 > access
    "(Ljava/lang/Integer;)Z" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      2 > v11297
      1 > v11298
    # No comments.
    [] > params
      Q.jeo.params > @
      # No comments.
      [] > arg0
        Q.jeo.param > @
        0 > index
        0 > access
        "Ljava/lang/Integer;" > type
    # No comments.
    [] > body
      Q.jeo.seq.of13 > @
      # No comments.
      [] > i11306
        Q.jeo.opcode.aload > @
        0 > v11307
      # No comments.
      [] > i11317
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v11322
        "intValue" > v11324
        "()I" > v11325
        false > v11326
      # No comments.
      [] > i11329
        Q.jeo.opcode.bipush > @
        7 > v11472
      # No comments.
      [] > i11480
        Q.jeo.opcode.irem > @
      # No comments.
      [] > i11493
        Q.jeo.opcode.ifne > @
        # No comments.
        [] > l11497
          Q.jeo.label > @
          "L273349544" > v11498
      # No comments.
      [] > i11502
        Q.jeo.opcode.iconst_1 > @
      # No comments.
      [] > i11512
        Q.jeo.opcode.goto > @
        # No comments.
        [] > l11515
          Q.jeo.label > @
          "L1577292438" > v11516
      # No comments.
      [] > l11523
        Q.jeo.label > @
        "L273349544" > v11525
      # No comments.
      [] > f11534
        Q.jeo.frame > @
        3 > type-1958141757
        # No comments.
        [] > locals-1958141757
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-1958141757
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i11543
        Q.jeo.opcode.iconst_0 > @
      # No comments.
      [] > l11550
        Q.jeo.label > @
        "L1577292438" > v11551
      # No comments.
      [] > f11560
        Q.jeo.frame > @
        4 > type-1202105250
        # No comments.
        [] > locals-1202105250
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-1202105250
          Q.jeo.seq.of1 > @
          "integer" > x0
      # No comments.
      [] > i11764
        Q.jeo.opcode.ireturn > @
    "lambda$stream$5" > name
  # No comments.
  [] > j$lambda$stream$4
    Q.jeo.method > @
    4106 > access
    "(Ljava/lang/Integer;)Ljava/lang/Integer;" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      2 > v11773
      1 > v11774
    # No comments.
    [] > params
      Q.jeo.params > @
      # No comments.
      [] > arg0
        Q.jeo.param > @
        0 > index
        0 > access
        "Ljava/lang/Integer;" > type
    # No comments.
    [] > body
      Q.jeo.seq.of6 > @
      # No comments.
      [] > i11786
        Q.jeo.opcode.aload > @
        0 > v11788
      # No comments.
      [] > i11805
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v11808
        "intValue" > v11811
        "()I" > v11812
        false > v11815
      # No comments.
      [] > i11822
        Q.jeo.opcode.bipush > @
        17 > v11826
      # No comments.
      [] > i11832
        Q.jeo.opcode.idiv > @
      # No comments.
      [] > i11853
        Q.jeo.opcode.invokestatic > @
        "java/lang/Integer" > v11856
        "valueOf" > v11859
        "(I)Ljava/lang/Integer;" > v11862
        false > v11864
      # No comments.
      [] > i11870
        Q.jeo.opcode.areturn > @
    "lambda$stream$4" > name
  # No comments.
  [] > j$lambda$stream$3
    Q.jeo.method > @
    4106 > access
    "(Ljava/lang/Integer;)Ljava/lang/Integer;" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      2 > v11882
      1 > v11883
    # No comments.
    [] > params
      Q.jeo.params > @
      # No comments.
      [] > arg0
        Q.jeo.param > @
        0 > index
        0 > access
        "Ljava/lang/Integer;" > type
    # No comments.
    [] > body
      Q.jeo.seq.of7 > @
      # No comments.
      [] > i11895
        Q.jeo.opcode.aload > @
        0 > v11897
      # No comments.
      [] > i11909
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v11912
        "intValue" > v11914
        "()I" > v11915
        false > v11917
      # No comments.
      [] > i11922
        Q.jeo.opcode.aload > @
        0 > v11924
      # No comments.
      [] > i11945
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v11952
        "intValue" > v11953
        "()I" > v11955
        false > v11956
      # No comments.
      [] > i11960
        Q.jeo.opcode.imul > @
      # No comments.
      [] > i11973
        Q.jeo.opcode.invokestatic > @
        "java/lang/Integer" > v11977
        "valueOf" > v11980
        "(I)Ljava/lang/Integer;" > v11982
        false > v11985
      # No comments.
      [] > i11990
        Q.jeo.opcode.areturn > @
    "lambda$stream$3" > name
  # No comments.
  [] > j$lambda$stream$2
    Q.jeo.method > @
    4106 > access
    "(Ljava/lang/Integer;)Z" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      2 > v12003
      1 > v12005
    # No comments.
    [] > params
      Q.jeo.params > @
      # No comments.
      [] > arg0
        Q.jeo.param > @
        0 > index
        0 > access
        "Ljava/lang/Integer;" > type
    # No comments.
    [] > body
      Q.jeo.seq.of13 > @
      # No comments.
      [] > i12016
        Q.jeo.opcode.aload > @
        0 > v12019
      # No comments.
      [] > i12037
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v12041
        "intValue" > v12044
        "()I" > v12046
        false > v12050
      # No comments.
      [] > i12056
        Q.jeo.opcode.bipush > @
        13 > v12058
      # No comments.
      [] > i12064
        Q.jeo.opcode.irem > @
      # No comments.
      [] > i12079
        Q.jeo.opcode.ifeq > @
        # No comments.
        [] > l12080
          Q.jeo.label > @
          "L1607959294" > v12081
      # No comments.
      [] > i12170
        Q.jeo.opcode.iconst_1 > @
      # No comments.
      [] > i12179
        Q.jeo.opcode.goto > @
        # No comments.
        [] > l12184
          Q.jeo.label > @
          "L325749227" > v12185
      # No comments.
      [] > l12191
        Q.jeo.label > @
        "L1607959294" > v12192
      # No comments.
      [] > f12197
        Q.jeo.frame > @
        3 > type-946275397
        # No comments.
        [] > locals-946275397
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-946275397
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i12204
        Q.jeo.opcode.iconst_0 > @
      # No comments.
      [] > l12210
        Q.jeo.label > @
        "L325749227" > v12211
      # No comments.
      [] > f12220
        Q.jeo.frame > @
        4 > type-1774517876
        # No comments.
        [] > locals-1774517876
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-1774517876
          Q.jeo.seq.of1 > @
          "integer" > x0
      # No comments.
      [] > i12231
        Q.jeo.opcode.ireturn > @
    "lambda$stream$2" > name
  # No comments.
  [] > j$lambda$stream$1
    Q.jeo.method > @
    4106 > access
    "(Ljava/lang/Integer;)Ljava/lang/Integer;" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      2 > v12241
      1 > v12242
    # No comments.
    [] > params
      Q.jeo.params > @
      # No comments.
      [] > arg0
        Q.jeo.param > @
        0 > index
        0 > access
        "Ljava/lang/Integer;" > type
    # No comments.
    [] > body
      Q.jeo.seq.of6 > @
      # No comments.
      [] > i12251
        Q.jeo.opcode.aload > @
        0 > v12254
      # No comments.
      [] > i12269
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Integer" > v12275
        "intValue" > v12276
        "()I" > v12279
        false > v12280
      # No comments.
      [] > i12287
        Q.jeo.opcode.iconst_1 > @
      # No comments.
      [] > i12295
        Q.jeo.opcode.iadd > @
      # No comments.
      [] > i12313
        Q.jeo.opcode.invokestatic > @
        "java/lang/Integer" > v12320
        "valueOf" > v12322
        "(I)Ljava/lang/Integer;" > v12324
        false > v12327
      # No comments.
      [] > i12330
        Q.jeo.opcode.areturn > @
    "lambda$stream$1" > name
  # No comments.
  [] > j$lambda$static$0
    Q.jeo.method > @
    4106 > access
    "(I)[Ljava/lang/Integer;" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      1 > v12343
      1 > v12344
    # No comments.
    [] > params
      Q.jeo.params > @
      # No comments.
      [] > arg0
        Q.jeo.param > @
        0 > index
        0 > access
        "I" > type
    # No comments.
    [] > body
      Q.jeo.seq.of3 > @
      # No comments.
      [] > i12353
        Q.jeo.opcode.iload > @
        0 > v12355
      # No comments.
      [] > i12361
        Q.jeo.opcode.anewarray > @
        "java/lang/Integer" > v12364
      # No comments.
      [] > i12370
        Q.jeo.opcode.areturn > @
    "lambda$static$0" > name
  # No comments.
  [] > j$class@clinit@
    Q.jeo.method > @
    8 > access
    "()V" > descriptor
    "" > signature
    # No comments.
    [] > maxs
      Q.jeo.maxs > @
      2 > v12379
      0 > v12381
    # No comments.
    [] > body
      Q.jeo.seq.of20 > @
      # No comments.
      [] > i12392
        Q.jeo.opcode.ldc > @
        # No comments.
        [] > t12395
          Q.jeo.type > @
          "Lorg/eolang/benchmark/Big;" > v12396
      # No comments.
      [] > i12419
        Q.jeo.opcode.invokevirtual > @
        "java/lang/Class" > v12426
        "desiredAssertionStatus" > v12428
        "()Z" > v12431
        false > v12434
      # No comments.
      [] > i12450
        Q.jeo.opcode.ifne > @
        # No comments.
        [] > l12454
          Q.jeo.label > @
          "L1421522837" > v12455
      # No comments.
      [] > i12461
        Q.jeo.opcode.iconst_1 > @
      # No comments.
      [] > i12473
        Q.jeo.opcode.goto > @
        # No comments.
        [] > l12476
          Q.jeo.label > @
          "L384768182" > v12477
      # No comments.
      [] > l12485
        Q.jeo.label > @
        "L1421522837" > v12486
      # No comments.
      [] > f12493
        Q.jeo.frame > @
        3 > type-734628678
        # No comments.
        [] > locals-734628678
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-734628678
          Q.jeo.seq.of0 > @
      # No comments.
      [] > i12501
        Q.jeo.opcode.iconst_0 > @
      # No comments.
      [] > l12507
        Q.jeo.label > @
        "L384768182" > v12508
      # No comments.
      [] > f12518
        Q.jeo.frame > @
        4 > type-1497419302
        # No comments.
        [] > locals-1497419302
          Q.jeo.seq.of0 > @
        # No comments.
        [] > stack-1497419302
          Q.jeo.seq.of1 > @
          "integer" > x0
      # No comments.
      [] > i12644
        Q.jeo.opcode.putstatic > @
        "org/eolang/benchmark/Big" > v12648
        "$assertionsDisabled" > v12651
        "Z" > v12654
      # No comments.
      [] > i12658
        Q.jeo.opcode.iconst_0 > @
      # No comments.
      [] > i12662
        Q.jeo.opcode.ldc > @
        10000000 > v12665
      # No comments.
      [] > i12687
        Q.jeo.opcode.invokestatic > @
        "java/util/stream/IntStream" > v12696
        "range" > v12701
        "(II)Ljava/util/stream/IntStream;" > v12703
        true > v12708
      # No comments.
      [] > i12739
        Q.jeo.opcode.invokeinterface > @
        "java/util/stream/IntStream" > i1
        "boxed" > i2
        "()Ljava/util/stream/Stream;" > i3
        true > i4
      # No comments.
      [] > i12915
        Q.jeo.opcode.checkcast > @
        "[Ljava/lang/Integer;" > v12920
      # No comments.
      [] > i12934
        Q.jeo.opcode.putstatic > @
        "org/eolang/benchmark/Big" > v13078
        "VALUES" > v13085
        "[Ljava/lang/Integer;" > v13088
      # No comments.
      [] > i13097
        Q.jeo.opcode.return > @
    "class@clinit@" > name
  # No comments.
  [] > annotations
    Q.jeo.seq.of6 > @
    # No comments.
    [] > annotation-807556251-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FBenchmarkMode%3B
      Q.jeo.annotation > @
      "Lorg/openjdk/jmh/annotations/BenchmarkMode;" > v13158
      true > v13161
      # No comments.
      [] > a13167
        Q.jeo.annotation-property > @
        "ARRAY" > v13168
        "value" > v13169
        # No comments.
        [] > e13174
          Q.jeo.annotation-property > @
          "ENUM" > v13175
          "" > v13176
          "Lorg/openjdk/jmh/annotations/Mode;" > v13177
          "AverageTime" > v13178
    # No comments.
    [] > annotation-343057667-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FOutputTimeUnit%3B
      Q.jeo.annotation > @
      "Lorg/openjdk/jmh/annotations/OutputTimeUnit;" > v13216
      true > v13218
      # No comments.
      [] > e13223
        Q.jeo.annotation-property > @
        "ENUM" > v13224
        "value" > v13225
        "Ljava/util/concurrent/TimeUnit;" > v13226
        "MILLISECONDS" > v13227
    # No comments.
    [] > annotation-34249447-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FWarmup%3B
      Q.jeo.annotation > @
      "Lorg/openjdk/jmh/annotations/Warmup;" > v13281
      true > v13283
      # No comments.
      [] > p13287
        Q.jeo.annotation-property > @
        "PLAIN" > v13289
        "iterations" > v13290
        10 > v13296
      # No comments.
      [] > p13299
        Q.jeo.annotation-property > @
        "PLAIN" > v13300
        "time" > v13301
        100 > v13305
      # No comments.
      [] > e13307
        Q.jeo.annotation-property > @
        "ENUM" > v13308
        "timeUnit" > v13309
        "Ljava/util/concurrent/TimeUnit;" > v13310
        "MILLISECONDS" > v13312
    # No comments.
    [] > annotation-1392145542-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FMeasurement%3B
      Q.jeo.annotation > @
      "Lorg/openjdk/jmh/annotations/Measurement;" > v13357
      true > v13358
      # No comments.
      [] > p13360
        Q.jeo.annotation-property > @
        "PLAIN" > v13361
        "iterations" > v13362
        10 > v13365
      # No comments.
      [] > p13366
        Q.jeo.annotation-property > @
        "PLAIN" > v13367
        "time" > v13368
        100 > v13370
      # No comments.
      [] > e13371
        Q.jeo.annotation-property > @
        "ENUM" > v13372
        "timeUnit" > v13373
        "Ljava/util/concurrent/TimeUnit;" > v13374
        "MILLISECONDS" > v13375
    # No comments.
    [] > annotation-145407014-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FState%3B
      Q.jeo.annotation > @
      "Lorg/openjdk/jmh/annotations/State;" > v13403
      true > v13405
      # No comments.
      [] > e13409
        Q.jeo.annotation-property > @
        "ENUM" > v13410
        "value" > v13411
        "Lorg/openjdk/jmh/annotations/Scope;" > v13412
        "Benchmark" > v13413
    # No comments.
    [] > annotation-1840582681-Lorg%2Fopenjdk%2Fjmh%2Fannotations%2FFork%3B
      Q.jeo.annotation > @
      "Lorg/openjdk/jmh/annotations/Fork;" > v13538
      true > v13539
      # No comments.
      [] > p13541
        Q.jeo.annotation-property > @
        "PLAIN" > v13542
        "value" > v13543
        1 > v13545
  # No comments.
  [] > attributes
    Q.jeo.seq.of1 > @
    # No comments.
    [] > a9462
      Q.jeo.inner-class > @
      "java/lang/invoke/MethodHandles$Lookup" > name
      "java/lang/invoke/MethodHandles" > outer
      "Lookup" > inner
      25 > access
Bytecode after jeo:assemble 0.13.2
public class org.eolang.benchmark.Big {
  private static final long EXPECTED;

  private static final java.lang.Integer[] VALUES;

  static final boolean $assertionsDisabled;

  public org.eolang.benchmark.Big();
    Code:
       0: aload_0
       1: invokespecial #35                 // Method java/lang/Object."<init>":()V
       4: return

  public long loop();
    Code:
       0: lconst_0
       1: lstore_1
       2: iconst_0
       3: istore_3
       4: iload_3
       5: getstatic     #40                 // Field VALUES:[Ljava/lang/Integer;
       8: arraylength
       9: if_icmpge     63
      12: getstatic     #40                 // Field VALUES:[Ljava/lang/Integer;
      15: iload_3
      16: aaload
      17: invokevirtual #46                 // Method java/lang/Integer.intValue:()I
      20: iconst_1
      21: iadd
      22: istore        4
      24: iload         4
      26: bipush        13
      28: irem
      29: ifne          35
      32: goto          57
      35: iload         4
      37: iload         4
      39: imul
      40: bipush        17
      42: idiv
      43: istore        4
      45: iload         4
      47: bipush        7
      49: irem
      50: ifne          57
      53: lload_1
      54: lconst_1
      55: ladd
      56: lstore_1
      57: iinc          3, 1
      60: goto          4
      63: getstatic     #48                 // Field $assertionsDisabled:Z
      66: ifne          85
      69: lload_1
      70: ldc2_w        #26                 // long 1325403l
      73: lcmp
      74: ifeq          85
      77: new           #50                 // class java/lang/AssertionError
      80: dup
      81: invokespecial #51                 // Method java/lang/AssertionError."<init>":()V
      84: athrow
      85: lload_1
      86: lreturn

  public long stream();
    Code:
       0: getstatic     #40                 // Field VALUES:[Ljava/lang/Integer;
       3: invokestatic  #58                 // InterfaceMethod java/util/stream/Stream.of:([Ljava/lang/Object;)Ljava/util/stream/Stream;
       6: invokedynamic #77,  0             // InvokeDynamic #0:accept:()Ljava/util/function/BiConsumer;
      11: invokeinterface #81,  2           // InterfaceMethod java/util/stream/Stream.mapMulti:(Ljava/util/function/BiConsumer;)Ljava/util/stream/Stream;
      16: invokeinterface #84,  1           // InterfaceMethod java/util/stream/Stream.count:()J
      21: lstore_1
      22: getstatic     #48                 // Field $assertionsDisabled:Z
      25: ifne          44
      28: lload_1
      29: ldc2_w        #26                 // long 1325403l
      32: lcmp
      33: ifeq          44
      36: new           #50                 // class java/lang/AssertionError
      39: dup
      40: invokespecial #51                 // Method java/lang/AssertionError."<init>":()V
      43: athrow
      44: lload_1
      45: lreturn

  private static boolean lambda$stream$5(java.lang.Integer);
    Code:
       0: aload_0
       1: invokevirtual #46                 // Method java/lang/Integer.intValue:()I
       4: bipush        7
       6: irem
       7: ifne          14
      10: iconst_1
      11: goto          15
      14: iconst_0
      15: ireturn

  private static java.lang.Integer lambda$stream$4(java.lang.Integer);
    Code:
       0: aload_0
       1: invokevirtual #46                 // Method java/lang/Integer.intValue:()I
       4: bipush        17
       6: idiv
       7: invokestatic  #93                 // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
      10: areturn

  private static java.lang.Integer lambda$stream$3(java.lang.Integer);
    Code:
       0: aload_0
       1: invokevirtual #46                 // Method java/lang/Integer.intValue:()I
       4: aload_0
       5: invokevirtual #46                 // Method java/lang/Integer.intValue:()I
       8: imul
       9: invokestatic  #93                 // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
      12: areturn

  private static boolean lambda$stream$2(java.lang.Integer);
    Code:
       0: aload_0
       1: invokevirtual #46                 // Method java/lang/Integer.intValue:()I
       4: bipush        13
       6: irem
       7: ifeq          14
      10: iconst_1
      11: goto          15
      14: iconst_0
      15: ireturn

  private static java.lang.Integer lambda$stream$1(java.lang.Integer);
    Code:
       0: aload_0
       1: invokevirtual #46                 // Method java/lang/Integer.intValue:()I
       4: iconst_1
       5: iadd
       6: invokestatic  #93                 // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
       9: areturn

  private static java.lang.Integer[] lambda$static$0(int);
    Code:
       0: iload_0
       1: anewarray     #42                 // class java/lang/Integer
       4: areturn

  static {};
    Code:
       0: ldc           #2                  // class org/eolang/benchmark/Big
       2: invokevirtual #105                // Method java/lang/Class.desiredAssertionStatus:()Z
       5: ifne          12
       8: iconst_1
       9: goto          13
      12: iconst_0
      13: putstatic     #48                 // Field $assertionsDisabled:Z
      16: iconst_0
      17: ldc           #106                // int 10000000
      19: invokestatic  #112                // InterfaceMethod java/util/stream/IntStream.range:(II)Ljava/util/stream/IntStream;
      22: invokeinterface #116,  1          // InterfaceMethod java/util/stream/IntStream.boxed:()Ljava/util/stream/Stream;
      27: invokedynamic #126,  0            // InvokeDynamic #1:apply:()Ljava/util/function/IntFunction;
      32: invokeinterface #130,  2          // InterfaceMethod java/util/stream/Stream.toArray:(Ljava/util/function/IntFunction;)[Ljava/lang/Object;
      37: checkcast     #131                // class "[Ljava/lang/Integer;"
      40: putstatic     #40                 // Field VALUES:[Ljava/lang/Integer;
      43: return

  private static void distill_7908(java.lang.Integer, java.util.function.Consumer);
    Code:
       0: aload_0
       1: invokestatic  #135                // Method lambda$stream$1:(Ljava/lang/Integer;)Ljava/lang/Integer;
       4: dup
       5: invokestatic  #137                // Method lambda$stream$2:(Ljava/lang/Integer;)Z
       8: ifne          12
      11: return
      12: invokestatic  #139                // Method lambda$stream$3:(Ljava/lang/Integer;)Ljava/lang/Integer;
      15: invokestatic  #141                // Method lambda$stream$4:(Ljava/lang/Integer;)Ljava/lang/Integer;
      18: dup
      19: invokestatic  #143                // Method lambda$stream$5:(Ljava/lang/Integer;)Z
      22: ifne          26
      25: return
      26: aload_1
      27: dup_x1
      28: pop
      29: invokeinterface #148,  2          // InterfaceMethod java/util/function/Consumer.accept:(Ljava/lang/Object;)V
      34: return
}
Java after jd-cli
package org.eolang.benchmark;
import java.util.concurrent.TimeUnit;
import java.util.function.Consumer;
import java.util.stream.IntStream;
import java.util.stream.Stream;
import org.openjdk.jmh.annotations.Benchmark;
import org.openjdk.jmh.annotations.BenchmarkMode;
import org.openjdk.jmh.annotations.Fork;
import org.openjdk.jmh.annotations.Measurement;
import org.openjdk.jmh.annotations.Mode;
import org.openjdk.jmh.annotations.OutputTimeUnit;
import org.openjdk.jmh.annotations.Scope;
import org.openjdk.jmh.annotations.State;
import org.openjdk.jmh.annotations.Warmup;
@BenchmarkMode({Mode.AverageTime})
@OutputTimeUnit(TimeUnit.MILLISECONDS)
@Warmup(iterations = 10, time = 100, timeUnit = TimeUnit.MILLISECONDS)
@Measurement(iterations = 10, time = 100, timeUnit = TimeUnit.MILLISECONDS)
@State(Scope.Benchmark)
@Fork(1)
public class Big {
  private static final long EXPECTED = 1325403L;
  
  private static final Integer[] VALUES;
  
  @Benchmark
  public long loop() {
    long l = 0L;
    for (byte b = 0; b < VALUES.length; b++) {
      int i = VALUES[b].intValue() + 1;
      if (i % 13 != 0) {
        i = i * i / 17;
        if (i % 7 == 0)
          l++; 
      } 
    } 
    assert l == 1325403L;
    return l;
  }
  
  @Benchmark
  public long stream() {
    long l = Stream.<Integer>of(VALUES).mapMulti((paramInteger, paramConsumer) -> {
          if (!lambda$stream$2(lambda$stream$1(paramInteger)))
            return; 
          if (!lambda$stream$5(lambda$stream$4(lambda$stream$3(lambda$stream$1(paramInteger)))))
            return; 
          paramConsumer.accept(lambda$stream$4(lambda$stream$3(lambda$stream$1(paramInteger))));
        }).count();
    assert l == 1325403L;
    return l;
  }
  
  static {
    VALUES = IntStream.range(0, 10000000).boxed().<Integer>toArray(paramInt -> new Integer[paramInt]);
  }
}