From 099a35881ec95ea513021408b6d9ce8e2f9ab609 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 21 Dec 2012 23:04:24 -0600 Subject: [PATCH] do a little bit better job compressing the bytes --- collects/realm/chapter5/ufo-source.rkt | 816 ++++++++----------------- 1 file changed, 247 insertions(+), 569 deletions(-) diff --git a/collects/realm/chapter5/ufo-source.rkt b/collects/realm/chapter5/ufo-source.rkt index 4bdfcc6baa..7756c48c2e 100644 --- a/collects/realm/chapter5/ufo-source.rkt +++ b/collects/realm/chapter5/ufo-source.rkt @@ -31,576 +31,254 @@ (define ufo-height 70) (define ufo-bytes (bytes-append - 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377\377\376\376\376" - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\376\376\376\377\360\360\360\377\277\277\277\377\277\277\277\377\277\277\277" - #"\377\277\277\277\377\277\277\277\377\357\357\357\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\317\317\317" - #"\377```\377 \377\0\0\0\377\1\1\1\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377 " - #"\377```\377\257\257\257\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\277\277\277\377@@@" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\1\1\1\377\0\0\0\377\0\0\0\377\17\17\17\377\177\177\177" - #"\377\357\357\357\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377ppp\377\0\0\0" - #"\377\0\0\0\377\1\1\1\377\0\0\0\377QQQ\377\200\200\200" + (make-bytes 129 255) #"\376\376\376" (make-bytes 5 255) #"\376\376\376" (make-bytes 633 255) + #"\376\376\376" (make-bytes 313 255) #"\376\376\376" (make-bytes 629 255) #"\376\376\376" + #"\377\360\360\360\377\277\277\277\377\277\277\277\377\277\277\277\377\277\277\277" + #"\377\277\277\277\377\357\357\357" (make-bytes 285 255) #"\317\317\317\377```" + #"\377 \377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377 \377```\377\257\257\257" (make-bytes 265 255) #"\277\277\277" + #"\377@@@\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0" + #"\377\17\17\17\377\177\177\177\377\357\357\357" (make-bytes 249 255) #"ppp" + #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377QQQ\377\200\200\200" #"\377\300\300\300\377\300\300\300\377\277\277\277\377\277\277\277\377\200\200\200" - #"\377```\377 \377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\20\20\20\377\217\217\217\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\357\357\357\377PPP\377\0\0\0" - #"\377\0\0\0\377\1\1\1\377\0\0\0\377@@@\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\317\317\317\377```" - #"\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0\377PPP" - #"\377\360\360\360\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377```\377\0\0\0" - #"\377\0\0\0\377111\377\0\0\0\377\0\0\0\377@@@" - 255line 255line - #"\377\377\377\377\377\340\340\340\377___\377\0\0\0\377\1\1\1" - #"\377\0\0\0\377000\377\357\357\357\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\177\177\177\377\0\0\0" - #"\377\1\1\1\377PPP\377\20\20\20\377\0\0\0\377\0\0\0" - #"\377\200\200\200\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\317\317\317" - #"\377 \377\1\1\1\377\0\0\0\377000\377\357\357\357" - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\337\337\337\377\0\0\0" - #"\377\0\0\0\377PPP\377@@@\377\0\0\0\377000" - #"\377\0\0\0\377\217\217\217\377\377\377\377\377\376\376\376\377\377\377\377" - #"\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line - #"\377\377\377\377\377\357\357\357\377PPP\377\0\0\0\377\0\0\0" - #"\377111\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377```" - #"\377\0\0\0\377\20\20\20\377\257\257\257\377\0\0\0\377@@@" - #"\377\200\200\200\377\0\0\0\377\277\277\277\377\377\377\377\377\377\377\377" - #"\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377___" - #"\377\1\1\1\377\0\0\0\377\177\177\177\377\376\376\376\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\337\337\337" - #"\377\0\0\0\377\0\0\0\377\240\240\240\377OOO\377\1\1\1" - #"\377\317\317\317\377AAA\377\0\0\0\377\337\337\337\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377@@@\377\0\0\0\377\0\0\0\377\340\340\340" - 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376" - 255line - #"\377\220\220\220\377\0\0\0\377\20\20\20\377\357\357\357\377\0\0\0" - #"\377@@@\377\377\377\377\377\0\0\0\377\0\0\0\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\357\357\357\377 \377\0\0\0" - #"\377```\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377@@@\377\0\0\0\377```\377\277\277\277" - #"\377\0\0\0\377\240\240\240\377\357\357\357\377\1\1\1\377\0\0\0" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\277\277\277" - #"\377\0\0\0\377\0\0\0\377\340\340\340\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\0\0\0\377\0\0\0\377\257\257\257" - #"\377\216\216\216\377\1\1\1\377\277\277\277\377\357\357\357\377\0\0\0" - #"\377000\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377@@@\377\1\1\1\377\217\217\217\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\337\337\337\377\0\0\0\377\0\0\0" - #"\377\337\337\337\377\200\200\200\377\0\0\0\377\0\0\0\377```" - #"\377\0\0\0\377AAA\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\277\277\277\377\0\0\0\377000" - 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\277\277\277\377\0\0\0" - #"\377\0\0\0\377\377\377\377\377\200\200\200\377\1\1\1\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377 " - #"\377\0\0\0\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\300\300\300" - #"\377\0\0\0\377 \377\377\377\377\377\357\357\357\377\257\257\257" - #"\377\201\201\201\377\200\200\200\377@@@\377 \377\377\377\377" - 255line 255line 255line 255line - #"\377ppp\377\0\0\0\377\277\277\277\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\277\277\277\377\0\0\0\377???\377\377\377\377\377\376\376\376" - 255line 255line 255line 255line 255line - #"\377\377\377\377\377\240\240\240\377\0\0\0\377\277\277\277\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\277\277\277\377\0\0\0\377@@@\377\377\377\377" - 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\277\277\277\377\0\0\0\377```" - 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\376\376\376\377\237\237\237\377\0\0\0\377111" - 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\337\337\337\377\0\0\0" - #"\377\0\0\0\377\300\300\300\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\376\376\376\377\377\377\377\377\377\377\377\377PPP\377\0\0\0" - #"\377\0\0\0\377\21\21\21\377```\377\260\260\260\377\377\377\377" - 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\320\320\320\377```\377\20\20\20" - #"\377\0\0\0\377\0\0\0\377\20\20\20\377\357\357\357\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\177\177\177\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377@@@\377\200\200\200\377\277\277\277\377\357\357\357" - 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\341\341\341" - #"\377\240\240\240\377```\377 \377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377000" - #"\377\357\357\357\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\237\237\237\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377@@@\377@@@\377\200\200\200" - #"\377\177\177\177\377\200\200\200\377\200\200\200\377\200\200\200\377\200\200\200" - #"\377\200\200\200\377\201\201\201\377PPP\377@@@\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\1\1\1\377\20\20\20\377\1\1\1\377\0\0\0" - #"\377\1\1\1\377```\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\317\317\317\377\20\20\20" - #"\377\0\0\0\377\0\0\0\377 \377@@@\377000" - #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\1\1\1\377\0\0\0\377\1\1\1\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0" - #"\377 \377QQQ\377111\377\20\20\20\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377```\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\357\357\357\377000" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377 " - #"\377```\377\217\217\217\377\320\320\320\377\377\377\377\377\317\317\317" - #"\377\277\277\277\377\277\277\277\377\200\200\200\377\200\200\200\377\200\200\200" - #"\377@@@\377AAA\377@@@\377000\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\20\20\20" - #"\377@@@\377@@@\377```\377\200\200\200\377\257\257\257" - #"\377\277\277\277\377\200\200\200\377\20\20\20\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377ppp\377```\377\0\0\0" - #"\377```\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377```" - #"\377\0\0\0\377\0\0\0\377\21\21\21\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0" - #"\377@@@\377ppp\377\217\217\217\377\277\277\277\377\357\357\357" - 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\277\277\277\377\200\200\200" - #"\377000\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377???\377\277\277\277\377\377\377\377\377\356\356\356" - #"\377000\377\0\0\0\377```\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\257\257\257" - #"\377\0\0\0\377\0\0\0\377\20\20\20\377\201\201\201\377\237\237\237" - #"\377\240\240\240\377ppp\377000\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377000\377@@@\377AAA" - #"\377\200\200\200\377\200\200\200\377\200\200\200\377\200\200\200\377\200\200\200" - #"\377PPP\377@@@\377 \377\0\0\0\377\0\0\0" - #"\377\1\1\1\377\0\0\0\377\0\0\0\377\20\20\20\377QQQ" - #"\377\216\216\216\377\340\340\340\377\377\377\377\377\377\377\377\377\376\376\376" - #"\377\377\377\377\377\317\317\317\377\20\20\20\377\0\0\0\377ppp" - 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\357\357\357" - #"\377\20\20\20\377\0\0\0\377\0\0\0\377\20\20\20\377\257\257\257" - #"\377\257\257\257\377 \377\200\200\200\377\377\377\377\377\357\357\357" - #"\377\257\257\257\377\200\200\200\377???\377\21\21\21\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\217\217\217\377\317\317\317\377\377\377\377" - #"\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\237\237\237\377\0\0\0" - #"\377\0\0\0\377\237\237\237\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line - #"\377OOO\377\0\0\0\377\0\0\0\377\0\0\0\377\300\300\300" - #"\377\337\337\337\377\317\317\317\377\237\237\237\377\0\0\0\377```" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377aaa" - #"\377\0\0\0\377PPP\377\200\200\200\377PPP\377000" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\1\1\1\377\0\0\0\377@@@\377```" - #"\377\240\240\240\377\0\0\0\377\0\0\0\377\377\377\377\377\376\376\376" - #"\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377" - 255line - #"\377ppp\377\1\1\1\377\0\0\0\377\237\237\237\377\377\377\377" - 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377" - #"\377\277\277\277\377\1\1\1\377\0\0\0\377@@@\377 " - #"\377\377\377\377\377 \377\1\1\1\377\257\257\257\377\0\0\0" - #"\377\0\0\0\377\377\377\377\377\377\377\377\377\377\377\377\377\236\236\236" - #"\377\1\1\1\377\200\200\200\377\377\377\377\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\20\20\20\377QQQ\377\377\377\377\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377\0\0\0\377\0\0\0\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377000\377\0\0\0\377\0\0\0" - #"\377\241\241\241\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377000\377\0\0\0\377000\377\217\217\217" - #"\377\200\200\200\377\377\377\377\377000\377\0\0\0\377\317\317\317" - #"\377\0\0\0\377```\377\377\377\377\377\376\376\376\377\377\377\377" - #"\377\200\200\200\377\0\0\0\377\337\337\337\377\237\237\237\377\200\200\200" - #"\377\277\277\277\377\377\377\377\377!!!\377@@@\377\377\377\377" - #"\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\1\1\1\377\0\0\0" - #"\377\377\377\377\377\377\377\377\377\356\356\356\377@@@\377\0\0\0" - #"\377\0\0\0\377\337\337\337\377\377\377\377\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\337\337\337\377\20\20\20" - #"\377\0\0\0\377\20\20\20\377\317\317\317\377\377\377\377\377\376\376\376" - 255line 255line 255line 255line 255line - #"\377\377\377\377\377\237\237\237\377\0\0\0\377\0\0\0\377\317\317\317" - #"\377\217\217\217\377111\377\317\317\317\377\360\360\360\377\357\357\357" - #"\377\337\337\337\377\20\20\20\377\360\360\360\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\237\237\237\377\0\0\0\377\377\377\377\377AAA" - #"\377\0\0\0\377\217\217\217\377\377\377\377\377\0\0\0\377000" - 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\0\0\0" - #"\377\0\0\0\377\377\377\377\377\377\377\377\377\200\200\200\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\200\200\200\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377" - #"\377\257\257\257\377\0\0\0\377\0\0\0\377\21\21\21\377\357\357\357" - #"\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377 \377\1\1\1\377\200\200\200" - #"\377\377\377\377\377\317\317\317\377\0\0\0\377\0\0\0\377PPP" - #"\377\200\200\200\377```\377\337\337\337\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377000\377\277\277\277" - #"\377\217\217\217\377@@@\377\337\337\337\377\277\277\277\377\0\0\0" - #"\377@@@\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376" - 255line - #"\377\1\1\1\377\0\0\0\377\377\377\377\377\377\377\377\377@@@" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377PPP\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377ppp\377\0\0\0\377\0\0\0" - #"\377000\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\257\257\257\377\0\0\0\377\20\20\20" - #"\377\357\357\357\377\377\377\377\377\376\376\376\377\237\237\237\377@@@" - #"\377AAA\377\237\237\237\377\377\377\377\377\377\377\377\377\377\377\377" - #"\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377\377\320\320\320" - #"\377PPP\377\277\277\277\377\277\277\277\377\260\260\260\377\17\17\17" - #"\377\1\1\1\377ppp\377\377\377\377\377\377\377\377\377\377\377\377" - 255line - #"\377\377\377\377\377\0\0\0\377\0\0\0\377\377\377\377\377\377\377\377" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377@@@" - 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\357\357\357\377 " - #"\377\0\0\0\377\0\0\0\377ppp\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377QQQ\377\0\0\0" - #"\377\200\200\200\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376" - 255line 255line - #"\377\377\377\377\377\337\337\337\377@@@\377\0\0\0\377\1\1\1" - #"\377\0\0\0\377\21\21\21\377\337\337\337\377\377\377\377\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377\0\0\0\377\0\0\0\377\377\377\377" - #"\377\377\377\377\377@@@\377\0\0\0\377\1\1\1\377\0\0\0" - #"\377\217\217\217\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line - #"\377\277\277\277\377\0\0\0\377\0\0\0\377\0\0\0\377\277\277\277" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\357\357\357\377\1\1\1" - #"\377\20\20\20\377\357\357\357\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\317\317\317" - #"\377\201\201\201\377\177\177\177\377\340\340\340\377\377\377\377\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\0\0\0\377\0\0\0" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\277\277\277\377\177\177\177" - #"\377\201\201\201\377\357\357\357\377\377\377\377\377\377\377\377\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377qqq\377\0\0\0\377\0\0\0" - #"\377!!!\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\237\237\237" - #"\377\0\0\0\377ppp\377\377\377\377\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line - #"\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377\377\376\376\376" - 255line - #"\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377\377\0\0\0" - #"\377\0\0\0\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\357\357\357\377\21\21\21" - #"\377\0\0\0\377\0\0\0\377\237\237\237\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line - #"\377```\377\0\0\0\377\317\317\317\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line - #"\377\0\0\0\377\0\0\0\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line - #"\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377" - #"\377\200\200\200\377\0\0\0\377\1\1\1\377 \377\377\377\377" - 255line 255line 255line 255line - #"\377\377\377\377\377000\377\20\20\20\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\0\0\0\377\0\0\0\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\357\357\357\377\20\20\20\377\0\0\0\377\0\0\0" - #"\377\260\260\260\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\1\1\1\377 \377\237\237\237" - #"\377\357\357\357\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\0\0\0\377\0\0\0\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377" - #"\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - #"\377\360\360\360\377\237\237\237\377@@@\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377ppp\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\0\0\0\377\1\1\1" - #"\377\0\0\0\377\0\0\0\377///\377ppp\377\240\240\240" - #"\377\316\316\316\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\1\1\1\377\0\0\0" - 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\277\277\277\377\200\200\200" - #"\377???\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377@@@\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\1\1\1\377@@@\377ppp" - #"\377\217\217\217\377\300\300\300\377\337\337\337\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377" - 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\357\357\357\377\0\0\0" - #"\377\0\0\0\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\337\337\337\377\277\277\277" - #"\377\200\200\200\377```\377000\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377@@@\377\377\377\377" - 255line 255line 255line 255line - #"\377\0\0\0\377ppp\377\200\200\200\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0" - #"\377///\377@@@\377ppp\377\200\200\200\377\220\220\220" - #"\377\300\300\300\377\277\277\277\377\317\317\317\377\377\377\377\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377\377\276\276\276" - #"\377\0\0\0\377\0\0\0\377\277\277\277\377\200\200\200\377\200\200\200" - #"\377PPP\377@@@\377 \377\0\0\0\377\0\0\0" - #"\377\1\1\1\377\0\0\0\377\1\1\1\377\0\0\0\377\1\1\1" - #"\377\0\0\0\377 \377\0\0\0\377\17\17\17\377\337\337\337" - #"\377@@@\377\0\0\0\377\0\0\0\377\0\0\0\377@@@" - 255line 255line 255line 255line - #"\377\377\377\377\377\0\0\0\377000\377\277\277\277\377\0\0\0" - #"\377@@@\377\257\257\257\377```\377\0\0\0\377000" - #"\377\257\257\257\377PPP\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377@@@\377@@@" - #"\377@@@\377@@@\377@@@\377@@@\377@@@" - #"\377000\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\1\1\1\377\0\0\0\377\21\21\21\377\177\177\177\377 " - #"\377\0\0\0\377\276\276\276\377\277\277\277\377\0\0\0\377@@@" - #"\377\377\377\377\377\200\200\200\377\0\0\0\377\1\1\1\377\0\0\0" - #"\377ppp\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\0\0\0\377\0\0\0\377___" - #"\377\0\0\0\377@@@\377\377\377\377\377\220\220\220\377\1\1\1" - #"\377\316\316\316\377\377\377\377\377\177\177\177\377\0\0\0\377\260\260\260" - #"\377\217\217\217\377///\377\0\0\0\377\200\200\200\377QQQ" - #"\377\20\20\20\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377@@@\377\20\20\20\377\0\0\0\377```" - #"\377\177\177\177\377 \377\0\0\0\377\277\277\277\377\376\376\376" - #"\377@@@\377\0\0\0\377\277\277\277\377\340\340\340\377\0\0\0" - #"\377\0\0\0\377\337\337\337\377 \377\0\0\0\377\1\1\1" - #"\377\0\0\0\377\317\317\317\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377@@@\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377!!!\377\277\277\277\377PPP" - #"\377\0\0\0\377\337\337\337\377\377\377\377\377\177\177\177\377\1\1\1" - #"\377\237\237\237\377\377\377\377\377@@@\377\20\20\20\377\377\377\377" - #"\377\377\377\377\377@@@\377\1\1\1\377\237\237\237\377\337\337\337" - #"\377\217\217\217\377```\377\0\0\0\377@@@\377```" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\20\20\20\377@@@\377\0\0\0\377```" - #"\377\277\277\277\377\377\377\377\377\377\377\377\377@@@\377\0\0\0" - #"\377\337\337\337\377\377\377\377\377@@@\377\0\0\0\377\377\377\377" - #"\377\377\377\377\377@@@\377\0\0\0\377\257\257\257\377\277\277\277" - #"\377\20\20\20\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377 \377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\217\217\217" - #"\377\0\0\0\377\0\0\0\377\1\1\1\377\1\1\1\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377!!!\377___\377```" - #"\377\0\0\0\377\177\177\177\377\377\377\377\377@@@\377\0\0\0" - #"\377\377\377\377\377\377\377\377\377@@@\377\0\0\0\377\337\337\337" - #"\377\377\377\377\377\377\377\377\377\200\200\200\377\0\0\0\377\277\277\277" - #"\377\377\377\377\377\0\0\0\377\1\1\1\377\377\377\377\377\377\377\377" - #"\377\1\1\1\377\0\0\0\377\377\377\377\377\277\277\277\377\0\0\0" - #"\377\200\200\200\377\377\377\377\377\377\377\377\377\377\377\377\377@@@" - #"\377\0\0\0\377\377\377\377\377\377\377\377\377PPP\377\0\0\0" - #"\377\257\257\257\377\317\317\317\377 \377\1\1\1\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\1\1\1\377\0\0\0\377\237\237\237\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line - #"\377\337\337\337\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\20\20\20\377\20\20\20" - #"\377\0\0\0\377\277\277\277\377\317\317\317\377QQQ\377\0\0\0" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\200\200\200\377\0\0\0" - #"\377\277\277\277\377\376\376\376\377\0\0\0\377\0\0\0\377\377\377\377" - #"\377\377\377\377\377\0\0\0\377\0\0\0\377\377\377\377\377\237\237\237" - #"\377\0\0\0\377PPP\377\377\377\377\377\377\377\377\377\377\377\377" - #"\377@@@\377\1\1\1\377@@@\377000\377\0\0\0" - #"\377\0\0\0\377\20\20\20\377\1\1\1\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\20\20\20\377PPP" - #"\377\0\0\0\377\0\0\0\377000\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377```\377\0\0\0\377\0\0\0" - #"\377```\377ppp\377@@@\377@@@\377000" - #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377 \377 " - #"\377\0\0\0\377```\377\217\217\217\377\0\0\0\377\0\0\0" - #"\377```\377\337\337\337\377\0\0\0\377\1\1\1\377\217\217\217" - #"\377qqq\377\0\0\0\377\0\0\0\377\20\20\20\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\1\1\1" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377```\377\177\177\177\377\277\277\277\377\357\357\357" - #"\377\237\237\237\377\0\0\0\377\0\0\0\377\277\277\277\377\377\377\377" - 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\376\376\376\377\337\337\337\377\1\1\1" - #"\377\1\1\1\377000\377\260\260\260\377\377\377\377\377\317\317\317" - #"\377PPP\377\1\1\1\377\0\0\0\377\177\177\177\377\20\20\20" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0" - #"\377\1\1\1\377\0\0\0\377\0\0\0\377 \377 " - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\237\237\237" - #"\377 \377\1\1\1\377\236\236\236\377\377\377\377\377\377\377\377" - #"\377\277\277\277\377\20\20\20\377\0\0\0\377\177\177\177\377\377\377\377" - 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376" - #"\377\177\177\177\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\20\20\20\377\316\316\316\377\377\377\377" - #"\377\177\177\177\377\0\0\0\377\1\1\1\377\20\20\20\377\237\237\237" - #"\377\277\277\277\377\300\300\300\377\277\277\277\377\277\277\277\377\277\277\277" - #"\377\177\177\177\377\177\177\177\377\200\200\200\377\200\200\200\377\177\177\177" - #"\377@@@\377@@@\377AAA\377@@@\377@@@" - #"\377@@@\377@@@\377@@@\377PPP\377\177\177\177" - #"\377\177\177\177\377\237\237\237\377\276\276\276\377\337\337\337\377ppp" - #"\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377\237\237\237" - #"\377\376\376\376\377\177\177\177\377\0\0\0\377\20\20\20\377ppp" - #"\377000\377\0\0\0\377\0\0\0\377```\377\376\376\376" - 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377PPP\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\20\20\20\377\317\317\317\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377000\377\0\0\0\377\0\0\0" - #"\377\20\20\20\377\237\237\237\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\237\237\237\377\20\20\20" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377 \377\316\316\316" - #"\377\377\377\377\377\377\377\377\377\357\357\357\377///\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377```\377\377\377\377" - #"\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line - #"\377\377\377\377\377\376\376\376\377\377\377\377\377\357\357\357\377\177\177\177" - #"\377@@@\377???\377```\377\357\357\357\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\357\357\357\377000" - #"\377\1\1\1\377\0\0\0\377\0\0\0\377@@@\377\277\277\277" - 255line 255line 255line - #"\377\377\377\377\377\357\357\357\377\217\217\217\377 \377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377ppp\377\357\357\357" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376\377\357\357\357" - #"\377PPP\377@@@\377PPP\377\260\260\260\377\377\377\377" - 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376" - 255line - #"\377\357\357\357\377000\377\0\0\0\377\1\1\1\377\0\0\0" - #"\377\0\0\0\377000\377\237\237\237\377\337\337\337\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\357\357\357" - #"\377\257\257\257\377```\377\1\1\1\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377@@@\377\317\317\317\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\177\177\177\377\20\20\20" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377000\377```\377\177\177\177\377\217\217\217\377\277\277\277" - #"\377\277\277\277\377\220\220\220\377\177\177\177\377```\377000" - #"\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377```\377\320\320\320\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\357\357\357\377\177\177\177\377 \377\0\0\0\377\1\1\1" - #"\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377PPP" - #"\377\240\240\240\377\360\360\360\377\376\376\376\377\377\377\377\377\376\376\376" - 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376" - 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\317\317\317" - #"\377\177\177\177\377PPP\377000\377\0\0\0\377\0\0\0" - #"\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0" - #"\377@@@\377```\377\217\217\217\377\277\277\277\377\377\377\377" - 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376" - #"\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376" - 255line - #"\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377" - 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376" - #"\377\376\376\376\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377" - 255line - #"\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line - #"\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377\377\377\377\377" - 255line 255line 255line - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377\377\377\377\377" - #"\377\377\377\377\377\377\377\377\377\377\377\377\377\376\376\376\377\377\377\377" - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line 255line - 255line 255line)) + #"\377```\377 \377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\20\20\20" + #"\377\217\217\217" (make-bytes 237 255) #"\357\357\357\377PPP\377\0\0\0\377\0\0\0" + #"\377\1\1\1\377\0\0\0\377@@@" (make-bytes 37 255) #"\317\317\317\377```\377\0\0\0" + #"\377\1\1\1\377\0\0\0\377\0\0\0\377PPP\377\360\360\360" (make-bytes 21 255) + #"\376\376\376" (make-bytes 205 255) #"```\377\0\0\0\377\0\0\0\377111\377\0\0\0" + #"\377\0\0\0\377@@@" (make-bytes 45 255) #"\340\340\340\377___\377\0\0\0\377\1\1\1" + #"\377\0\0\0\377000\377\357\357\357" (make-bytes 221 255) #"\177\177\177\377\0\0\0" + #"\377\1\1\1\377PPP\377\20\20\20\377\0\0\0\377\0\0\0\377\200\200\200" + (make-bytes 29 255) #"\376\376\376" (make-bytes 21 255) #"\317\317\317\377 \377\1\1\1" + #"\377\0\0\0\377000\377\357\357\357" (make-bytes 213 255) #"\337\337\337\377\0\0\0" + #"\377\0\0\0\377PPP\377@@@\377\0\0\0\377000\377\0\0\0\377\217\217\217" + (make-bytes 5 255) #"\376\376\376" (make-bytes 5 255) #"\376\376\376" (make-bytes 41 255) #"\357\357\357\377PPP" + #"\377\0\0\0\377\0\0\0\377111" (make-bytes 213 255) #"```\377\0\0\0\377\20\20\20" + #"\377\257\257\257\377\0\0\0\377@@@\377\200\200\200\377\0\0\0\377\277\277\277" (make-bytes 9 255) + #"\376\376\376" (make-bytes 53 255) #"___\377\1\1\1\377\0\0\0\377\177\177\177\377\376\376\376" + (make-bytes 173 255) #"\376\376\376" (make-bytes 25 255) #"\337\337\337\377\0\0\0\377\0\0\0\377\240\240\240" + #"\377OOO\377\1\1\1\377\317\317\317\377AAA\377\0\0\0\377\337\337\337" (make-bytes 69 255) + #"@@@\377\0\0\0\377\0\0\0\377\340\340\340" (make-bytes 177 255) #"\376\376\376" (make-bytes 21 255) + #"\220\220\220\377\0\0\0\377\20\20\20\377\357\357\357\377\0\0\0\377@@@" (make-bytes 5 255) + #"\0\0\0\377\0\0\0" (make-bytes 73 255) #"\357\357\357\377 \377\0\0\0\377```" + (make-bytes 201 255) #"@@@\377\0\0\0\377```\377\277\277\277\377\0\0\0\377\240\240\240" + #"\377\357\357\357\377\1\1\1\377\0\0\0" (make-bytes 77 255) #"\277\277\277\377\0\0\0\377\0\0\0" + #"\377\340\340\340" (make-bytes 197 255) #"\0\0\0\377\0\0\0\377\257\257\257\377\216\216\216\377\1\1\1" + #"\377\277\277\277\377\357\357\357\377\0\0\0\377000" (make-bytes 81 255) #"@@@\377\1\1\1" + #"\377\217\217\217" (make-bytes 193 255) #"\337\337\337\377\0\0\0\377\0\0\0\377\337\337\337\377\200\200\200" + #"\377\0\0\0\377\0\0\0\377```\377\0\0\0\377AAA" (make-bytes 81 255) #"\277\277\277" + #"\377\0\0\0\377000" (make-bytes 193 255) #"\277\277\277\377\0\0\0\377\0\0\0" (make-bytes 5 255) + #"\200\200\200\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" (make-bytes 85 255) + #" \377\0\0\0" (make-bytes 193 255) #"\300\300\300\377\0\0\0\377 " (make-bytes 5 255) + #"\357\357\357\377\257\257\257\377\201\201\201\377\200\200\200\377@@@\377 " (make-bytes 85 255) + #"ppp\377\0\0\0\377\277\277\277" (make-bytes 13 255) #"\376\376\376" (make-bytes 173 255) #"\277\277\277" + #"\377\0\0\0\377???" (make-bytes 5 255) #"\376\376\376" (make-bytes 105 255) #"\240\240\240\377\0\0\0" + #"\377\277\277\277" (make-bytes 189 255) #"\277\277\277\377\0\0\0\377@@@" (make-bytes 97 255) #"\376\376\376" + (make-bytes 13 255) #"\277\277\277\377\0\0\0\377```" (make-bytes 185 255) #"\376\376\376\377\237\237\237" + #"\377\0\0\0\377111" (make-bytes 113 255) #"\337\337\337\377\0\0\0\377\0\0\0\377\300\300\300" + (make-bytes 173 255) #"\376\376\376" (make-bytes 9 255) #"PPP\377\0\0\0\377\0\0\0\377\21\21\21" + #"\377```\377\260\260\260" (make-bytes 93 255) #"\320\320\320\377```\377\20\20\20\377\0\0\0" + #"\377\0\0\0\377\20\20\20\377\357\357\357" (make-bytes 177 255) #"\177\177\177\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377@@@\377\200\200\200" + #"\377\277\277\277\377\357\357\357" (make-bytes 57 255) #"\341\341\341\377\240\240\240\377```\377 " + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377000" + #"\377\357\357\357" (make-bytes 169 255) #"\237\237\237\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377@@@\377@@@\377\200\200\200\377\177\177\177\377\200\200\200" + #"\377\200\200\200\377\200\200\200\377\200\200\200\377\200\200\200\377\201\201\201\377PPP\377@@@" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\1\1\1\377\20\20\20\377\1\1\1\377\0\0\0\377\1\1\1\377```" (make-bytes 165 255) + #"\317\317\317\377\20\20\20\377\0\0\0\377\0\0\0\377 \377@@@\377000" + #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377\1\1\1" + #"\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377 \377QQQ\377111" + #"\377\20\20\20\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377```" (make-bytes 157 255) + #"\357\357\357\377000\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377 " + #"\377```\377\217\217\217\377\320\320\320" (make-bytes 5 255) #"\317\317\317\377\277\277\277\377\277\277\277" + #"\377\200\200\200\377\200\200\200\377\200\200\200\377@@@\377AAA\377@@@\377000" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\20\20\20\377@@@" + #"\377@@@\377```\377\200\200\200\377\257\257\257\377\277\277\277\377\200\200\200\377\20\20\20" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377ppp\377```\377\0\0\0" + #"\377```" (make-bytes 5 255) #"\376\376\376" (make-bytes 145 255) #"```\377\0\0\0\377\0\0\0" + #"\377\21\21\21\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\1\1\1" + #"\377\0\0\0\377@@@\377ppp\377\217\217\217\377\277\277\277\377\357\357\357" (make-bytes 53 255) + #"\277\277\277\377\200\200\200\377000\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377???\377\277\277\277" (make-bytes 5 255) #"\356\356\356\377000\377\0\0\0" + #"\377```" (make-bytes 145 255) #"\257\257\257\377\0\0\0\377\0\0\0\377\20\20\20\377\201\201\201" + #"\377\237\237\237\377\240\240\240\377ppp\377000\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377000" + #"\377@@@\377AAA\377\200\200\200\377\200\200\200\377\200\200\200\377\200\200\200\377\200\200\200" + #"\377PPP\377@@@\377 \377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0" + #"\377\0\0\0\377\20\20\20\377QQQ\377\216\216\216\377\340\340\340" (make-bytes 9 255) #"\376\376\376" + (make-bytes 5 255) #"\317\317\317\377\20\20\20\377\0\0\0\377ppp" (make-bytes 137 255) #"\357\357\357" + #"\377\20\20\20\377\0\0\0\377\0\0\0\377\20\20\20\377\257\257\257\377\257\257\257\377 " + #"\377\200\200\200" (make-bytes 5 255) #"\357\357\357\377\257\257\257\377\200\200\200\377???\377\21\21\21" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\217\217\217\377\317\317\317" (make-bytes 9 255) + #"\376\376\376" (make-bytes 25 255) #"\237\237\237\377\0\0\0\377\0\0\0\377\237\237\237" (make-bytes 133 255) + #"OOO\377\0\0\0\377\0\0\0\377\0\0\0\377\300\300\300\377\337\337\337\377\317\317\317" + #"\377\237\237\237\377\0\0\0\377```" (make-bytes 17 255) #"aaa\377\0\0\0\377PPP" + #"\377\200\200\200\377PPP\377000\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377@@@\377```\377\240\240\240" + #"\377\0\0\0\377\0\0\0" (make-bytes 5 255) #"\376\376\376" (make-bytes 5 255) #"\376\376\376" (make-bytes 33 255) + #"ppp\377\1\1\1\377\0\0\0\377\237\237\237" (make-bytes 113 255) #"\376\376\376" (make-bytes 9 255) + #"\277\277\277\377\1\1\1\377\0\0\0\377@@@\377 " (make-bytes 5 255) #" " + #"\377\1\1\1\377\257\257\257\377\0\0\0\377\0\0\0" (make-bytes 13 255) #"\236\236\236\377\1\1\1" + #"\377\200\200\200" (make-bytes 17 255) #"\20\20\20\377QQQ" (make-bytes 37 255) #"\0\0\0\377\0\0\0" + (make-bytes 33 255) #"\376\376\376" (make-bytes 17 255) #"000\377\0\0\0\377\0\0\0\377\241\241\241" + (make-bytes 105 255) #"\376\376\376" (make-bytes 13 255) #"000\377\0\0\0\377000\377\217\217\217" + #"\377\200\200\200" (make-bytes 5 255) #"000\377\0\0\0\377\317\317\317\377\0\0\0\377```" + (make-bytes 5 255) #"\376\376\376" (make-bytes 5 255) #"\200\200\200\377\0\0\0\377\337\337\337\377\237\237\237" + #"\377\200\200\200\377\277\277\277" (make-bytes 5 255) #"!!!\377@@@" (make-bytes 9 255) #"\376\376\376" + (make-bytes 25 255) #"\1\1\1\377\0\0\0" (make-bytes 9 255) #"\356\356\356\377@@@\377\0\0\0" + #"\377\0\0\0\377\337\337\337" (make-bytes 25 255) #"\337\337\337\377\20\20\20\377\0\0\0\377\20\20\20" + #"\377\317\317\317" (make-bytes 5 255) #"\376\376\376" (make-bytes 105 255) #"\237\237\237\377\0\0\0\377\0\0\0" + #"\377\317\317\317\377\217\217\217\377111\377\317\317\317\377\360\360\360\377\357\357\357\377\337\337\337" + #"\377\20\20\20\377\360\360\360" (make-bytes 13 255) #"\237\237\237\377\0\0\0" (make-bytes 5 255) #"AAA" + #"\377\0\0\0\377\217\217\217" (make-bytes 5 255) #"\0\0\0\377000" (make-bytes 37 255) #"\0\0\0" + #"\377\0\0\0" (make-bytes 9 255) #"\200\200\200\377\0\0\0\377\0\0\0\377\0\0\0\377\200\200\200" + (make-bytes 21 255) #"\376\376\376" (make-bytes 5 255) #"\257\257\257\377\0\0\0\377\0\0\0\377\21\21\21" + #"\377\357\357\357" (make-bytes 5 255) #"\376\376\376" (make-bytes 85 255) #"\376\376\376" (make-bytes 13 255) #" " + #"\377\1\1\1\377\200\200\200" (make-bytes 5 255) #"\317\317\317\377\0\0\0\377\0\0\0\377PPP" + #"\377\200\200\200\377```\377\337\337\337" (make-bytes 21 255) #"000\377\277\277\277\377\217\217\217" + #"\377@@@\377\337\337\337\377\277\277\277\377\0\0\0\377@@@" (make-bytes 13 255) #"\376\376\376" + (make-bytes 21 255) #"\1\1\1\377\0\0\0" (make-bytes 9 255) #"@@@\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377PPP" (make-bytes 33 255) #"ppp\377\0\0\0\377\0\0\0\377000" + (make-bytes 105 255) #"\257\257\257\377\0\0\0\377\20\20\20\377\357\357\357" (make-bytes 5 255) #"\376\376\376" + #"\377\237\237\237\377@@@\377AAA\377\237\237\237" (make-bytes 13 255) #"\376\376\376" (make-bytes 13 255) + #"\320\320\320\377PPP\377\277\277\277\377\277\277\277\377\260\260\260\377\17\17\17\377\1\1\1" + #"\377ppp" (make-bytes 37 255) #"\0\0\0\377\0\0\0" (make-bytes 9 255) #"\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377@@@" (make-bytes 33 255) #"\357\357\357\377 \377\0\0\0" + #"\377\0\0\0\377ppp" (make-bytes 101 255) #"QQQ\377\0\0\0\377\200\200\200" (make-bytes 13 255) + #"\376\376\376" (make-bytes 45 255) #"\337\337\337\377@@@\377\0\0\0\377\1\1\1\377\0\0\0" + #"\377\21\21\21\377\337\337\337" (make-bytes 37 255) #"\0\0\0\377\0\0\0" (make-bytes 9 255) #"@@@" + #"\377\0\0\0\377\1\1\1\377\0\0\0\377\217\217\217" (make-bytes 37 255) #"\277\277\277\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\277\277\277" (make-bytes 77 255) #"\376\376\376" (make-bytes 13 255) #"\357\357\357" + #"\377\1\1\1\377\20\20\20\377\357\357\357" (make-bytes 69 255) #"\317\317\317\377\201\201\201\377\177\177\177" + #"\377\340\340\340" (make-bytes 41 255) #"\0\0\0\377\0\0\0" (make-bytes 13 255) #"\277\277\277\377\177\177\177" + #"\377\201\201\201\377\357\357\357" (make-bytes 41 255) #"qqq\377\0\0\0\377\0\0\0\377!!!" + (make-bytes 93 255) #"\237\237\237\377\0\0\0\377ppp" (make-bytes 17 255) #"\376\376\376" (make-bytes 61 255) + #"\376\376\376" (make-bytes 5 255) #"\376\376\376" (make-bytes 21 255) #"\376\376\376" (make-bytes 13 255) #"\0\0\0" + #"\377\0\0\0" (make-bytes 49 255) #"\376\376\376" (make-bytes 17 255) #"\357\357\357\377\21\21\21\377\0\0\0" + #"\377\0\0\0\377\237\237\237" (make-bytes 89 255) #"```\377\0\0\0\377\317\317\317" (make-bytes 73 255) + #"\376\376\376" (make-bytes 53 255) #"\0\0\0\377\0\0\0" (make-bytes 61 255) #"\376\376\376" (make-bytes 9 255) + #"\200\200\200\377\0\0\0\377\1\1\1\377 " (make-bytes 89 255) #"000\377\20\20\20" + (make-bytes 133 255) #"\0\0\0\377\0\0\0" (make-bytes 73 255) #"\357\357\357\377\20\20\20\377\0\0\0" + #"\377\0\0\0\377\260\260\260" (make-bytes 85 255) #"\1\1\1\377 \377\237\237\237\377\357\357\357" + (make-bytes 125 255) #"\0\0\0\377\0\0\0" (make-bytes 37 255) #"\376\376\376" (make-bytes 5 255) #"\376\376\376" + (make-bytes 17 255) #"\360\360\360\377\237\237\237\377@@@\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377ppp" (make-bytes 85 255) #"\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0\377///" + #"\377ppp\377\240\240\240\377\316\316\316" (make-bytes 109 255) #"\1\1\1\377\0\0\0" (make-bytes 53 255) + #"\277\277\277\377\200\200\200\377???\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377@@@" (make-bytes 85 255) #"\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\1\1\1\377@@@" + #"\377ppp\377\217\217\217\377\300\300\300\377\337\337\337" (make-bytes 21 255) #"\376\376\376" (make-bytes 57 255) + #"\357\357\357\377\0\0\0\377\0\0\0" (make-bytes 29 255) #"\337\337\337\377\277\277\277\377\200\200\200" + #"\377```\377000\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377@@@" (make-bytes 85 255) + #"\0\0\0\377ppp\377\200\200\200\377\0\0\0\377\0\0\0\377\0\0\0\377\1\1\1" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0" + #"\377\0\0\0\377///\377@@@\377ppp\377\200\200\200\377\220\220\220\377\300\300\300" + #"\377\277\277\277\377\317\317\317" (make-bytes 37 255) #"\376\376\376" (make-bytes 5 255) #"\276\276\276\377\0\0\0" + #"\377\0\0\0\377\277\277\277\377\200\200\200\377\200\200\200\377PPP\377@@@\377 " + #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\1\1\1\377\0\0\0\377\1\1\1" + #"\377\0\0\0\377 \377\0\0\0\377\17\17\17\377\337\337\337\377@@@\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377@@@" (make-bytes 85 255) #"\0\0\0\377000\377\277\277\277" + #"\377\0\0\0\377@@@\377\257\257\257\377```\377\0\0\0\377000\377\257\257\257" + #"\377PPP\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377@@@\377@@@\377@@@\377@@@" + #"\377@@@\377@@@\377@@@\377000\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\1\1\1" + #"\377\0\0\0\377\21\21\21\377\177\177\177\377 \377\0\0\0\377\276\276\276\377\277\277\277" + #"\377\0\0\0\377@@@" (make-bytes 5 255) #"\200\200\200\377\0\0\0\377\1\1\1\377\0\0\0" + #"\377ppp" (make-bytes 85 255) #"\0\0\0\377\0\0\0\377___\377\0\0\0\377@@@" + (make-bytes 5 255) #"\220\220\220\377\1\1\1\377\316\316\316" (make-bytes 5 255) #"\177\177\177\377\0\0\0" + #"\377\260\260\260\377\217\217\217\377///\377\0\0\0\377\200\200\200\377QQQ\377\20\20\20" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377@@@" + #"\377\20\20\20\377\0\0\0\377```\377\177\177\177\377 \377\0\0\0\377\277\277\277" + #"\377\376\376\376\377@@@\377\0\0\0\377\277\277\277\377\340\340\340\377\0\0\0\377\0\0\0" + #"\377\337\337\337\377 \377\0\0\0\377\1\1\1\377\0\0\0\377\317\317\317" (make-bytes 85 255) + #"@@@\377\0\0\0\377\0\0\0\377\0\0\0\377!!!\377\277\277\277\377PPP" + #"\377\0\0\0\377\337\337\337" (make-bytes 5 255) #"\177\177\177\377\1\1\1\377\237\237\237" (make-bytes 5 255) + #"@@@\377\20\20\20" (make-bytes 9 255) #"@@@\377\1\1\1\377\237\237\237\377\337\337\337" + #"\377\217\217\217\377```\377\0\0\0\377@@@\377```\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\20\20\20\377@@@\377\0\0\0" + #"\377```\377\277\277\277" (make-bytes 9 255) #"@@@\377\0\0\0\377\337\337\337" (make-bytes 5 255) + #"@@@\377\0\0\0" (make-bytes 9 255) #"@@@\377\0\0\0\377\257\257\257\377\277\277\277" + #"\377\20\20\20\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377 " + (make-bytes 89 255) #"\217\217\217\377\0\0\0\377\0\0\0\377\1\1\1\377\1\1\1\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377!!!\377___\377```\377\0\0\0\377\177\177\177" + (make-bytes 5 255) #"@@@\377\0\0\0" (make-bytes 9 255) #"@@@\377\0\0\0\377\337\337\337" + (make-bytes 9 255) #"\200\200\200\377\0\0\0\377\277\277\277" (make-bytes 5 255) #"\0\0\0\377\1\1\1" + (make-bytes 9 255) #"\1\1\1\377\0\0\0" (make-bytes 5 255) #"\277\277\277\377\0\0\0\377\200\200\200" + (make-bytes 13 255) #"@@@\377\0\0\0" (make-bytes 9 255) #"PPP\377\0\0\0\377\257\257\257" + #"\377\317\317\317\377 \377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\237\237\237" (make-bytes 89 255) #"\337\337\337" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\20\20\20\377\20\20\20" + #"\377\0\0\0\377\277\277\277\377\317\317\317\377QQQ\377\0\0\0" (make-bytes 13 255) #"\200\200\200" + #"\377\0\0\0\377\277\277\277\377\376\376\376\377\0\0\0\377\0\0\0" (make-bytes 9 255) #"\0\0\0" + #"\377\0\0\0" (make-bytes 5 255) #"\237\237\237\377\0\0\0\377PPP" (make-bytes 13 255) #"@@@" + #"\377\1\1\1\377@@@\377000\377\0\0\0\377\0\0\0\377\20\20\20\377\1\1\1" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\20\20\20\377PPP" + #"\377\0\0\0\377\0\0\0\377000" (make-bytes 81 255) #"\376\376\376" (make-bytes 13 255) #"```" + #"\377\0\0\0\377\0\0\0\377```\377ppp\377@@@\377@@@\377000" + #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377 " + #"\377 \377\0\0\0\377```\377\217\217\217\377\0\0\0\377\0\0\0\377```" + #"\377\337\337\337\377\0\0\0\377\1\1\1\377\217\217\217\377qqq\377\0\0\0\377\0\0\0" + #"\377\20\20\20\377\0\0\0\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\1\1\1" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377```" + #"\377\177\177\177\377\277\277\277\377\357\357\357\377\237\237\237\377\0\0\0\377\0\0\0\377\277\277\277" + (make-bytes 93 255) #"\376\376\376\377\337\337\337\377\1\1\1\377\1\1\1\377000\377\260\260\260" + (make-bytes 5 255) #"\317\317\317\377PPP\377\1\1\1\377\0\0\0\377\177\177\177\377\20\20\20" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\1\1\1\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0" + #"\377 \377 \377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\237\237\237" + #"\377 \377\1\1\1\377\236\236\236" (make-bytes 9 255) #"\277\277\277\377\20\20\20\377\0\0\0" + #"\377\177\177\177" (make-bytes 101 255) #"\376\376\376\377\177\177\177\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\20\20\20\377\316\316\316" (make-bytes 5 255) #"\177\177\177" + #"\377\0\0\0\377\1\1\1\377\20\20\20\377\237\237\237\377\277\277\277\377\300\300\300\377\277\277\277" + #"\377\277\277\277\377\277\277\277\377\177\177\177\377\177\177\177\377\200\200\200\377\200\200\200\377\177\177\177" + #"\377@@@\377@@@\377AAA\377@@@\377@@@\377@@@\377@@@" + #"\377@@@\377PPP\377\177\177\177\377\177\177\177\377\237\237\237\377\276\276\276\377\337\337\337" + #"\377ppp\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377\237\237\237\377\376\376\376" + #"\377\177\177\177\377\0\0\0\377\20\20\20\377ppp\377000\377\0\0\0\377\0\0\0" + #"\377```\377\376\376\376" (make-bytes 109 255) #"PPP\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\20\20\20\377\317\317\317" (make-bytes 13 255) #"000\377\0\0\0\377\0\0\0" + #"\377\20\20\20\377\237\237\237" (make-bytes 85 255) #"\237\237\237\377\20\20\20\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377 \377\316\316\316" (make-bytes 9 255) #"\357\357\357\377///\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377```" (make-bytes 5 255) #"\376\376\376" (make-bytes 101 255) + #"\376\376\376" (make-bytes 5 255) #"\357\357\357\377\177\177\177\377@@@\377???\377```" + #"\377\357\357\357" (make-bytes 17 255) #"\357\357\357\377000\377\1\1\1\377\0\0\0\377\0\0\0" + #"\377@@@\377\277\277\277" (make-bytes 65 255) #"\357\357\357\377\217\217\217\377 \377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377ppp\377\357\357\357" (make-bytes 13 255) #"\376\376\376" + #"\377\357\357\357\377PPP\377@@@\377PPP\377\260\260\260" (make-bytes 141 255) #"\376\376\376" + (make-bytes 21 255) #"\357\357\357\377000\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0" + #"\377000\377\237\237\237\377\337\337\337" (make-bytes 41 255) #"\357\357\357\377\257\257\257\377```" + #"\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377@@@\377\317\317\317" + (make-bytes 165 255) #"\376\376\376" (make-bytes 49 255) #"\177\177\177\377\20\20\20\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377000\377```\377\177\177\177\377\217\217\217" + #"\377\277\277\277\377\277\277\277\377\220\220\220\377\177\177\177\377```\377000\377\1\1\1" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377```\377\320\320\320" + (make-bytes 229 255) #"\357\357\357\377\177\177\177\377 \377\0\0\0\377\1\1\1\377\0\0\0" + #"\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377\0\0\0\377PPP" + #"\377\240\240\240\377\360\360\360\377\376\376\376" (make-bytes 5 255) #"\376\376\376" (make-bytes 177 255) #"\376\376\376" + (make-bytes 57 255) #"\317\317\317\377\177\177\177\377PPP\377000\377\0\0\0\377\0\0\0" + #"\377\0\0\0\377\1\1\1\377\0\0\0\377\0\0\0\377\0\0\0\377@@@\377```" + #"\377\217\217\217\377\277\277\277" (make-bytes 61 255) #"\376\376\376\377\376\376\376" (make-bytes 193 255) #"\376\376\376" + (make-bytes 29 255) #"\376\376\376" (make-bytes 45 255) #"\376\376\376\377\376\376\376" (make-bytes 5 255) #"\376\376\376" + (make-bytes 29 255) #"\376\376\376" (make-bytes 541 255) #"\376\376\376" (make-bytes 85 255) #"\376\376\376" + (make-bytes 13 255) #"\376\376\376" (make-bytes 21 255) #"\376\376\376" (make-bytes 2024 255))) (require (only-in racket/draw make-bitmap)) (define IMAGE-of-UFO (make-bitmap ufo-width ufo-height))