Maxim max-lv

## m_runner.sh
#!/bin/bash

# Credit to windwp for original script:
# https://gist.github.com/windwp/273387a73f902ae49c7c90d612fd2238
# (this is slightly modified version)

#  use it for continue running application
#  similar entr

# if you want to use swallow function you need to install

## z3_seed_solver.py
from z3 import *

SEED_SIZE=48
SALT_VALUES = [273991342780504,178948312324771,97321158527664,74524266130753,78222244435754,254886856462562,258708074213289]

s = Solver()
const_seed = BitVec('seed', SEED_SIZE)

for i, val in enumerate(SALT_VALUES):
    salt = BitVec(f'salt{i}', SEED_SIZE)

## canvas_utils.js

let SCALE = 1;
let ctx = undefined;

function canvas (width, height) {
  width = width ? width : 200;
  height = height ? height : 200;


  let body = document.querySelector("body");

## index.html
<!DOCTYPE html>
<html>
<head>
  <meta charset="utf-8">
  <meta name="viewport" content="width=device-width">
  <title>JS Bin</title>
<style id="jsbin-css">
body {
  background: #777;
}

## CGA monohromatic shader
precision highp float;

varying vec3 n;
varying vec2 uv;

uniform sampler2D tex;
uniform vec2 resolution;

const vec3 BLACK = vec3(0.0);
const vec3 WHITE = vec3(1.0);

## cga shader
precision highp float;

varying vec3 n;
varying vec2 uv;

uniform sampler2D tex;
uniform vec2 resolution;


//#pragma include "noise2D.glsl // for snoise(vec2 v)
	#!/bin/bash

	# Credit to windwp for original script:
	# https://gist.github.com/windwp/273387a73f902ae49c7c90d612fd2238
	# (this is slightly modified version)

	# use it for continue running application
	# similar entr

	# if you want to use swallow function you need to install
	from z3 import *

	SEED_SIZE=48
	SALT_VALUES = [273991342780504,178948312324771,97321158527664,74524266130753,78222244435754,254886856462562,258708074213289]

	s = Solver()
	const_seed = BitVec('seed', SEED_SIZE)

	for i, val in enumerate(SALT_VALUES):
	salt = BitVec(f'salt{i}', SEED_SIZE)

	let SCALE = 1;
	let ctx = undefined;

	function canvas (width, height) {
	width = width ? width : 200;
	height = height ? height : 200;


	let body = document.querySelector("body");
	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="utf-8">
	<meta name="viewport" content="width=device-width">
	<title>JS Bin</title>
	<style id="jsbin-css">
	body {
	background: #777;
	}
	precision highp float;

	varying vec3 n;
	varying vec2 uv;

	uniform sampler2D tex;
	uniform vec2 resolution;

	const vec3 BLACK = vec3(0.0);
	const vec3 WHITE = vec3(1.0);