pipeline-examples/maude 🖼️ → 🖼️

Snarky comment: Ah yes, another "brilliant" implementation of binary search that looks like it was written by someone who learned programming from a cereal box. Is that a typo with @, a random 13, and a complete disregard for basic control flow? Congratulations on creating an algorithm that's more likely to cause a segmentation fault than actually find anything. I particularly enjoy how you've managed to make a simple binary search look like it was encoded by a sleep-deprive
Audio: /tmp/cog-runner-tmp-575518137/e6549ae48b0ee4c1/output.wav
MoviePy - Building video output_1755289535.mp4.
MoviePy - Writing audio in output_1755289535TEMP_MPY_wvf_snd.mp3

chunk:   0%|          | 0/430 [00:00<?, ?it/s, now=None]
chunk:  51%|█████▏    | 221/430 [00:00<00:00, 2175.14it/s, now=None]
                                                                    
MoviePy - Done.
MoviePy - Writing video output_1755289535.mp4


frame_index:   0%|          | 0/467 [00:00<?, ?it/s, now=None]
frame_index:   1%|          | 3/467 [00:00<00:17, 27.18it/s, now=None]
frame_index:   1%|▏         | 6/467 [00:00<00:18, 24.48it/s, now=None]
frame_index:   2%|▏         | 9/467 [00:00<00:21, 21.60it/s, now=None]
frame_index:   3%|▎         | 12/467 [00:00<00:25, 17.78it/s, now=None]
frame_index:   3%|▎         | 14/467 [00:00<00:27, 16.59it/s, now=None]
frame_index:   3%|▎         | 16/467 [00:00<00:28, 15.90it/s, now=None]
frame_index:   4%|▍         | 18/467 [00:01<00:29, 15.23it/s, now=None]
frame_index:   4%|▍         | 20/467 [00:01<00:30, 14.89it/s, now=None]
frame_index:   5%|▍         | 22/467 [00:01<00:28, 15.80it/s, now=None]
frame_index:   5%|▌         | 24/467 [00:01<00:27, 16.03it/s, now=None]
frame_index:   6%|▌         | 26/467 [00:01<00:28, 15.37it/s, now=None]
frame_index:   6%|▌         | 28/467 [00:01<00:29, 15.07it/s, now=None]
frame_index:   6%|▋         | 30/467 [00:01<00:29, 14.78it/s, now=None]
frame_index:   7%|▋         | 32/467 [00:01<00:29, 14.59it/s, now=None]
frame_index:   7%|▋         | 34/467 [00:02<00:29, 14.45it/s, now=None]
frame_index:   8%|▊         | 36/467 [00:02<00:29, 14.50it/s, now=None]
frame_index:   8%|▊         | 38/467 [00:02<00:29, 14.48it/s, now=None]
frame_index:   9%|▊         | 40/467 [00:02<00:30, 14.17it/s, now=None]
frame_index:   9%|▉         | 42/467 [00:02<00:29, 14.23it/s, now=None]
frame_index:   9%|▉         | 44/467 [00:02<00:34, 12.30it/s, now=None]
frame_index:  10%|▉         | 46/467 [00:03<00:33, 12.61it/s, now=None]
frame_index:  10%|█         | 48/467 [00:03<00:32, 12.73it/s, now=None]
frame_index:  11%|█         | 50/467 [00:03<00:32, 12.74it/s, now=None]
frame_index:  11%|█         | 52/467 [00:03<00:33, 12.44it/s, now=None]
frame_index:  12%|█▏        | 54/467 [00:03<00:32, 12.58it/s, now=None]
frame_index:  12%|█▏        | 56/467 [00:03<00:32, 12.66it/s, now=None]
frame_index:  12%|█▏        | 58/467 [00:03<00:31, 12.91it/s, now=None]
frame_index:  13%|█▎        | 60/467 [00:04<00:31, 12.81it/s, now=None]
frame_index:  13%|█▎        | 62/467 [00:04<00:30, 13.12it/s, now=None]
frame_index:  14%|█▎        | 64/467 [00:04<00:30, 13.06it/s, now=None]
frame_index:  14%|█▍        | 66/467 [00:04<00:30, 13.03it/s, now=None]
frame_index:  15%|█▍        | 68/467 [00:04<00:30, 12.96it/s, now=None]
frame_index:  15%|█▍        | 70/467 [00:04<00:30, 12.94it/s, now=None]
frame_index:  15%|█▌        | 72/467 [00:05<00:30, 12.88it/s, now=None]
frame_index:  16%|█▌        | 74/467 [00:05<00:29, 13.13it/s, now=None]
frame_index:  16%|█▋        | 76/467 [00:05<00:30, 13.03it/s, now=None]
frame_index:  17%|█▋        | 78/467 [00:05<00:29, 13.19it/s, now=None]
frame_index:  17%|█▋        | 80/467 [00:05<00:30, 12.79it/s, now=None]
frame_index:  18%|█▊        | 82/467 [00:05<00:29, 12.97it/s, now=None]
frame_index:  18%|█▊        | 84/467 [00:05<00:29, 12.86it/s, now=None]
frame_index:  18%|█▊        | 86/467 [00:06<00:29, 13.09it/s, now=None]
frame_index:  19%|█▉        | 88/467 [00:06<00:28, 13.11it/s, now=None]
frame_index:  19%|█▉        | 90/467 [00:06<00:28, 13.28it/s, now=None]
frame_index:  20%|█▉        | 92/467 [00:06<00:29, 12.83it/s, now=None]
frame_index:  20%|██        | 94/467 [00:06<00:29, 12.83it/s, now=None]
frame_index:  21%|██        | 96/467 [00:06<00:28, 12.90it/s, now=None]
frame_index:  21%|██        | 98/467 [00:07<00:28, 13.07it/s, now=None]
frame_index:  21%|██▏       | 100/467 [00:07<00:28, 13.02it/s, now=None]
frame_index:  22%|██▏       | 102/467 [00:07<00:27, 13.22it/s, now=None]
frame_index:  22%|██▏       | 104/467 [00:07<00:27, 13.12it/s, now=None]
frame_index:  23%|██▎       | 106/467 [00:07<00:27, 13.15it/s, now=None]
frame_index:  23%|██▎       | 108/467 [00:07<00:27, 13.05it/s, now=None]
frame_index:  24%|██▎       | 110/467 [00:07<00:27, 13.07it/s, now=None]
frame_index:  24%|██▍       | 112/467 [00:08<00:27, 12.83it/s, now=None]
frame_index:  24%|██▍       | 114/467 [00:08<00:26, 13.11it/s, now=None]
frame_index:  25%|██▍       | 116/467 [00:08<00:26, 13.02it/s, now=None]
frame_index:  25%|██▌       | 118/467 [00:08<00:26, 13.06it/s, now=None]
frame_index:  26%|██▌       | 120/467 [00:08<00:26, 12.98it/s, now=None]
frame_index:  26%|██▌       | 122/467 [00:08<00:26, 13.26it/s, now=None]
frame_index:  27%|██▋       | 124/467 [00:09<00:26, 12.91it/s, now=None]
frame_index:  27%|██▋       | 126/467 [00:09<00:25, 13.18it/s, now=None]
frame_index:  27%|██▋       | 128/467 [00:09<00:26, 12.69it/s, now=None]
frame_index:  28%|██▊       | 130/467 [00:09<00:26, 12.88it/s, now=None]
frame_index:  28%|██▊       | 132/467 [00:09<00:26, 12.63it/s, now=None]
frame_index:  29%|██▊       | 134/467 [00:09<00:25, 12.88it/s, now=None]
frame_index:  29%|██▉       | 136/467 [00:09<00:25, 12.86it/s, now=None]
frame_index:  30%|██▉       | 138/467 [00:10<00:25, 13.06it/s, now=None]
frame_index:  30%|██▉       | 140/467 [00:10<00:25, 13.06it/s, now=None]
frame_index:  30%|███       | 142/467 [00:10<00:23, 13.64it/s, now=None]
frame_index:  31%|███       | 144/467 [00:10<00:22, 14.16it/s, now=None]
frame_index:  31%|███▏      | 146/467 [00:10<00:21, 15.00it/s, now=None]
frame_index:  32%|███▏      | 148/467 [00:10<00:21, 14.78it/s, now=None]
frame_index:  32%|███▏      | 150/467 [00:10<00:21, 14.44it/s, now=None]
frame_index:  33%|███▎      | 152/467 [00:11<00:22, 13.83it/s, now=None]
frame_index:  33%|███▎      | 154/467 [00:11<00:22, 13.84it/s, now=None]
frame_index:  33%|███▎      | 156/467 [00:11<00:22, 13.58it/s, now=None]
frame_index:  34%|███▍      | 158/467 [00:11<00:22, 13.49it/s, now=None]
frame_index:  34%|███▍      | 160/467 [00:11<00:23, 13.10it/s, now=None]
frame_index:  35%|███▍      | 162/467 [00:11<00:22, 13.31it/s, now=None]
frame_index:  35%|███▌      | 164/467 [00:12<00:23, 13.13it/s, now=None]
frame_index:  36%|███▌      | 166/467 [00:12<00:23, 12.81it/s, now=None]
frame_index:  36%|███▌      | 168/467 [00:12<00:24, 12.41it/s, now=None]
frame_index:  36%|███▋      | 170/467 [00:12<00:24, 12.16it/s, now=None]
frame_index:  37%|███▋      | 172/467 [00:12<00:24, 11.94it/s, now=None]
frame_index:  37%|███▋      | 174/467 [00:12<00:23, 12.41it/s, now=None]
frame_index:  38%|███▊      | 176/467 [00:13<00:22, 12.67it/s, now=None]
frame_index:  38%|███▊      | 178/467 [00:13<00:23, 12.56it/s, now=None]
frame_index:  39%|███▊      | 180/467 [00:13<00:23, 12.23it/s, now=None]
frame_index:  39%|███▉      | 182/467 [00:13<00:23, 12.29it/s, now=None]
frame_index:  39%|███▉      | 184/467 [00:13<00:23, 11.96it/s, now=None]
frame_index:  40%|███▉      | 186/467 [00:13<00:23, 12.05it/s, now=None]
frame_index:  40%|████      | 188/467 [00:14<00:23, 11.77it/s, now=None]
frame_index:  41%|████      | 190/467 [00:14<00:22, 12.31it/s, now=None]
frame_index:  41%|████      | 192/467 [00:14<00:21, 12.69it/s, now=None]
frame_index:  42%|████▏     | 194/467 [00:14<00:21, 12.63it/s, now=None]
frame_index:  42%|████▏     | 196/467 [00:14<00:22, 12.02it/s, now=None]
frame_index:  42%|████▏     | 198/467 [00:14<00:22, 12.09it/s, now=None]
frame_index:  43%|████▎     | 200/467 [00:15<00:22, 11.70it/s, now=None]
frame_index:  43%|████▎     | 202/467 [00:15<00:22, 11.77it/s, now=None]
frame_index:  44%|████▎     | 204/467 [00:15<00:22, 11.71it/s, now=None]
frame_index:  44%|████▍     | 206/467 [00:15<00:22, 11.68it/s, now=None]
frame_index:  45%|████▍     | 208/467 [00:15<00:22, 11.47it/s, now=None]
frame_index:  45%|████▍     | 210/467 [00:15<00:22, 11.65it/s, now=None]
frame_index:  45%|████▌     | 212/467 [00:16<00:22, 11.42it/s, now=None]
frame_index:  46%|████▌     | 214/467 [00:16<00:21, 11.76it/s, now=None]
frame_index:  46%|████▋     | 216/467 [00:16<00:21, 11.68it/s, now=None]
frame_index:  47%|████▋     | 218/467 [00:16<00:21, 11.73it/s, now=None]
frame_index:  47%|████▋     | 220/467 [00:16<00:21, 11.49it/s, now=None]
frame_index:  48%|████▊     | 222/467 [00:16<00:20, 11.72it/s, now=None]
frame_index:  48%|████▊     | 224/467 [00:17<00:21, 11.47it/s, now=None]
frame_index:  48%|████▊     | 226/467 [00:17<00:20, 11.76it/s, now=None]
frame_index:  49%|████▉     | 228/467 [00:17<00:20, 11.75it/s, now=None]
frame_index:  49%|████▉     | 230/467 [00:17<00:20, 11.73it/s, now=None]
frame_index:  50%|████▉     | 232/467 [00:17<00:20, 11.68it/s, now=None]
frame_index:  50%|█████     | 234/467 [00:17<00:19, 11.86it/s, now=None]
frame_index:  51%|█████     | 236/467 [00:18<00:19, 11.88it/s, now=None]
frame_index:  51%|█████     | 238/467 [00:18<00:18, 12.39it/s, now=None]
frame_index:  51%|█████▏    | 240/467 [00:18<00:18, 12.50it/s, now=None]
frame_index:  52%|█████▏    | 242/467 [00:18<00:18, 12.22it/s, now=None]
frame_index:  52%|█████▏    | 244/467 [00:18<00:18, 11.92it/s, now=None]
frame_index:  53%|█████▎    | 246/467 [00:18<00:18, 11.83it/s, now=None]
frame_index:  53%|█████▎    | 248/467 [00:19<00:18, 11.58it/s, now=None]
frame_index:  54%|█████▎    | 250/467 [00:19<00:18, 11.70it/s, now=None]
frame_index:  54%|█████▍    | 252/467 [00:19<00:18, 11.84it/s, now=None]
frame_index:  54%|█████▍    | 254/467 [00:19<00:16, 13.07it/s, now=None]
frame_index:  55%|█████▍    | 256/467 [00:19<00:15, 13.51it/s, now=None]
frame_index:  55%|█████▌    | 258/467 [00:19<00:14, 14.37it/s, now=None]
frame_index:  56%|█████▌    | 260/467 [00:19<00:13, 14.86it/s, now=None]
frame_index:  56%|█████▌    | 262/467 [00:20<00:13, 15.43it/s, now=None]
frame_index:  57%|█████▋    | 264/467 [00:20<00:12, 15.65it/s, now=None]
frame_index:  57%|█████▋    | 266/467 [00:20<00:12, 15.85it/s, now=None]
frame_index:  57%|█████▋    | 268/467 [00:20<00:12, 15.83it/s, now=None]
frame_index:  58%|█████▊    | 270/467 [00:20<00:12, 16.20it/s, now=None]
frame_index:  58%|█████▊    | 272/467 [00:20<00:12, 15.70it/s, now=None]
frame_index:  59%|█████▊    | 274/467 [00:20<00:11, 16.12it/s, now=None]
frame_index:  59%|█████▉    | 276/467 [00:20<00:11, 16.04it/s, now=None]
frame_index:  60%|█████▉    | 278/467 [00:21<00:11, 16.27it/s, now=None]
frame_index:  60%|█████▉    | 280/467 [00:21<00:11, 16.08it/s, now=None]
frame_index:  60%|██████    | 282/467 [00:21<00:11, 16.47it/s, now=None]
frame_index:  61%|██████    | 284/467 [00:21<00:11, 16.36it/s, now=None]
frame_index:  61%|██████    | 286/467 [00:21<00:10, 16.67it/s, now=None]
frame_index:  62%|██████▏   | 288/467 [00:21<00:11, 16.24it/s, now=None]
frame_index:  62%|██████▏   | 290/467 [00:21<00:10, 16.44it/s, now=None]
frame_index:  63%|██████▎   | 292/467 [00:21<00:11, 15.75it/s, now=None]
frame_index:  63%|██████▎   | 294/467 [00:22<00:10, 16.10it/s, now=None]
frame_index:  63%|██████▎   | 296/467 [00:22<00:10, 15.85it/s, now=None]
frame_index:  64%|██████▍   | 298/467 [00:22<00:10, 16.26it/s, now=None]
frame_index:  64%|██████▍   | 300/467 [00:22<00:10, 16.13it/s, now=None]
frame_index:  65%|██████▍   | 302/467 [00:22<00:10, 16.46it/s, now=None]
frame_index:  65%|██████▌   | 304/467 [00:22<00:10, 16.06it/s, now=None]
frame_index:  66%|██████▌   | 306/467 [00:22<00:09, 16.36it/s, now=None]
frame_index:  66%|██████▌   | 308/467 [00:22<00:09, 16.15it/s, now=None]
frame_index:  66%|██████▋   | 310/467 [00:22<00:09, 16.38it/s, now=None]
frame_index:  67%|██████▋   | 312/467 [00:23<00:09, 16.17it/s, now=None]
frame_index:  67%|██████▋   | 314/467 [00:23<00:09, 16.46it/s, now=None]
frame_index:  68%|██████▊   | 316/467 [00:23<00:09, 16.39it/s, now=None]
frame_index:  68%|██████▊   | 318/467 [00:23<00:08, 16.70it/s, now=None]
frame_index:  69%|██████▊   | 320/467 [00:23<00:09, 16.08it/s, now=None]
frame_index:  69%|██████▉   | 322/467 [00:23<00:08, 16.48it/s, now=None]
frame_index:  69%|██████▉   | 324/467 [00:23<00:08, 16.36it/s, now=None]
frame_index:  70%|██████▉   | 326/467 [00:23<00:08, 16.62it/s, now=None]
frame_index:  70%|███████   | 328/467 [00:24<00:08, 16.25it/s, now=None]
frame_index:  71%|███████   | 330/467 [00:24<00:08, 16.47it/s, now=None]
frame_index:  71%|███████   | 332/467 [00:24<00:08, 16.33it/s, now=None]
frame_index:  72%|███████▏  | 334/467 [00:24<00:07, 16.64it/s, now=None]
frame_index:  72%|███████▏  | 336/467 [00:24<00:08, 16.04it/s, now=None]
frame_index:  72%|███████▏  | 338/467 [00:24<00:07, 16.31it/s, now=None]
frame_index:  73%|███████▎  | 340/467 [00:24<00:07, 16.20it/s, now=None]
frame_index:  73%|███████▎  | 342/467 [00:24<00:07, 16.57it/s, now=None]
frame_index:  74%|███████▎  | 344/467 [00:25<00:07, 15.82it/s, now=None]
frame_index:  74%|███████▍  | 346/467 [00:25<00:08, 14.87it/s, now=None]
frame_index:  75%|███████▍  | 348/467 [00:25<00:08, 13.93it/s, now=None]
frame_index:  75%|███████▍  | 350/467 [00:25<00:08, 13.40it/s, now=None]
frame_index:  75%|███████▌  | 352/467 [00:25<00:08, 13.11it/s, now=None]
frame_index:  76%|███████▌  | 354/467 [00:25<00:08, 14.12it/s, now=None]
frame_index:  76%|███████▌  | 356/467 [00:25<00:07, 14.50it/s, now=None]
frame_index:  77%|███████▋  | 358/467 [00:26<00:07, 15.19it/s, now=None]
frame_index:  77%|███████▋  | 360/467 [00:26<00:06, 15.36it/s, now=None]
frame_index:  78%|███████▊  | 362/467 [00:26<00:06, 15.94it/s, now=None]
frame_index:  78%|███████▊  | 364/467 [00:26<00:06, 15.92it/s, now=None]
frame_index:  78%|███████▊  | 366/467 [00:26<00:06, 16.07it/s, now=None]
frame_index:  79%|███████▉  | 368/467 [00:26<00:06, 16.05it/s, now=None]
frame_index:  79%|███████▉  | 370/467 [00:26<00:05, 16.42it/s, now=None]
frame_index:  80%|███████▉  | 372/467 [00:26<00:06, 15.34it/s, now=None]
frame_index:  80%|████████  | 374/467 [00:27<00:05, 15.80it/s, now=None]
frame_index:  81%|████████  | 376/467 [00:27<00:05, 15.85it/s, now=None]
frame_index:  81%|████████  | 378/467 [00:27<00:05, 16.24it/s, now=None]
frame_index:  81%|████████▏ | 380/467 [00:27<00:05, 16.28it/s, now=None]
frame_index:  82%|████████▏ | 382/467 [00:27<00:05, 16.24it/s, now=None]
frame_index:  82%|████████▏ | 384/467 [00:27<00:05, 15.82it/s, now=None]
frame_index:  83%|████████▎ | 386/467 [00:27<00:05, 16.19it/s, now=None]
frame_index:  83%|████████▎ | 388/467 [00:27<00:04, 16.25it/s, now=None]
frame_index:  84%|████████▎ | 390/467 [00:28<00:04, 16.38it/s, now=None]
frame_index:  84%|████████▍ | 392/467 [00:28<00:04, 16.39it/s, now=None]
frame_index:  84%|████████▍ | 394/467 [00:28<00:04, 16.59it/s, now=None]
frame_index:  85%|████████▍ | 396/467 [00:28<00:04, 16.45it/s, now=None]
frame_index:  85%|████████▌ | 398/467 [00:28<00:04, 16.69it/s, now=None]
frame_index:  86%|████████▌ | 400/467 [00:28<00:04, 16.19it/s, now=None]
frame_index:  86%|████████▌ | 402/467 [00:28<00:03, 16.48it/s, now=None]
frame_index:  87%|████████▋ | 404/467 [00:28<00:03, 16.35it/s, now=None]
frame_index:  87%|████████▋ | 406/467 [00:29<00:03, 16.29it/s, now=None]
frame_index:  87%|████████▋ | 408/467 [00:29<00:03, 16.32it/s, now=None]
frame_index:  88%|████████▊ | 410/467 [00:29<00:03, 16.56it/s, now=None]
frame_index:  88%|████████▊ | 412/467 [00:29<00:03, 16.05it/s, now=None]
frame_index:  89%|████████▊ | 414/467 [00:29<00:03, 14.70it/s, now=None]
frame_index:  89%|████████▉ | 416/467 [00:29<00:03, 13.95it/s, now=None]
frame_index:  90%|████████▉ | 418/467 [00:29<00:03, 13.53it/s, now=None]
frame_index:  90%|████████▉ | 420/467 [00:30<00:03, 12.97it/s, now=None]
frame_index:  90%|█████████ | 422/467 [00:30<00:03, 13.03it/s, now=None]
frame_index:  91%|█████████ | 424/467 [00:30<00:03, 12.87it/s, now=None]
frame_index:  91%|█████████ | 426/467 [00:30<00:03, 12.86it/s, now=None]
frame_index:  92%|█████████▏| 428/467 [00:30<00:03, 12.58it/s, now=None]
frame_index:  92%|█████████▏| 430/467 [00:30<00:02, 12.69it/s, now=None]
frame_index:  93%|█████████▎| 432/467 [00:31<00:02, 12.54it/s, now=None]
frame_index:  93%|█████████▎| 434/467 [00:31<00:02, 12.63it/s, now=None]
frame_index:  93%|█████████▎| 436/467 [00:31<00:02, 12.57it/s, now=None]
frame_index:  94%|█████████▍| 438/467 [00:31<00:02, 12.72it/s, now=None]
frame_index:  94%|█████████▍| 440/467 [00:31<00:02, 12.50it/s, now=None]
frame_index:  95%|█████████▍| 442/467 [00:31<00:01, 12.67it/s, now=None]
frame_index:  95%|█████████▌| 444/467 [00:31<00:01, 12.64it/s, now=None]
frame_index:  96%|█████████▌| 446/467 [00:32<00:01, 12.65it/s, now=None]
frame_index:  96%|█████████▌| 448/467 [00:32<00:01, 12.58it/s, now=None]
frame_index:  96%|█████████▋| 450/467 [00:32<00:01, 12.76it/s, now=None]
frame_index:  97%|█████████▋| 452/467 [00:32<00:01, 12.47it/s, now=None]
frame_index:  97%|█████████▋| 454/467 [00:32<00:01, 11.91it/s, now=None]
frame_index:  98%|█████████▊| 456/467 [00:32<00:00, 12.22it/s, now=None]
frame_index:  98%|█████████▊| 458/467 [00:33<00:00, 12.20it/s, now=None]
frame_index:  99%|█████████▊| 460/467 [00:33<00:00, 13.26it/s, now=None]
frame_index:  99%|█████████▉| 462/467 [00:33<00:00, 14.60it/s, now=None]
frame_index:  99%|█████████▉| 464/467 [00:33<00:00, 15.68it/s, now=None]
frame_index: 100%|█████████▉| 466/467 [00:33<00:00, 16.56it/s, now=None]
                                                                        
MoviePy - Done !
MoviePy - video ready output_1755289535.mp4
Video saved to output_1755289535.mp4