Nicholas Sielicki sielicki

I hereby claim:

To claim this, I am signing this object:

	import collections


	def lazy_categorize(iterable, predicate):
	a, b = collections.deque(), collections.deque()
	empty = False

	def _gen_generator(t=True):
	d = a if t else b
	d_inv = b if t else a

	#!/usr/bin/env python3
	import z3
	import pprint

	# 9x9 matrix of integer variables
	X = [ [ z3.Int("x_%s_%s" % (i+1, j+1)) for j in range(9) ]
	for i in range(9) ]

	# each cell contains a value in {1, ..., 9}
	cells_c = [ z3.And(1 <= X[i][j], X[i][j] <= 9)

	import typing as t

	### Data Types
	# Little Endian LSB MSB
	row_in = t.Tuple[bool, bool, bool, bool]
	# Also little endian
	mat_in = t.Tuple[
	row_in,
	row_in,
	row_in,

	results = [["X", "Y", "Z", "F"]];
	Array.from({ length: 8 }, (_, k) => k).map(x => x.toString(2)
	.padStart(3, 0))
	.map(x => x.split(""))
	.map(x => x.map(y => Boolean(parseInt(y))))
	.map(x => function(a,b,c) {
	results.push([a,b,c,
	(

	// Put your own F here

	function on_mouse_click(name, value)
	local screenW, screenH = mp.get_osd_size()
	local mouseX, mouseY = mp.get_mouse_pos()
	local adb = "adb shell input tap %s %s &"
	os.execute(string.format(adb, mouseX, mouseY))
	-- mp.msg.info(string.format(adb, mouseX, mouseY))
	end
	mp.add_key_binding("MBTN_LEFT", "something", on_mouse_click)

	<!DOCTYPE html>
	<html lang="en">
	<head>
	<meta charset="utf-8">
	<meta http-equiv="X-UA-Compatible" content="IE=edge">
	<meta name="viewport" content="width=device-width, initial-scale=1">
	<!-- The above 3 meta tags must come first in the head; any other head content must come after these tags -->
	<title>Websocket Scale</title>

	<style>