<!DOCTYPE html>
<html lang="en">

<head>
  <meta charset="UTF-8">
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
  <title>PetraVM Opcode Benchmarks</title>
  <script src="https://cdn.plot.ly/plotly-latest.min.js"></script>
  <style>
    /* Base Styles */
    body {
      margin: 0;
      padding: 20px;
      font-family: Georgia, 'Times New Roman', Times, serif;
      background: #ffffff;
      color: #333333;
      font-size: 16px;
      max-width: 1200px;
      margin: 0 auto;
  