seri

# runner.sh mode /path/to/solver /path/to/input/dir /path/to/output/dir
# mode = quiet|verbose|file

mode="$1"
solver="$2"
data_d="$3"
output_d="$4"
ostream=/dev/null

command_exists () {

seri

import Data.Char 
import Data.List
import Data.Maybe

showResult :: (Int, Int, Int) -> String
showResult (a, b, x) = show a ++ "/" ++ show b ++ " has "  
                    ++ show x ++ " exact digits" 

compareDigits :: [Int] -> [Int] -> Ordering
compareDigits xs [] = EQ

seri

import Data.Char

pow2mod9 :: Int -> Int
pow2mod9 0 = 1
pow2mod9 1 = 2
pow2mod9 2 = 4
pow2mod9 3 = 8
pow2mod9 4 = 7
pow2mod9 5 = 5
pow2mod9 n = pow2mod9 $ mod n 6

seri

@namespace url(http://www.w3.org/1999/xhtml);

@-moz-document domain("facebook.com") {
    body, .fsm, #pagelet_stream_header, .uiStream .uiStreamMessage, textArea, .inputtext, .inputpassword, .uiLinkButton input, .notesBlogText, .notesBlogText p, .uiHeaderTitle .fcg, .uiHeaderTop, td.data
    {
        font-size: 12px !important;
    }
    #pagelet_stream_header .uiHeaderActions, #pagelet_stream_header .uiButtonText
    {
        font-size: 15px !important;

seri

function FindProxyForURL(url, host)
{
    if (shExpMatch(host, "*.facebook.com") || 
    	shExpMatch(host, "facebook.com") ||
    	shExpMatch(host, "static.ak.fbcdn.net"))
        return "SOCKS4 127.0.0.1:9050";
    else
    	return "DIRECT";
}

seri

function FindProxyForURL(url, host)
{
    if (shExpMatch(host, "*.facebook.com") || 
    	shExpMatch(host, "facebook.com") ||
    	shExpMatch(host, "static.ak.fbcdn.net"))
        return "PROXY 127.0.0.1:9666";
    else
    	return "DIRECT";
}