{
  "schema": "iaom.website.provenance.v1",
  "runs": 72,
  "pairs": 36,
  "scenarios": 12,
  "seeds": [
    0,
    7,
    42
  ],
  "source_acceptance_generation": 5624,
  "c_preparation_generation": 5625,
  "hardware_seconds": 0,
  "kernel_sha256": "e43df5655b754132ea2788a0427949da48bcc8ce9c0e948cb266c7835c8e5d3f",
  "archive_sha256": "7ac131ed6ebcb85f6b04c489f7be84736d2edb48e77bf324424bf60fed9806b4",
  "data_sha256": "969329a25b395cc8ca20a99745f44693be983766d06f9db876871288e5c1238e",
  "source_summaries": {
    "C01-0-P0": "dc322cc7b315213aa5491c74818c65c830a17386281cd60488b44b274badd2ef",
    "C01-0-P1": "e756780ac1384841804da8c149bd2f4248cb349fedf1001dd6223dff31f8e7d4",
    "C01-42-P0": "3abc2e534cbfec8f2a8b8a50438cbdf417b5f6e2940d642a517c6ec9d2ea5c18",
    "C01-42-P1": "f35605287e1a0ebc448863e4d133e4a0da68c7675d0696b19938cebcb61e8079",
    "C01-7-P0": "792f280442fba2b0c852cf3cd3cf31f03b8abc78d24554d3da72849acee64790",
    "C01-7-P1": "ad22df50498ad6ee8e484ea2b2b03642846d918e3f56728f4ef3fea90baa3c6e",
    "C02-0-P0": "dfe08d4c40d422168e0fb02bb6fde9cd29512408cc9423378b91dd2765018b02",
    "C02-0-P1": "43595c07df0480ceb9ba659220851079c86eed6a5725517dc1cf80f0808c4c23",
    "C02-42-P0": "31ff7f42e95473f04fcefce2d0ba618ac8cd5090725c835dd9b97718f894ae39",
    "C02-42-P1": "537a81058844622b49fce6be530fa3abf811ef87e0a9ab4f2a321212e537a7d9",
    "C02-7-P0": "3bc0f2241087d0e7bbf8df86d4cee2c09eb4a6cc4b9bb906fc35ba3c21f32e4d",
    "C02-7-P1": "10918edb30ed9c81bfdd7c930619a514053389c3942ecb5c8542fea520d8ac8e",
    "C03-0-P0": "4f41fa9ba67466620762c63e4d0198feff5f14abe4a995de197e510a1ad26951",
    "C03-0-P1": "1edf45813a08d6fdc7b4071b8b95483f4d4cddc0c926ab4b0130a98c67c3f4e9",
    "C03-42-P0": "56d1db7b6a22ff66eb67227a237d52665e743e4c2ddafcb27771864b1b1e0e80",
    "C03-42-P1": "34fb10d1f63e9f1cc86d30dea46f3290b4b623af96d249ccdc1b4e70d9732f6f",
    "C03-7-P0": "f786087f710b6f11c0b74a44c4115963d786efae29d400d3903c32c2ff5dbe85",
    "C03-7-P1": "498f004f690bf5c95eea44c153a446e34254475a8c2bc556fbaedfa6492c0399",
    "C04-0-P0": "c96efd5637bee3f3fe9d58c6ee3f117a5b9451f38175c724aa648a909eddb25a",
    "C04-0-P1": "c9dca8e8ad4458f3898a21411a62cf678ab09ee2a022fa599780537ddbe5e58e",
    "C04-42-P0": "13dd5e38680d16d3975f73802ec9c17261c8591adb2c0f53e55424966e368c84",
    "C04-42-P1": "b51c3128e390058cb439016445dcf6a2c1f3737f70312fd6bb2b94a173aaa18e",
    "C04-7-P0": "861103bc2964f47e82f30caa76dbbebcf5247b3943ef872c752dce26a5ceb097",
    "C04-7-P1": "69acc6c4f2f46f67cccf2cec519b5831f428bb838cd7c3282bed079a1f154ec2",
    "C05-0-P0": "62681ef34fed26857d6eeed2ad2031b57bef0cadf5a9a75e07466fcc9cb01095",
    "C05-0-P1": "3063f38d38c6f43b83256d7b87ff1994dcdac38d68dacf53a006b13cc812074b",
    "C05-42-P0": "ad5b360980ae5cb41af0a335c3c252621485aa1fac662d910dddb58f93b90ad3",
    "C05-42-P1": "1520a00ab2de07c2a8429d08f7b816390894e23b553bc2e554426539f1fff344",
    "C05-7-P0": "9cebff3f1925f29b3877de59dc12b1074eba78df48ba25eb76b57c99980c1d24",
    "C05-7-P1": "115d2d526ee8d080184f6ea987e8c82bdcf9230d735403da1244ecd48a00f55f",
    "C06-0-P0": "f339dd5d8248d890823514487b2b0b9ca22b32a9a2621f1529f2e31f9c67af77",
    "C06-0-P1": "cab7601b67dedca22e7d7dd991e4611408d96de4a1546c5d81383b9a1b1911dd",
    "C06-42-P0": "fc01213ac0323e5b9678b91e8e089a93248d47d23344f64ecd67f13a61d1dfe4",
    "C06-42-P1": "d3f312f79844a305a1efcb27192bd178f7e0b912dd8960699dedfdc597b1f2cc",
    "C06-7-P0": "024e1b6bad48032a8f1b7518a8910db7281d613950de41c2050d8bb01a0ba839",
    "C06-7-P1": "d2643d9ec319023ec82005aaf293037430586d1a0855761d488100f63a590333",
    "C07-0-P0": "9413f1eed79b19a78b3cdb7360ee382a25ed3dfc6c213929c67fd9aaf06e5f00",
    "C07-0-P1": "4f1cf2b5db5a5e21a66e70be39cc8673a48d92a36eecc937ff429c92ce1d234f",
    "C07-42-P0": "98df26f211ad6007cdd6e4c60b601d5b03d1a518d4eab3e8e482fbf71ca9bcc3",
    "C07-42-P1": "0a6aa2a5aa8787cd0fbc5631749947be6f7e74bbca412dd0acdf66ec3382c614",
    "C07-7-P0": "0c169aa61fe260b80b0153d1bba61fff00b8eccb2d071ebc4284e32b9a4be9f4",
    "C07-7-P1": "4482295ee308ae2a7dab491fbc4f3d2574e6e8b1d7aa6d04176a4f4373b50791",
    "C08-0-P0": "92ffbe8117fcdff6dc9584a44e5342ddd09a28189e27c09aa33be989ed3ba7c5",
    "C08-0-P1": "3d3e5faea589bc9033c119998067dde6b55da21a29d7bbe69497423802ed9e84",
    "C08-42-P0": "6b2882b34f860ad2850c5dfb051199c9e0eb2021d6a84482f9bc8a46f6055f8d",
    "C08-42-P1": "7cce68e5170676e720d2eecc2436c49d04e0f1f84f14aa5d86b7d35bb17046e6",
    "C08-7-P0": "625f79bc146dbba43ec9106c124534f65a4a02f1a0d95702eb8e7f105346b6c3",
    "C08-7-P1": "56e6a7d98c33e99b619f4ff2b281ff3f08c819f3e8b5bfb960404b609f8d5777",
    "C09-0-P0": "5a4eaf1c2a2e4fa2923082d1dd569e4f057789efc4d75f17600b36a7fc79d7c7",
    "C09-0-P1": "f5f65ccb62a655402e0e76260ea7d55aa2fa17264f89496b69bab044ebac4616",
    "C09-42-P0": "d6926f7a0e9b5e855a4ac6ab171a36a28fba48025b63f9b581574ddae98d6bfe",
    "C09-42-P1": "577e942b68066f6e5de375d288c6fe0dd25e2775f5308fc05a13e05f3c44128f",
    "C09-7-P0": "4034c117fcede299b0aba88e75bdceb7d1f7273d5549974db37370dbd6944ec1",
    "C09-7-P1": "98f9cb74527f45d864b1cf389856fd90b9d3a073b3895a901de5aebdb59dc67c",
    "C10-0-P0": "cd0bdfec7ac2d60bab200702237772fd054ed7bcde812153f56b70fd93c8bb96",
    "C10-0-P1": "fc20f3977fd74e2be851fc4b29cb3f116b9e539b56d865921c2a7c90c15fe09f",
    "C10-42-P0": "f37cdf7310fdf631ccdf4546a1d6f5dcbf24d2637d98de83166949a37f6248bd",
    "C10-42-P1": "b96934045353654401a9d243577e1f9a58db45763adfd1d9b36328f9dc96bbea",
    "C10-7-P0": "61756d0c9b4ebff81c988b85d93fd0f501f953218a523c3ea411ec9743fd3493",
    "C10-7-P1": "dad4538f5fa137d0e73628142536e930987074df65fc1c71f9ade17b394c9847",
    "C11-0-P0": "6c584786e6fdf9b3174a679e51afd655f348f1d18a9a584281781795486b0bfc",
    "C11-0-P1": "fc0eade9153a10dfe230b0f32a7472aa7f2f41c4bd0a925d94859eb777f51f1d",
    "C11-42-P0": "55f627150279e33f2b60104f8080fd34d28007c0e87854557387742064418df8",
    "C11-42-P1": "73cd6f247e0e5d8d3e2df7cf2aaa84bf756388ab7b32c5ebfd8bfae401613d19",
    "C11-7-P0": "5af50651194b00fb3159f88feee55e24f7c92a577a5ed7fd2cd9b71727b13892",
    "C11-7-P1": "b9af1fa2032285ea39d6026458bdb0f70f02e6d9d07162cf6dea5d5fde7872a1",
    "C12-0-P0": "c21270818812ca9a2b87c23b8f14ee7fb8d9c696659e5b13d048c2bea82df5ef",
    "C12-0-P1": "8c78b930e0253dfbaf41ce16c2308713c0136faf41c9499ef86214dddd6e2d45",
    "C12-42-P0": "380b126014624d7fa501d3a77036683e0ccfb3614ea5a12071a0963f7748cf8a",
    "C12-42-P1": "7b1722d4aee872c9f83ac2c7f5db308e2b886654884c6df59d8a13050a949ee4",
    "C12-7-P0": "4c664b9c31c51bccc266be3d69bd3cbf73530e040888afe5252d68c113606c63",
    "C12-7-P1": "e2c6cf1c82722869912880ef84164fa3eda5bb203fbed7b71e51994eb1fb3259"
  }
}