rogual

{"gameLink":"www.flickgame.org","canvasses":[[95,"8",25,"f",135,"8",25,"f",136,"8",24,"f",136,"8",24,"f",137,"8",22,"f",138,"8",22,"f",139,"8",20,"f",140,"8",19,"f",142,"8",17,"f",145,"8",13,"f",149,"8",10,"f",152,"8",6,"f",554,"8",11,"b",146,"8",18,"b",141,"8",23,"b",23,"8",4,"2",110,"8",24,"b",21,"8",6,"2",107,"8",26,"b",21,"8",7,"2",103,"8",11,"b",6,"4",12,"b",20,"8",9,"2",99,"8",13,"b",11,"4",7,"b",1,"4",20,"8",9,"2",97,"8",14,"b",21,"4",18,"8",11,"2",85,"8",6,"b",4,"8",14,"b",22,"4",18,"8",11,"2",85,"8",22,"b",1,"1",23,"4",17,"8",13,"2",36,"8",17,"2",31,"8",19,"b",4,"1",24,"4",16,"8",14,"2",32,"8",35,"2",16,"8",16,"b",7,"1",24,"4",15,"8",16,"2",28,"8",49,"2",5,"8",14,"b",9,"1",24,"4",15,"8",17,"2",23,"8",55,"2",3,"8",12,"b",11,"1",24,"4",14,"8",19,"2",17,"8",63,"2",9,"b",13,"1",26,"4",13,"8",20,"2",15,"8",64,"2",21,"1",27,"4",12,"8",22,"2",10,"8",68,"2",20,"1",29,"4",10,"8",24,"2",8,"8",69,"2",20,"1",29,"4",10,"8",25,"2",6,"8",26,"2",17,"5",27,"2",20,"1",30,"4",8,"8",27,"2",1,"8",29,"2",35,"5",10,"2",20,

rogual

.PHONY: run

simple: simple.pl
	gplc --no-top-level $<

run: simple
	./simple 'forall(ok(X), (write(X), nl)).'

rogual

#!/bin/bash

# ssh to vagrant hosts can be slow due to Ruby overhead of running
# 'vagrant ssh' and ssh overhead to setup the network connection.
#
# This wrapper uses that slow setup routine once to create a reusable ssh
# ControlMaster socket. Subsequent connections invoke the ssh executable
# directly (bypassing Ruby) and connect over the ControlMaster socket
# (bypassing the connection setup) so are almost instantaneous.
#

rogual