Skip to content

Instantly share code, notes, and snippets.

@mikesperber
Created January 6, 2016 14:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mikesperber/84273cd5d097edf1cf0f to your computer and use it in GitHub Desktop.
Save mikesperber/84273cd5d097edf1cf0f to your computer and use it in GitHub Desktop.
Kapitel 9, "Die Macht der Abstraktion"
#reader(lib"read.ss""wxme")WXME0108 ##
#|
This file uses the GRacket editor format.
Open this file in DrRacket version 5.0.1 or later to read it.
Most likely, it was created by saving a program in DrRacket,
and it probably contains a program with non-text elements
(such as images or comment boxes).
http://racket-lang.org/
|#
28 7 #"wxtext\0"
3 1 6 #"wxtab\0"
1 1 8 #"wxmedia\0"
4 1 8 #"wximage\0"
2 0 34 #"(lib \"syntax-browser.ss\" \"mrlib\")\0"
1 0 16 #"drscheme:number\0"
3 0 44 #"(lib \"number-snip.ss\" \"drscheme\" \"private\")\0"
1 0 36 #"(lib \"comment-snip.ss\" \"framework\")\0"
1 0 43 #"(lib \"collapsed-snipclass.ss\" \"framework\")\0"
0 0 19 #"drscheme:sexp-snip\0"
0 0 36 #"(lib \"cache-image-snip.ss\" \"mrlib\")\0"
1 0 30 #"(lib \"image-core.ss\" \"mrlib\")\0"
1 0 33 #"(lib \"bullet-snip.ss\" \"browser\")\0"
0 0 29 #"drscheme:bindings-snipclass%\0"
1 0 25 #"(lib \"matrix.ss\" \"htdp\")\0"
1 0 22 #"drscheme:lambda-snip%\0"
1 0 57
#"(lib \"hrule-snip.rkt\" \"macro-debugger\" \"syntax-browser\")\0"
1 0 45 #"(lib \"image-snipr.ss\" \"slideshow\" \"private\")\0"
1 0 26 #"drscheme:pict-value-snip%\0"
0 0 38 #"(lib \"pict-snipclass.ss\" \"slideshow\")\0"
2 0 55 #"(lib \"vertical-separator-snip.ss\" \"stepper\" \"private\")\0"
1 0 18 #"drscheme:xml-snip\0"
1 0 31 #"(lib \"xml-snipclass.ss\" \"xml\")\0"
1 0 21 #"drscheme:scheme-snip\0"
2 0 34 #"(lib \"scheme-snipclass.ss\" \"xml\")\0"
1 0 10 #"text-box%\0"
1 0 32 #"(lib \"text-snipclass.ss\" \"xml\")\0"
1 0 15 #"test-case-box%\0"
2 0 1 6 #"wxloc\0"
0 0 188 0 1 #"\0"
0 75 1 #"\0"
0 12 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 0 9
#"Standard\0"
0 75 12 #"Courier New\0"
0 12 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 2 24
#"framework:default-color\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 15
#"text:ports out\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1
-1 2 15 #"text:ports err\0"
0 -1 1 #"\0"
1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1
-1 2 1 #"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 17
#"text:ports value\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1
-1 2 27 #"Matching Parenthesis Style\0"
0 -1 1 #"\0"
1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1
-1 2 1 #"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 37
#"framework:syntax-color:scheme:symbol\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 38
#"framework:syntax-color:scheme:keyword\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2
38 #"framework:syntax-color:scheme:comment\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 37
#"framework:syntax-color:scheme:string\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 39
#"framework:syntax-color:scheme:constant\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 42
#"framework:syntax-color:scheme:parenthesis\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 36
#"framework:syntax-color:scheme:error\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 36
#"framework:syntax-color:scheme:other\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2
38 #"drracket:check-syntax:lexically-bound\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 28
#"drracket:check-syntax:set!d\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 31
#"drracket:check-syntax:imported\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 47
#"drracket:check-syntax:my-obligation-style-pref\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 116 0 0 0 0 -1 -1 2 50
#"drracket:check-syntax:their-obligation-style-pref\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 116 0 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 142 28 0 0 0 -1 -1 2
48 #"drracket:check-syntax:unk-obligation-style-pref\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 142 28 0 0 0 -1 -1 4 1
#"\0"
0 70 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 4 4 #"XML\0"
0 70 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 4 1 #"\0"
0 71 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 4 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1
-1 4 1 #"\0"
0 71 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1
-1 4 1 #"\0"
0 71 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 100 0 0 0 0 -1
-1 0 1 #"\0"
0 75 11 #" Monospace\0"
0.0 11 90 -1 90 -1 3 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 1 -1 2 38 #"drscheme:check-syntax:lexically-bound\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2
28 #"drscheme:check-syntax:set!d\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 31
#"drscheme:check-syntax:imported\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 8 1
#"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 255 0 0 0 0
0 -1 -1 8 24 #"drscheme:text:ports err\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 255 0 0 0 0
0 -1 -1 2 1 #"\0"
0 71 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 2 1 #"\0"
0 71 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 100 0 0 0
0 -1 -1 0 1 #"\0"
0 75 1 #"\0"
0.0 10 90 -1 90 -1 3 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 1 -1 0 1 #"\0"
0 75 12 #"Courier New\0"
0.0 10 90 -1 90 -1 3 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 1 -1 2 41 #"profj:syntax-colors:scheme:block-comment\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2
35 #"profj:syntax-colors:scheme:keyword\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 139 0 139 0
0 0 -1 -1 2 37 #"profj:syntax-colors:scheme:prim-type\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 139 0 139 0
0 0 -1 -1 2 38 #"profj:syntax-colors:scheme:identifier\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 34 139 34 0
0 0 -1 -1 2 34 #"profj:syntax-colors:scheme:string\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 34 139 34 0
0 0 -1 -1 2 35 #"profj:syntax-colors:scheme:literal\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 34 139 34 0
0 0 -1 -1 2 35 #"profj:syntax-colors:scheme:comment\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2
33 #"profj:syntax-colors:scheme:error\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 35
#"profj:syntax-colors:scheme:default\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 37
#"profj:syntax-colors:scheme:uncovered\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 35
#"profj:syntax-colors:scheme:covered\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 139 0 139 0
0 0 -1 -1 0 1 #"\0"
0 75 1 #"\0"
0.0 11 90 -1 90 -1 3 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 1 -1 2 14 #"Html Standard\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 0 1
#"\0"
0 75 12 #"Courier New\0"
0.0 14 90 -1 90 -1 3 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 1 -1 2 40 #"framework:syntax-coloring:scheme:symbol\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 41
#"framework:syntax-coloring:scheme:keyword\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 41
#"framework:syntax-coloring:scheme:comment\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2
40 #"framework:syntax-coloring:scheme:string\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 42
#"framework:syntax-coloring:scheme:constant\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 45
#"framework:syntax-coloring:scheme:parenthesis\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 39
#"framework:syntax-coloring:scheme:error\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 39
#"framework:syntax-coloring:scheme:other\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 49
#"drscheme:check-syntax:lexically-bound-identifier\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2
42 #"drscheme:check-syntax:imported-identifier\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 37
#"profj:syntax-coloring:scheme:keyword\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 39
#"profj:syntax-coloring:scheme:prim-type\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 139 0 139 0
0 0 -1 -1 2 40 #"profj:syntax-coloring:scheme:identifier\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 36
#"profj:syntax-coloring:scheme:string\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 34 139 34 0
0 0 -1 -1 2 37 #"profj:syntax-coloring:scheme:literal\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 34 139 34 0
0 0 -1 -1 2 37 #"profj:syntax-coloring:scheme:comment\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2
35 #"profj:syntax-coloring:scheme:error\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 37
#"profj:syntax-coloring:scheme:default\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 39
#"profj:syntax-coloring:scheme:uncovered\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 37
#"profj:syntax-coloring:scheme:covered\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 139 0 139 0
0 0 -1 -1 2 1 #"\0"
0 70 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 0 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
0 -1 75 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 70 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 4 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 74 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 74 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 71 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 75 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 70 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 4 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 72 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 4 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 75 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 71 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 70 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 74 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 4 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 178 34 34
255 255 255 -1 -1 2 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 22 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 15 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 14 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 20 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 22 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 14 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 20 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 22 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 14 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 17 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 15 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 68 1 #"\0"
0 70 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 68 1 #"\0"
0 70 1 #"\0"
2.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 68 1 #"\0"
0 70 1 #"\0"
1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 68 1 #"\0"
0 70 1 #"\0"
1.0 0 92 -1 -1 -1 -1 -1 1 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 255 0 0
0 -1 -1 68 1 #"\0"
0 70 1 #"\0"
1.0 -2 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 68 1 #"\0"
0 70 1 #"\0"
1.0 -2 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 255 0 0
0 -1 -1 68 1 #"\0"
0 70 1 #"\0"
1.0 0 92 -1 -1 -1 -1 -1 1 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 34 139 34 0
0 0 -1 -1 68 1 #"\0"
0 70 1 #"\0"
1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 73 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 71 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 73 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 73 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 19 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 20 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 19 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 4 1 #"\0"
0 -1 1 #"\0"
1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 0 -1 -1 72 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 72 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 72 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 178 34 34
255 255 255 -1 -1 68 1 #"\0"
0 70 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 255 0 0
0 -1 -1 68 1 #"\0"
0 75 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 255 0 0
0 -1 -1 68 1 #"\0"
0 70 1 #"\0"
1.2 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 68 1 #"\0"
0 75 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 68 1 #"\0"
0 75 1 #"\0"
1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 0 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 200 0 0 0 0
0 -1 -1 2 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 255 0 0
0 -1 -1 2 1 #"\0"
0 71 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 255 0 0
0 -1 -1 2 1 #"\0"
0 71 1 #"\0"
1.0 0 -1 -1 94 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 255 0 0 0 0
0 -1 -1 2 1 #"\0"
0 70 1 #"\0"
1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 148 0 211 0
0 0 -1 -1 2 1 #"\0"
0 70 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 255 0 0
0 -1 -1 76 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 76 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 76 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 76 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 178 34 34
255 255 255 -1 -1 73 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 178 34 34
255 255 255 -1 -1 74 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 178 34 34
255 255 255 -1 -1 15 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 19 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 178 34 34 0
0 0 -1 -1 2 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 178 34 34
255 255 255 -1 -1 17 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 4 1 #"\0"
0 75 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 100 0 0 0
0 -1 -1 68 1 #"\0"
0 70 1 #"\0"
1.0 -1 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 68 1 #"\0"
0 -1 1 #"\0"
1.0 -1 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 68 1 #"\0"
0 70 1 #"\0"
1.0 -1 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 255 0 0
0 -1 -1 79 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 78 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 78 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 79 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 77 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 77 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 26 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 26 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 22 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 173
216 230 -1 -1 15 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 173
216 230 -1 -1 4 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 173
216 230 -1 -1 14 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 173
216 230 -1 -1 20 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 173
216 230 -1 -1 19 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 173
216 230 -1 -1 17 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 4 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 22 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 14 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 15 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 20 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 19 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 17 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 173
216 230 -1 -1 24 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
255 255 -1 -1 2 1 #"\0"
0 -1 1 #"\0"
1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
-1 -1 0 884 0 4 3 94
(
#";; Die ersten drei Zeilen dieser "
#"Datei wurden von DrRacket eingef\303\274gt. Sie enthalten Metadaten"
) 0 0 4 29 1 #"\n"
0 0 4 3 83
(
#";; \303\274ber die Sprachebene dieser Datei in einer Form, die DrRac"
#"ket verarbeiten kann."
) 0 0 4 29 1 #"\n"
0 0 4 3 374
(
#"#reader(lib \"DMdA-vanilla-reader.ss\" \"deinprogramm\")((modname ka"
#"pitel-9) (read-case-sensitive #f) (teachpacks ((lib \"universe.ss\" "
#"\"teachpack\" \"deinprogramm\") (lib \"image.ss\" \"teachpack\" \"de"
#"inprogramm\"))) (deinprogramm-settings #(#f write repeating-decimal "
#"#f #t none explicit #f ((lib \"universe.ss\" \"teachpack\" \"deinpro"
#"gramm\") (lib \"image.ss\" \"teachpack\" \"deinprogramm\")))))"
) 0 0 4 29 1 #"\n"
0 0 17 3 11 #"; Kapitel 9"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 16 #"; Bild mit Sonne"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 3 #"sun"
0 0 4 3 1 #" "
0 0 14 3 5 #"image"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 3 #"sun"
0 0 4 3 1 #" "
0 3 29 4 1 #"\0"
2 -1.0 -1.0 0.0 0.0 0 9 500
(
#"\211PNG\r\n\32\n\0\0\0\rIHDR\0\0\0002\0\0\0001\b"
#"\2\0\0\0\27\311mH\0\0\20\245IDATx\234\265\231K\250'\331]"
#"\307\277\347}\352\371\177w\337~\367\314"
#"\220\0313\301\211\233h\304\250\370\2\227"
#"\21\24\202\230\b\272\211.\204\200\270\b*\301\350\4\22\t\212(faH \4"
#"\25w\301\235\212D\20\335\4\22\206Lf&\241{\246o\367\275}\37\377GU"
#"\375\253\352\274]\3346\303\214=\311d"
#"0\337M\325\201C\235\17\337\372\235:"
#"\347|\213\244\224\360Nu\362\313\4\32\266\25R\270 \20zA3\3079r\215"
#"\362\357\337\371c\1\220w\200\25?Q"
#"\371]g\316\341{\351:\313\347z\277\215*Z\271\300p\242Y1\362\\\3138"
#"\2\210\2>\350\371\227\207\37.V\370"
#"\314\202\371u\2105\272\236\20\352O\310"
#"\366\320\364#\31\6\226e\241\276\252t"
#"\32\235G\263\227JZ\236k\301\307\224"
#"0\266\20\\\316\376\311\374\377c\331\217"
#"\21J@\265\364\31g\2755.g\264"
#"\211\215b\231\351\36j\301\307\241\201\22h\3662\237@\n\353{\t@p+K"
#"\305s\223\n\36v>\31\241\376\316\276"
#"\235\341\350\367\355\321|\230\f\37\3251"
#"\26Dq\327+\262Q\314\203\272\20\eE\265\204A5\23)Api\34\306\235"
#"\35N\22\200qg\223\244\261\3040\362"
#"\256\307\3301\237\327\242p\303G\365\333"
#"\301\372>n\305\337#\236!\f\n\200\357\r\261\220W\0 \245\n\262%\0161"
#"\26\343\331^/\301|\325\357b\263v"
#"\371\4\324\301y\273;\205\20DU\311\357y9\247\263'bo\204\344\3\0\267"
#"e\331\347\375;\301J\237Z\330\207\216"
#":\304\242\245\373\n\200\17\226Q\343\230\22\334\0202\e\3176\27=\365r"
#"\226\322&\f\212\347\271\3376\303(\0\20\e\273\36\323\245M\22\276\327z"
) 500
(
#"I\270\37\330\204'\343\23f!l\206"
#"\373\337\253\332\36\217\25\377|\225\214%"
#".\302\3320\26\221o\230\a\0\3533\337\17\304\242]cqYP\255\a\323\302"
#"`lQ\35(\226\31J\20\6\260\f>\240y\t|\256\5\37U\211$+\310"
#"\326\36\203\347\212Qs\301\a\200\177\366"
#"\361\246<\6+~\242\362\301\360\311\304\17\275\b}h`}Fld\231\221\234"
#"\357\216\24\245{\0R\210~G\206\321fZF\201\331\312\32\253\23470\20\205"
#"\202\365\234\311\321\f\304B\226\n\200\313"
#" \270I\2t_\21\325R\17\252\270\325D~\3621\223\340\361%\317\231\n\274"
#"\242\372\222\355aiM:\v\200t\231"
#"\v\225\276\272\327U%\205\340\314\361\334"
#"r\216a\264\334\333\256\377\337\267\237\n"
#"\337\e>\255\351\322\251+\vz\275\216"
#"\205\31a\3341\0000\217\375\266u\2752VYM\222qo\313-\377\247U4"
#"\346\2427\275\262\"\367NC\254\bi}\310\250\32x@\340\bc\226R\224\""
#"G;\16\343\20\6\351\274\315j\350\345,\356:\267wQ\200\20\360\\9o\364"
#"bA\335\271\17 \235\240Z_\24h"
#"*\201s\241\16\270\37\206\300\221L\241\377\262{K\267\342\3633B(gJ%"
#".F\220{\247\311T\230\0271\26\32\203{\b\08\27\304F%L*:H"
#"\36D\3052[\315Y\30T\344\233(\250\245zl\301s\225v&\356\224g\311"
#"\322:\265,\2252\360V\344\206s\b.\351\244\f\323,&\b.En\232\17"
#"\223\267\304\n\234\0\200\265V\23cU"
#"\337\200\255\22\331\0343&#G\214E\337\200M\34\313L\177\2128:61Z"
#"\332l5c:Lo\a1\2\326s6f5`=\231\250\224\222\377\366\240\313"
#"\350h\30\356;\267\301\356Hv=<K\4\233"
#"\230\22\317d\232\225D\351|\365\26\265e\377H"
) 500
(
#"\322MK\366c\30\v\342&\2767j\16\277\353(A\344\233\341\f\371%\231\251"
#"\n\3632\t\224O\225t\217\260S\374\231zh6\243\205\313\226ny\340}\b"
#"\242r^;\32\306\263\324\365@=\230\327\206LU\3315\3139\23\205E\223\261"
#"\207.aF\254\213\227o\240S>\30\334z\352\361X\"\257\2'a5a\313"
#"D\26\345\320\300\34\201\250%\255K\352g\331\22\354*c\253D{K\224p}"
#"G5Rj\211\22\331r\251\346Hg\307\344\265\215*Q_\36\252\231PsL"
#"\236\206\2226l\345\330\260\301\264ty\225Ok-\0015\4\16\264c|\320\221"
#"\356\224T\216\314\247\214R|\356=\257"
#"\317\271\213\213\373\353\247\241\31=ut"
#"w\32o\334f\332\316V\331\311\235\340CW^\36)ALH\17\2\253\1\200"
#"\a\0226\31\271-\270\2134VN\356\270\343aA\306#C\327\0202#\363Q"
#"\260\22\222On+\323\265\372\212 \344"
#"\200sa\371\3\333\201_\256\371\234\306\263m\b\5i%\257g\202P_O\340"
#"\2\177\223[4$\26R\222K\0\351h\27S\16\311\5\267\276\37=\253\255\236"
#"\233s0\277\1\20\246E\314%*\235\316\e\277\353Rj\331d\271?\365\204,"
#"\210\205\372\245\237R\357\276\301>\360\333"
#"\361\3063\351\346\217\211i*V\234\220\205\353{\277\333S} \17 \270t^"
#"\247\e+yY0\332\330{\257\370\301"
#"\20\37\271\37\336\340V\370\314\2\345\n"
#"\362&\342\235\270\270M_\271\2136\210"
#"\347n,W\257\271\276\213\215\21y\323Kx\17w\356d#\350r\36\236R\370"
#"\316&\t$q\220\36|\243\314aN6\272\252x>I\317\374F\274\365\363\342"
#"\211\227\375\372\e\361\345o\r\247\235\340\e\252Lp\205=\333g"
#"\365\214\3713bA\246\317\5~\17\323\202\256kz\357n,\244\257"
) 500
(
#"\256\274\301\255\310\31$K\266\301\342Y"
#"\314\27\344\366\324\235\4{\370J\234]"
#"\226\263\271:\20\264.\1\230\16J\230\20l\30-;=\242uI\257\254B\323"
#"\233\275h\316\261\275oRj\375\275\27"
#"\202\353\1\240\276\221\336\365\253\364\3\37"
#"\322W\4\363\210\242v\233\275\232\303\321`\254\242u\31\37< dB\312U\22"
#";\314\313\224\22\357O\303\227~\356u"
#",\221\257\222\\\245\33151\234\301\264"
#"\201\23\231\366\3118\326o|\275\360\203"
#"\202\265\231\252\364r\326n+\0\251="
#"\366\301\204X\246n\357\266'(3\273"
#"\207\17\22Wr\240\305W\377\212\376\347"
#"\237\5\267\347\247_\307\365\367\323\372Z"
#"\2729\23;\27c!\270\224\261\241\265"
#"\361\273\216\365gt\177F\3735[\335"
#"\n\261\244\207w\3340\20\275|\35\313"
#"\217\206\20B\272c?\30\354\255;\t\276WT\37\270-I\307wyf\34\365"
#"\2705\3\220F\307\331~8-\222q\376d3\274D\304\316u\337\\\327\267\212"
#"2\aQK\346\23\245%\324<n^N\345u\\z\226]\177\226R\306\2561"
#"1\217fM\302N\320\372Z\22\300\274"
#"4\257\r\343\261\215\3439J\223\346\327"
#"\323\371a\32\317^\307\"\222\307\263W"
#"\243\261\224t\341\364.\243\r[\2058"
#"\0363\272\343;\347\203\211gbx\371"
#"\265\241\331\2247\212\204\31\321\373\361A"
#"\241\346)\237P\37l\256\241\16\324\364"
#"'\247\204\3200Y\305\251J\367\376\203"
#"\315\237\211/|\221~\361\27\375\346>\243{\277\353\4\327\"7Tk\330\240n"
#">\343\372\16\222k9R\27\30e<Sd>M\246\305\27\336\17\200\207\317\277"
#"\17\353#\264\222.\"\315VrV\330\315\253\311x\6\4E\366]\3056m\266"
#"\232\241\207\333\e\330s\220\231\232#D\346\207=\222\345!"
#"\303T\371\220\221\e\357\345'\337q\17w\326\237\213\235\243"
) 500
(
#"O|\205~\373\337}\314\361\355\327Bk\2S\243\365Z*Z\267lq)6"
#"\203\3402\315\2n>\227\3325$\367\203!\262\206`\236h\16\3608\354 \30"
#"\275:%\335Y\334\337w}'\270\f"
#"\365\312\365\203\324\271\226\247\351`\356\327"
#"{\347\215\276-\310\342\372\370\265;\272"
#"\252\304*v\207\200\1\277\221\251\324\230"
#"\2235\372\377J\323K\303\235cB \226\263\376_>\247\34746;~u\22"
#"\306\271\352Oe\32\2'\264\276\235\216"
#"v.\236%S\360\25I\202\304\346>\344J\360\321s\206\256\244:\2\340\2749"
#"O\355\336\263\16\0\317\n\22\204\271\37"
#"Ty\237\315\313x\276\346\371,\354\327<\a\227K\177\177\303p\30c1\230V"
#"\34+\275X\360\314\204&E9\325e\23\270D\267\315V\2634nh\245\205\240"
#"\260{\272w\311oC\2570\2313\277"
#"\346;\333\35\335\315\226K9\273\345\17\327\2242<<%>\305\375\340\2018e"
#"\334\337\203:\0@}6q\336\0227\221c\362!g:\343Y\336\365\360\301$"
#"S\205\260\261k\204\235 \366\f\222s\246\262',\f\2102\346\350<4\202-"
#"\23\243\215\17\259\250\231\36\351\"\370"
#"\351<\225\n\353>\234\221(\26\373So\327{\322\35;o\307r.\270\"\213"
#"\322\365\17p\353Z\274\374T\270|#\225\aC\263a~C)#\233.\255{"
#"\0\34\353\201^Y\245N\370\215\347\241qmg\f\0$\343L\353\344\1\364\22"
#"a\240$al)\340\210\222\204\270(jb\e\224\312y\320]\b\241\303\253\240"
#"\231\17'\35\362\332\336{\310\373Hkc{\245+\20U\245\262\20\2643\207k"
#"\0\343\213\347\3351Y\374t-\336\367"
#";\2549\244\303\227\312\353\245\353;A\31u\21\325\34\0\25\177r"
#"\304c%\370H\353\22\326R}\220\251*\253g\261Qz9\243t"
) 500
(
#"\231\4\0\20[\225\2275\237V\303}\247\257.\1\360\313EJ\347\376t\23x"
#"+o(\276\"\220\363(\212\234\364\252"
#"p\2610\t3\352\20\6\225\346#\317"
#"\254\353;>\255\363\32Y\25\225\264\354"
#"\341\213\354\345\177\306\361\327=M>\30"
#"\221\227\260k\0\351\311\237y\364\201p\375q\340\265\353;\347-U=nq2"
#"wl\25\305\223\227\322Y\v\300\367\206"
#"]\233\221+\23\246\307\311U\233\314\231"
#"\3376\375i\360CF\35\206\3732\232"
#"|<\266\343z\313V\323\375\310\322\374"
#":u\240\213\300V1\360\230\214\363!"
#"\263\307 \235\1\300\230,\237\235\363_"
#"\370\225\364\23\37\303\301{\211\2569S"
#"I\320X,\243\240\261\276\376hMd"
#"\223\253d}L\247\323\320p\310\310\252"
#"\333\311z\234\2768\274p\327\216\\\237"
#"\307\354i\205\247\177\234\376\350G\342\366"
#"\25\274\372\257\364\325o\342\245\273Y\235"
#"\364b\346\262\a\325S\327\250\333\29"
#":\23N\357\333#I\335\21\255\21M\316\2477\351\376\5\312\2459<\223\363j"
#"<\213\343Y\322\313^?\375\236\364\263"
#"\317\223\243\257\3050@\0241\27\314'"
#"\252E\270\276\24\375y\370\312o\222\224"
#"\222\377\233g\30\253|\377Z\352\4\354"
#"\251\230\316\374i4\335\316\35\23\0z"
#"I\304uA\177\355\313\361]\277L\272"
#"\2230\236\311\27\376\241\375\302\247\0$\tY\24!z\21\f\26\"\234RZ\e"
#"\0\261Ql\25\207;2\177\262J\306"
#"\215\347\347\305\212\207\321\3H\2\314\203"
#",j\274\357\267`\326\351[_\245\325"
#"<\245}lO\310\225\347\220\6\376\221\377~\344V2\233@\0036\214\327\226^"
#"z\227=|%l\251;#\342 \245\306\321\32\200\210_\377[\266\277\237\3723"
#"i\373\370\312W\245\20}\322\330\32g\367\276\2271\207\256'"
#"\342\335\23t\206\240a\251w\353\254\2741\354\357\354\313\247\312"
) 500
(
#"\274\206q\271\316F\37\252\270\353lo"
#"\264\224\344\305\2570\237\240-\366\207q"
#"z\3\322\246\346\201(\346\27\213\317\243"
#"\223O|~\226\332\216(\235\4\365\247"
#"\311t\355x\b\265,\362\t\365C\317\247u\344\233\330(\376#W\343\203;!"
#"\326l3\354\316]u\240\242\2009'\202\217z9\213|#\362\322\263\232\3511"
#"\36\245\30\2759o\263\272\2\20\5L\327\22\v9\257\334q\253\236>`\264\3"
#"\20\213%\n\311vg\0\\\337~\367\314\370h\207\23\213\205\177\350H\350D^"
#"&\321e\365\f\3277\300>%\214\215\34N6\273S\276\270b&\3560\n\345"
#"\316\233\220\341b0\273\246@\362\275\264"
#"\256\227\230\1\216\270h\6\370f\223\327"
#"\310\352jh\3324\202h\2243l{\355\e\260\22\303\203c\21\31$W\ag"
#"\330#\1dqE\316\17\336\274i\206\r\262p\200\214M\307\1`\223\327\350\17"
#"\263\216'\221\217\274\303\342\212o\316\300"
#"s\306\311\310\30\34\257\252\3;\36%"
#"\236\17)\201\344\310\b\2rs\354\206fk\3321\237\24\216{\337\267P\240\4"
#"\362\0\16\250f\202\255R\377-\320\353"
#"\265\234\301\2354>\304d\34Q\202q"
#"\232.\277\347\315\233\346\376\245\273\201\317"
#"c.\223\251\342\210\330\250\204Y\266\342"
#"2\216>d\206\312\356\34\316\361\346\201"
#"\21\\\271\274\322\322\206\255aS\253UF\b\224T#\262\241\331\214gI\306Q"
#"+\31%\r[\303.\325j\169\257\350\276\242\373\312e\304\17*\177n\232\223"
#"\336\3363\224\202\270\t\363\340LQZ"
#"\362\17\376\343w\335z\375T\355\376\370"
#"J\34\217\305\210T\3600\372\310a7\320P\347\17\rcPea\272\275m\205"
#"\254\334d!\254s\304b\347\212L\205\3756\22\223d\345X&\363\t"
#"!\312\3305\364m1\334\221\0\264\262\342\206r}G:\304\2Q\3149"
) 500
(
#"kq\356\272\255.\262\200J\213K\314\17\3737%\21o8\354\307\217+\317\22"
#"q\23\264\306\a{Q=ak\302 \331\324\212\310\214\t\224B\316\221\214\2\20"
#"\266F\316\261?\221\316[\301e=\267\375\b%\25\277\224|\250\250;Om\26"
#"g\3\363p\275\362\275\321\313\31\363\ec\25Q<\265#\323\201j`^R\255"
#"\351\357\237\276%\26\0\373\311\"\265="
#"\0001\"\360Y{<\360\231K;\335\254\335ti}/\223\244\276\37\305\274\2"
#"\260\177u\234\\s\2343\347\202\17:"
#"\253\23u\261\379\243\203\17\272*\310\346tX\\B\210\312X\223k\354#4"
#"\24\26\345\370\340\\\24\212\3479\363\233"
#"\300g\342\263k\274QoNl\250\276$s\250\304\3\237\321n\303(K;\235"
#"\255\366\305\224vG\372\202iy\23n"
#"\335\2421\365\23\16\3000\212\335\271\324"
#"W%\243\306:\307\331\20\6\311\334\270"
#"9\35\302^\357:\335\365D\n\321\217\310T5\32\343Y\362A\3H\343\306i"
#"\320n\203\377\243\307\345[\317\317\334v"
#"k\326\20\\\1\240.\212\302u=\210\205\24bh\250uFW\340\263\214t\266"
#"}\20\0@C/A;\364#L\303'O\372\335\3Y\346\20\334\366#\262\32"
#"<W\224\230\365!\346\227\204(\234g\210\34\254\257B\336\352\317<&y{L"
#"\276E?\276Q\263\327\233\241\340\201\317"
#"\210E\222H\245K)y\17~\271\306\3510\214\2\32\206J%\20\266\262\37!"
#"\270d\271\337\277\252U\264\316\333(\240"
#"+\360\\\231\326\230\16ZIc\235\351X\214\2054 \352\361L\217w\353B\346"
#"\17\310E\251\312h\372\21<W\2767<WCC\4\37\235\3272\216\316K\0"
#"<\267q@L\217\22o6UCC8\eE\241\206\206\\T\230"
#"(2\21\6\37TJ\211\347\26\200<\200\372\364[\246\311o\31\200"
) 318
(
#"\253O'\252%\313\314\256\323\272\252d4<Wno\4\37y\256d\34-\325"
#"IR\242\254\357%\231 I*\270\215%d4E\26\306\26\355\261\21|\364,"
#"\n.\313)\217\2IR6\265<W\272\252\276\a\323\367r\353B\366wIJ"
#"H\0222\1\300\366L\227\323q\264 "
#"\26j\2010\250\315\241\321\265\26|\364"
#"!c\16PC9\203\351\230\367\341\321{O\200\302\305j\310\3736\225o\31\343"
#"\376\0X\27\212\37W\350l\267\1uH\22aP\371\312\230\16I>\232\a\375"
#"\216\\LR}\215\371\215\0\320?\f\371e66c\210RE[\335VJ\32"
#"G+\365\27\315\367\35\356\355b]h"
#"\375\353\331\305\215\357\307\213\e\301e\24"
#"\220\302\306\1\306\241\337\222|\232l+"
#"\212\31q\235\265N\310\312\1(of"
#"\362\22\343\177\330\276\315\201~0\254\v"
#"u\37\"\233F\2269\0$I\211\215\303h\2539b,\242\244\343i;l!"
#"*YL)\0bc\222\364\207\376\207\354M:\371 \1`\254T\322\n.\235"
#"\267\27M\214\361\306\277=>\331~\233\372\37\274\322\24"
#"\216\r\31\205\223\0\0\0\0IEND\256B`\202"
) 0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 20 #"; Breite des Himmels"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 9 #"sky-width"
0 0 4 3 1 #" "
0 0 14 3 7 #"natural"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 9 #"sky-width"
0 0 4 3 1 #" "
0 0 20 3 3 #"500"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 17 3 19 #"; H\303\266he des Himmels"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-height"
0 0 4 3 1 #" "
0 0 14 3 7 #"natural"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-height"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"/"
0 0 4 3 1 #" "
0 0 14 3 9 #"sky-width"
0 0 4 3 1 #" "
0 0 20 3 1 #"2"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 18 #"; Bild des Himmels"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 3 #"sky"
0 0 4 3 1 #" "
0 0 14 3 5 #"image"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 3 #"sky"
0 0 4 29 1 #"\n"
0 0 4 3 2 #" "
0 0 22 3 1 #"("
0 0 14 3 9 #"rectangle"
0 0 4 3 1 #" "
0 0 14 3 9 #"sky-width"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-height"
0 0 4 3 1 #" "
0 0 19 3 7 #"\"solid\""
0 0 4 3 1 #" "
0 0 19 3 12 #"\"light blue\""
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 22 #"; Drehradius der Sonne"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-radius"
0 0 4 3 1 #" "
0 0 14 3 7 #"natural"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-radius"
0 0 4 3 1 #" "
0 0 20 3 3 #"200"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 39 #"; Bild mit der Sonne vor Himmel liefern"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 12 #"sky-with-sun"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 6 #"number"
0 0 4 3 1 #" "
0 0 14 3 2 #"->"
0 0 4 3 1 #" "
0 0 14 3 5 #"image"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 3 14 #" "
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 12 #"sky-with-sun"
0 0 4 29 1 #"\n"
0 0 4 3 2 #" "
0 0 22 3 1 #"("
0 0 15 3 6 #"lambda"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"t"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 4 #" "
0 0 22 3 1 #"("
0 0 15 3 3 #"let"
0 0 4 3 1 #" "
0 0 22 3 2 #"(("
0 0 14 3 5 #"angle"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"*"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"/"
0 0 4 3 1 #" "
0 0 14 3 1 #"t"
0 0 4 3 1 #" "
0 0 20 3 2 #"12"
0 0 22 3 1 #")"
0 0 4 3 1 #" "
0 0 14 3 2 #"pi"
0 0 22 3 3 #")))"
0 0 4 29 1 #"\n"
0 0 4 3 6 #" "
0 0 22 3 1 #"("
0 0 14 3 7 #"overlay"
0 0 4 29 1 #"\n"
0 0 4 3 7 #" "
0 0 14 3 3 #"sky"
0 0 4 29 1 #"\n"
0 0 4 3 7 #" "
0 0 14 3 3 #"sun"
0 0 4 29 1 #"\n"
0 0 4 3 7 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"+"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"*"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-radius"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 3 #"cos"
0 0 4 3 1 #" "
0 0 14 3 5 #"angle"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 3 10 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"/"
0 0 4 3 1 #" "
0 0 14 3 9 #"sky-width"
0 0 4 3 1 #" "
0 0 20 3 1 #"2"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 3 7 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"+"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"-"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"*"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-radius"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 3 #"sin"
0 0 4 3 1 #" "
0 0 14 3 5 #"angle"
0 0 22 3 3 #")))"
0 0 4 29 1 #"\n"
0 0 4 3 10 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"-"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-height"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"/"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 12 #"image-height"
0 0 4 3 1 #" "
0 0 14 3 3 #"sun"
0 0 22 3 1 #")"
0 0 4 3 1 #" "
0 0 20 3 1 #"2"
0 0 22 3 7 #")))))))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 2 #"pi"
0 0 4 3 1 #" "
0 0 14 3 6 #"number"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 2 #"pi"
0 0 4 3 1 #" "
0 0 20 3 10 #"3.14159265"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 39 #"; (big-bang sky-width sky-height 0.1 0)"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 26 #"; (on-redraw sky-with-sun)"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 40 #"; Zeitpunkt zum n\303\244chsten Tick berechnen"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 9 #"next-time"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 6 #"number"
0 0 4 3 1 #" "
0 0 14 3 2 #"->"
0 0 4 3 1 #" "
0 0 14 3 6 #"number"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 9 #"next-time"
0 0 4 29 1 #"\n"
0 0 4 3 2 #" "
0 0 22 3 1 #"("
0 0 15 3 6 #"lambda"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"t"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 4 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"+"
0 0 4 3 1 #" "
0 0 14 3 1 #"t"
0 0 4 3 1 #" "
0 0 20 3 3 #"0.1"
0 0 22 3 3 #")))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 16 #"; (on-tick-event"
0 0 4 29 1 #"\n"
0 0 17 3 14 #"; (lambda (t)"
0 0 4 29 1 #"\n"
0 0 17 3 17 #"; (if (> t 12)"
0 0 4 29 1 #"\n"
0 0 17 3 32 #"; (end-of-time \"the end\")"
0 0 4 29 1 #"\n"
0 0 17 3 25 #"; (next-time t))))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 15 #"; Bild mit Mond"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 4 #"moon"
0 0 4 3 1 #" "
0 0 14 3 5 #"image"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 4 #"moon"
0 0 4 3 1 #" "
0 3 27 4 1 #"\0"
2 -1.0 -1.0 0.0 0.0 0 8 500
(
#"\211PNG\r\n\32\n\0\0\0\rIHDR\0\0\0002\0\0\0002\b"
#"\2\0\0\0\221]\37\346\0\0\16.IDATx\234\315\231[\257mYQ"
#"\307\253j\324\270\314\313Zk\237\323\234ncH\374<&\306D\23\f\340\355A"
#"\215\267\304D\320(4M\3237\2\"<\30_\214\361M\202\240\202\2\321\370u"
#"PC\323\247\317\336k\257\265\346\234\343VU>\354\346r\272OCw\323F\353"
#"q&s\214_\376U\243FU\r43\370\377g\364\177\r\360d\343\367\374\347"
#"\347_~\211\343|\230\203yv\242fv'\374\322\333\272\256u\225\252\333+/"
#"}\366\275-\216\357\326\211_\370\374\27\257vq\34\247l\202\210R`7z\210"
#"\236\231\21\261\367~\272^\0`k\27"
#"\255\330,\313\232\233\272\347\236\177\366\177"
#"\v\353\257\376\362\v\323<)\3064\373|iC\300F@D\21\b\0\324\273\253"
#"azt9\265\326X\254\230`\353\233\n\21%\244\363\332onn^x\351\371"
#"\367\23\353\345\27?{5\3078]Q0\347\34\326.\322\253\346n\34\0017\225"
#"!\245\0\324\35\6C\0\350\16u\313"
#"\215\320Y\240`\23\207s\331\316\227\313"
#"\365\365\365\313/\276\362\376`}\366s"
#"\257H\201{\17\366\301\240C\325\2\0\220\206d=\227\6h\32504\207T;"
#"\0174\370\311\314:T\206\240\324\253\20"
#"\"\16\303\260\363q\335\266\233\365ry"
#"t\363\354g^\370\251\260^z\341\25"
#"\306\336{\207\350Edt\376\352\352 "
#"\354\3309\366\276\267\6\0\344\34\"\""
#"bo\315\211\346\276:\347\252\220\210\250"
#"*\327\255\200\316>\362\356\312\207\320."
#"K6=\237\317\247\207\217>\367\305/"
#"\275\27\254\227>\375\\\255\325\314RJ!\4\344a\36\334~\177\210!"
#"\254\333&L\245\24\313\205Q\0@\275\ew\367G\342u\333Z\253\252"
) 500
(
#"j\236\273\210\345R\300\234sW\303$"
#"L\2755\250\355\322j)\345\374\372\365"
#"+\177\361\205w\207\365\342g^\356P\226e\2318x\357\231\371\352\231\a)%"
#"\08>z\225-\260\347\226/\206\301M\203\231E\300y\336\2711\251\352\266m"
#"f6\20\253j\1\325\266\252\252O\273"
#"\204\256\200\232\331\361x\f\n\213\264\323"
#"\351\364v\31\344\311\351T\352R\317K"
#"\4\22\254\0\340\275\367j\226\313\355\355"
#"m\316\331$?|\370\372\261\nZ\305"
#"\355\202\245\345\276.\247G\226\353\200n\37RJ\211\23\f)E g\336c\324"
#"\266.\255X.\3010\245$\336%\240"
#"\247\367W\317>\367\311w\212\365\322\247"
#"\237\333\362\206^!\372\340\357\21\3214"
#"\215\215\260\265\326.k\333\364\341\222\325"
#"\273\253\340\f\303\206,\324\274B\345X"
#"d\315\262\200\227\311\371\200CA\353P:T7\16\310\3\0@\f\202\3253\357"
#"Bt\323\320\231\356\215\363\307\377\364c"
#"oexs\226\177\356\371O\265ee\307\214\fb\20\205\221{\353,\245\264\266"
#"\251\220\37\243\344fv\2542\261\f\4"
#"\331\374\310\30|\24 k\16\314\311\340"
#"l+\350\20\\\302\272\326\372\bS\220"
#"e\303i\210~\356N\314\271\275\372\22"
#"\302\332o\367q\370\311j\221\372F\240"
#"\252D\4\321\263\330\20p\313\371\365\265"
#"\254EG\347=\211\5\366\230&\16\236\244r\344\256=\fu;A\251\227\232\301"
#"\313\272\256\377\365\275\357\\^\373n\253"
#"\265\371\264\202k\255U4\255 X\17"
#"qH\350\272\303\230\22\2440\\\355\337"
#"\352\312\307\324\372\314\213\317\a\as:"
#"\\\362\355\344\334\350\243\5\276\210L\301"
#"S\357>p\251\325\314\"\222\221\0pS\247\275\a\200\326Z\f\3438N\227\313"
#"y]\267\363\332\252\20\265M{\365\n\240\216\357\358\0"
#"\223\30\305J\220b\244\326\32\0003\273&\266\337\3778\265\230"
) 500
(
#"y\351\365\274\35\347t \242a\27F"
#"\342\231,\227\22C\250\2559\347\274\367\311\203z'L\354\\P\350L\314LC"
#"*\240\346\271g\205\365\214\265o\310u"
#"\225\r\371\334J^oS\3040\354\207"
#"\0\3:\361\316\0023\365\340=\317\343"
#"\344\374\363/|\372\311X\177\375\245/"
#"Z\337\0\3009\327\241\3604\314\207\17\210w\352\235z\267\3243\"\232Ywh"
#"\30\274B\2\362\273\311\a\177o\234&\16\262n\252:r\350\275W\264\340=Y"
#"M\36B/\16\332\351z\311\307\363\344<\0215\310T{P\20\21\352\"\"\344"
#"h\30\206'cU\202\363\332X\f\0\210h$n\227\205\273n\325\250\tC\f"
#"\336\233\331\200\16\0\202\323\216\225\362\2"
#"\0004\244\20\202\367\241\237n\324\265F"
#"\330\263m}A\341\305\250\251#\365\335"
#"\341\251\333\245W\344\321CZ\333\345f"
#"\275\344b\215\360x<\256\365\2\222?"
#"\361\354\237?!\266\\\23D\314%\a\366\0p[6\22669\217\210\20=8"
#"\347\206\30115\263\321y3\217]\272"
#"\242\366\345|l}\30\322t\365`\367"
#"\301\336\373\243\374HD*\322\30\24\320"
#"z\201\16\205\21|\313\272\225\353u\r"
#"1\212\361\340\260\200n\327\17k\255\345"
#"Tc\214\336\3737\253\365\267\177\363w\267ec\261\340Cw\310bX{k\255"
#"9\34\320\271\256A\301\2662:\36\35W\204F(\336\201\3270\354\264\0)\17"
#"\3506\223\343r\355\324#bBw\254\342!*5g\1\272[\301\365\336J\255"
#"\333\345ft\236\2068\20\3376\245&K\257\227|;qx\202Z!\204\315;"
#"j\242j\305i bC3\263\350\233\3668\304i\236U\25JeU\347\234\231"
#"\25\b]u\367\340)\347\334\252=/[\23\352L\363\300\215@*\325"
#"\326\272q\327\36\0{\357e=I\307S=\273\256\207\247\237r\373y\36"
) 500
(
#"\370\265u\275\v\e\210oQk\334\307y`3\23\246\361.0\t\272\303h\230"
#"\264E\266\b\230\320E\240\303\376\220\16"
#"{\32\222\237\247\211C0\260\\d\335"
#"\312\351|{:\265\363\222\264\205\303}"
#"\22~\346\352\336\374\324\275C\34F\347"
#"\v\250\345\372\372\315\345f[\332\246\5"
#"tYV,\215\374\30\201\22\272a\2767X\377\344\247>\361\230Z\t(P\32"
#"\210-0\326N\n\226k\330G\236\307`p:\237\4\ezA\37\biG\274"
#"In\0\25T\260\325\265.\353:\215\243\252\256*K\261}\254\340\25\0\326u"
#"]O'\21Q\207\3359j\262m\5\0\360\265\333|\17\20\361\336~\330\266\235"
#"_s\32\6\353\212\270>\246\226\250\206"
#"\335l\201{\357w9\311\2\2730\35"
#"\322\30v\363\236\261\n\255\247\202Vx\36p\b\35\v5q\242\326PDR\214"
#"<\217\367\"{\5\313U\226m\212;q\344\305\262IE\213@^a\323\236x"
#"\362\n\25\315\213\235\226\252\30\236\272\177"
#"\377\251g\256\314\354\270\\\307\357\363\274"
#"\241\26!\22\221\203&U(\211b`\261\336\373\266\255\20\3\2708\16I\0\254"
#"\322\365\303\3576!\355\233\2007\263\333"
#"mM)=su\277;\214\303\344\302\262\251D\300\303\376\260j?\363\205!2"
#"\365\356\20J\v\206R\27D\4D\264j\e,\345\325p\270\357\272\306\30\vs"
#"#\367\30\326f\322{G\341\356\224d\0\200B-\326~\334V*\31\21uY"
#"RJ-\200j\240^N[\217&\0PJ\331\207\324\241xM\n\372\340\301\203"
#"\313eqcR\331\202\320\304\276'\227"
#"\r\270\366\f\305\305\211\0\234s\256\353E1\371v})S~8\336;\264Z"
#"]\230\326\363\3711'z\5\0\330O\201\305\224\232\271\36\fk\255"
#"u;Q^Zk\21\220\353\246[v\316a\212D\324\231\0`\267\333"
) 500
(
#"\231\331v.\227|\333\bZmCJ\2074Nq\337\b(\305\30\202\210 \17"
#"\211\247\201\370\3c\4\311\210\350\275\337"
#"\316\265\227\313\315\315\315k\377\371\337\355"
#"\262b\355\314\374x\202\340\236\257O="
#"\fJ\327#\246\273\30229\225\302\347"
#"\b3\332\n=\371\204m\241\3636\305"
#"\375\20p\253\326\231\2468\204\20r\316"
#"P\5S\301\340\315\305\212\246\16w>"
#"\2\300\226\363\254\256Y\356\304Sp\367?\370s\323\351\334Z;\36o\v(\270"
#"\4\274\272\350\2319y\350\347\376\30\226"
#"@\330\357\17\tm\273\334\364^\242\37"
#"\305\244\e\0\1\211\0\3\"\326Z{"
#"\227\344eq\3253\17\216\203\201\e\207"
#"\231C\343 \"\321\a\354\354\t\332\262"
#"i`\317\356\251\270\237\234\327\373z\274"
#"=\276zs=\355\357\367\336\375\340\4\e\0D\240\25$\272\321{'L\213A"
#"6y\314\211\252\32F\32\210\303\260'"
#"\365\331\204\305\30\373\350|p\232A\247i\212lf\206<L\34\220\207^.i"
#"\27\16q\20\252a\244!\245J\320\231"
#"\n\230x\307\242\25\1\0\322\325^\274"
#"3\263\373\323\34c\212@\244\336\231\217"
#"\23\233\353\21\210\23\316q\277\e\375\354"
#"\303]\233\371C\265X\214\2\371\30\346y\36AN\335\260\366F\f\0\243\363`"
#"\335\21\3255\17\0\275\\\232c\236\306"
#"\265\250;\336\312\301O.V\201\0000"
#"\22\223\301\20\222\252\366\336\252\212\367^"
#"\273\266\326\300\r^J#\0\2464\217t\246R\312\205:b\3438\315\273\31b"
#"8\235N\335\275\201\365\303\316\347\37\276"
#"\366\225\273\242\364x<\302z..x\265\16\365\264T\0\230\246i]WUM"
#"\36\230\371p8\344K]z\373\231{O\371yl\345\354\234#\36\0211\245\330"
#"\273D@\v\36\21#P\316[\253\355\230W(\25\2759"
#"\347\306qx\375f9\237\317\275\367\344!\216\207`p\233"
) 500
(
#"\267\217\377\361\237\274\345NT0C\20"
#"\e\307\361\324{d\366\336\317$M\317\276\345\333\313e\34\307\20B)%:."
#"\245\b3\364\226\265\273\255\2708\221\225"
#"\240\0`\266UcR\263hX\3012\210\e\a\"\32\t\326R\363\245\206\0200"
#"\360\354\343p\340Z\313v9\242\226.ND\336|'\2@%H\273@\321\230"
#"\372~\nc\244C\34\4|\322\266!'\17{\306\375\24\314,\233\256Em9"
#"!b\257\313\246\35\21#\215\31T]+h\21\260\200-\275\312\262\5C\257\20"
#"B\324\255\254\322\245\v\263/hJM"
#"\251\0250\30w\271\301\246\362d\254\17"
#"\377\312G\24\303\234\256\366\303\325\24v"
#")\305\233\313\243W_}\365\365\265$"
#"\240\335\325\3\27\306z^\6t\214\375"
#"\316\365\"\342\314\37\342\300\314B5\306\350\234#\"D\4\0mKg*\262\26"
#"P\0\270+n\e\224R\262n\305\32\345K5\263\373\323nb\357\305>\361g"
#"?l4\36k1\266m\333?\363t\325\215(i\347*\27\220\314\202\213\264\221"
#"h\255\325\205!%9- \322.\212\21\214\2\200\27T)\235H+\263/\245"
#"\250\367\321\220\334\240]\263\2[5\22"
#"\236\206Ck\220\306\336\e\0215\313\214"
#"2\245\271;4'\227^\177\224\344\315"
#"\315\3767\376\365\353\301\251\0\243\326G"
#"\307\345\366\372{\347\2651\366C\32%"
#"\216wgB\226\255\240\365\336\21\361p8<\275\277\2/\0\20h\250\245:\347"
#"40\21\211\b\325\16\0nJ\t\371vy$\20\20\261\225\363\340&\rL\265"
#"w\21v\356\265\323\361\17~\357\17\177"
#"\24\343\315\355k\316\31R\2\320\331O\373\275C-,7\n\3\357v\211\344\264"
#"H\224\272z\245M\275\223\200\311u\21\357\6\n1\246\2BP\3028"
#"\253j\255\25d\353\250\34w\t9[\37\374,]z\3571\354;\223"
) 500
(
#"g\246\30\254\266\266lu\2257a<a4\362\315\177\376\307F\30\fx\32O"
#"\247\323\266m\255\326{\343\374\350\372Q"
#"\330\315\336{\306\3266\313\332\3230\304"
#"\30\347y\26\21\357\275\231\211\210\365\r"
#":I\227\346p\214\224\e\0\200\2319"
#"\250M\331\314\210ht\34B\4\200\343\266\34on~\347\267\177\367'c\1\300"
#"7\276\376e\27&\254]\272\234\313\255"
#"g\26\b\371\366\344}\20\246\237}\352"
#"\2010\345\234#[\30\366!x\347\370\366\372{>\355Z>+\206^\316\2121"
#"\306\250* \5\0\266j\0000\4\274"
#"\233\332\205\375\354\275/\245\\\36\335|"
#"\370\327\177\343\255\0O\2364/Y\367"
#"\1:\224\0024\362\334 {\357\307\247"
#"\17\"\342\302\234\255\a\214\273\220h\210"
#"\3363}\277H\362\301c\35\32\1\246\275\252@\251\325\224;\0\0\22\232YS"
#"\247N\211\310\372\226\327\355T\362\253\347"
#"\233'\2\274\355\330\355\313_\371\373q"
#"\34e\331p\210w\311\335(@i\202"
#"\225\331s\234\323\220\336\240a\177\347\246"
#"|{\356\16\251I\266\216Z\21\21:5B\324\34h\310\246\0\340IH\371\322"
#"jk\355\341\351\370\261\337\377\243'\356"
#"\376\266\317\5\277\372\221_\273^.n\32T\3255\221l\"\212)\6\32\2\r"
#",\246\242\375\262\21\342v<\1@\227"
#"\16\321{\357;\24\347\330\247\35\0\0"
#"\253\252\232\231RO\36b\214\2\376T2w}t9\275\35\323\217S\353\a\366"
#"/_\373jg\352\275' \37\274\5\217Z\310\217!\204\30\343v<\245\303."
#"\337\236\335\230d\315\302\324{\327-W"
#"\204\273\231*\263s\216U\225\231\327u"
#"\265\276Bs\337\271}\364c\230\336\21"
#"\26\0|\355\237\276\32c\310\2710\263"
#"\367\214Z\211(\320\20\367\23\221\23\351\316\261HW\263~"
#"\331\272Cmk7\207Z\5<\21\"\242\353\272J\217\200"
) 187
(
#"\17\313\366[\37}B\214\277\27\254;\373\217o\177\253C\1\0\243\30\201 z"
#"(-\356\247rZx\36\372e\3\200\252\e\0(\6\262\252\30@r\240\341\356"
#"cnp*\371\2350\275;\254;\373\366\277}+\245d\271\322\20u+\303\325"
#"\36\0\266\343\211\206\210\210\252j\271v"
#"\207\"r\227\242\314l\323\276n\333o~\350\243\357|\227w\215ug_\377\367"
#"oF\240q\32\177p\fk\255o\314\20\1t+\352])\271\200}\350\27~"
#"\351=\254\377\36\261\336J\351\230\243\341"
#"*\r\0~\371\347\177\361\247\\\360\375\301z\337\355\177\0;"
#"\0rZT\225\3026\0\0\0\0IEND\256B`\202"
) 0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 13 #"; Nachthimmel"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 9 #"night-sky"
0 0 4 3 1 #" "
0 0 14 3 5 #"image"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 9 #"night-sky"
0 0 4 29 1 #"\n"
0 0 4 3 2 #" "
0 0 22 3 1 #"("
0 0 14 3 9 #"rectangle"
0 0 4 3 1 #" "
0 0 14 3 9 #"sky-width"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-height"
0 0 4 3 1 #" "
0 0 19 3 7 #"\"solid\""
0 0 4 3 1 #" "
0 0 19 3 7 #"\"black\""
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 19 #"night-sky-with-moon"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 6 #"number"
0 0 4 3 1 #" "
0 0 14 3 2 #"->"
0 0 4 3 1 #" "
0 0 14 3 5 #"image"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 19 #"night-sky-with-moon"
0 0 4 29 1 #"\n"
0 0 4 3 2 #" "
0 0 22 3 1 #"("
0 0 15 3 6 #"lambda"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"t"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 4 #" "
0 0 22 3 1 #"("
0 0 15 3 3 #"let"
0 0 4 3 1 #" "
0 0 22 3 2 #"(("
0 0 14 3 5 #"angle"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"*"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"/"
0 0 4 3 1 #" "
0 0 14 3 1 #"t"
0 0 4 3 1 #" "
0 0 20 3 2 #"12"
0 0 22 3 1 #")"
0 0 4 3 1 #" "
0 0 14 3 2 #"pi"
0 0 22 3 3 #")))"
0 0 4 29 1 #"\n"
0 0 4 3 6 #" "
0 0 22 3 1 #"("
0 0 14 3 7 #"overlay"
0 0 4 29 1 #"\n"
0 0 4 3 7 #" "
0 0 14 3 9 #"night-sky"
0 0 4 29 1 #"\n"
0 0 4 3 7 #" "
0 0 14 3 4 #"moon"
0 0 4 29 1 #"\n"
0 0 4 3 7 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"+"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"*"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-radius"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 3 #"cos"
0 0 4 3 1 #" "
0 0 14 3 5 #"angle"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 3 10 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"/"
0 0 4 3 1 #" "
0 0 14 3 9 #"sky-width"
0 0 4 3 1 #" "
0 0 20 3 1 #"2"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 3 7 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"+"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"-"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"*"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-radius"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 3 #"sin"
0 0 4 3 1 #" "
0 0 14 3 5 #"angle"
0 0 22 3 3 #")))"
0 0 4 29 1 #"\n"
0 0 4 3 10 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"-"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-height"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"/"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 12 #"image-height"
0 0 4 3 1 #" "
0 0 14 3 3 #"sun"
0 0 22 3 1 #")"
0 0 4 3 1 #" "
0 0 20 3 1 #"2"
0 0 22 3 7 #")))))))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 27 #"; Ein sky-world besteht aus"
0 0 4 29 1 #"\n"
0 0 17 3 58
#"; - einem boolschen Wert, der angibt ob Tag oder Nacht ist"
0 0 4 29 1 #"\n"
0 0 17 3 58
#"; - eine Zahl zwischen 0 und 12, die die Phasenzeit angibt"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 39 #";Predikat f\303\274r Zahlen zwischen 0 und 12"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 9 #"0<=x<=12?"
0 0 4 29 1 #"\n"
0 0 4 3 2 #" "
0 0 22 3 1 #"("
0 0 15 3 6 #"lambda"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"x"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 4 #" "
0 0 22 3 1 #"("
0 0 14 3 3 #"and"
0 0 4 3 1 #" "
0 0 4 29 1 #"\n"
0 0 4 3 5 #" "
0 0 22 3 1 #"("
0 0 14 3 9 #"rational?"
0 0 4 3 1 #" "
0 0 14 3 1 #"x"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 5 #" "
0 0 22 3 1 #"("
0 0 14 3 2 #">="
0 0 4 3 1 #" "
0 0 14 3 1 #"x"
0 0 4 3 1 #" "
0 0 20 3 1 #"0"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 5 #" "
0 0 22 3 1 #"("
0 0 14 3 2 #"<="
0 0 4 3 1 #" "
0 0 14 3 1 #"x"
0 0 4 3 1 #" "
0 0 20 3 2 #"12"
0 0 22 3 4 #"))))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 38 #";Vertrag f\303\274r Zahlen zwischen 0 und 12"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 15 #"define-contract"
0 0 4 3 1 #" "
0 0 14 3 8 #"0<=x<=12"
0 0 4 29 1 #"\n"
0 0 4 3 2 #" "
0 0 22 3 1 #"("
0 0 14 3 9 #"predicate"
0 0 4 3 1 #" "
0 0 14 3 9 #"0<=x<=12?"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 14 #"make-sky-world"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 7 #"boolean"
0 0 4 3 1 #" "
0 0 14 3 8 #"0<=x<=12"
0 0 4 3 1 #" "
0 0 14 3 2 #"->"
0 0 4 3 1 #" "
0 0 14 3 9 #"sky-world"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-world?"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 2 #"%a"
0 0 4 3 1 #" "
0 0 14 3 2 #"->"
0 0 4 3 1 #" "
0 0 14 3 7 #"boolean"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 14 #"sky-world-day?"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 9 #"sky-world"
0 0 4 3 1 #" "
0 0 14 3 2 #"->"
0 0 4 3 1 #" "
0 0 14 3 7 #"boolean"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 20 #"sky-world-phase-time"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 9 #"sky-world"
0 0 4 3 1 #" "
0 0 14 3 2 #"->"
0 0 4 3 1 #" "
0 0 14 3 8 #"0<=x<=12"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 24 #"define-record-procedures"
0 0 4 3 1 #" "
0 0 14 3 9 #"sky-world"
0 0 4 29 1 #"\n"
0 0 4 3 2 #" "
0 0 14 3 14 #"make-sky-world"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-world?"
0 0 4 29 1 #"\n"
0 0 4 3 2 #" "
0 0 22 3 1 #"("
0 0 14 3 14 #"sky-world-day?"
0 0 4 3 1 #" "
0 0 14 3 20 #"sky-world-phase-time"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 35 #"; n\303\244chstes Himmelsmodell berechnen"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 14 #"next-sky-world"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 9 #"sky-world"
0 0 4 3 1 #" "
0 0 14 3 2 #"->"
0 0 4 3 1 #" "
0 0 14 3 9 #"sky-world"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 14 #"next-sky-world"
0 0 4 29 1 #"\n"
0 0 4 3 2 #" "
0 0 22 3 1 #"("
0 0 15 3 6 #"lambda"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"w"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 4 #" "
0 0 22 3 1 #"("
0 0 14 3 2 #"if"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 2 #">="
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 20 #"sky-world-phase-time"
0 0 4 3 1 #" "
0 0 14 3 1 #"w"
0 0 22 3 1 #")"
0 0 4 3 1 #" "
0 0 20 3 2 #"12"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 8 #" "
0 0 22 3 1 #"("
0 0 14 3 14 #"make-sky-world"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 3 #"not"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 14 #"sky-world-day?"
0 0 4 3 1 #" "
0 0 14 3 1 #"w"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 3 24 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"+"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"-"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 20 #"sky-world-phase-time"
0 0 4 3 1 #" "
0 0 14 3 1 #"w"
0 0 22 3 1 #")"
0 0 4 3 1 #" "
0 0 20 3 2 #"12"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 27 #" "
0 0 20 3 3 #"0.1"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 3 8 #" "
0 0 22 3 1 #"("
0 0 14 3 14 #"make-sky-world"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 14 #"sky-world-day?"
0 0 4 3 1 #" "
0 0 14 3 1 #"w"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 24 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"+"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 20 #"sky-world-phase-time"
0 0 4 3 1 #" "
0 0 14 3 1 #"w"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 27 #" "
0 0 20 3 3 #"0.1"
0 0 22 3 5 #")))))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 17 3 38 #"; Ansicht des Himmelsmodells berechnen"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 1 #":"
0 0 4 3 1 #" "
0 0 14 3 15 #"sky-world-image"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 9 #"sky-world"
0 0 4 3 1 #" "
0 0 14 3 2 #"->"
0 0 4 3 1 #" "
0 0 14 3 5 #"image"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 15 3 6 #"define"
0 0 4 3 1 #" "
0 0 14 3 15 #"sky-world-image"
0 0 4 29 1 #"\n"
0 0 4 3 2 #" "
0 0 22 3 1 #"("
0 0 15 3 6 #"lambda"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"w"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 4 #" "
0 0 22 3 1 #"("
0 0 14 3 2 #"if"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 14 #"sky-world-day?"
0 0 4 3 1 #" "
0 0 14 3 1 #"w"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 8 #" "
0 0 22 3 1 #"("
0 0 14 3 12 #"sky-with-sun"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 20 #"sky-world-phase-time"
0 0 4 3 1 #" "
0 0 14 3 1 #"w"
0 0 22 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 3 8 #" "
0 0 22 3 1 #"("
0 0 14 3 19 #"night-sky-with-moon"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 20 #"sky-world-phase-time"
0 0 4 3 1 #" "
0 0 14 3 1 #"w"
0 0 22 3 5 #")))))"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 22 3 1 #"("
0 0 14 3 8 #"big-bang"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 14 #"make-sky-world"
0 0 4 3 1 #" "
0 0 20 3 2 #"#t"
0 0 4 3 1 #" "
0 0 20 3 1 #"1"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 10 #" "
0 0 22 3 1 #"("
0 0 14 3 7 #"on-draw"
0 0 4 3 1 #" "
0 0 14 3 15 #"sky-world-image"
0 0 4 3 1 #" "
0 0 14 3 9 #"sky-width"
0 0 4 3 1 #" "
0 0 14 3 10 #"sky-height"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 10 #" "
0 0 22 3 1 #"("
0 0 14 3 7 #"on-tick"
0 0 4 3 1 #" "
0 0 14 3 14 #"next-sky-world"
0 0 4 3 1 #" "
0 0 20 3 3 #"0.1"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 10 #" "
0 0 22 3 1 #"("
0 0 14 3 6 #"on-key"
0 0 4 29 1 #"\n"
0 0 4 3 11 #" "
0 0 22 3 1 #"("
0 0 15 3 6 #"lambda"
0 0 4 3 1 #" "
0 0 22 3 1 #"("
0 0 14 3 1 #"w"
0 0 4 3 1 #" "
0 0 14 3 1 #"e"
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 13 #" "
0 0 22 3 1 #"("
0 0 15 3 4 #"cond"
0 0 4 29 1 #"\n"
0 0 4 3 15 #" "
0 0 22 3 2 #"(("
0 0 14 3 8 #"string=?"
0 0 4 3 1 #" "
0 0 14 3 1 #"e"
0 0 4 3 1 #" "
0 0 19 3 3 #"\"d\""
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 16 #" "
0 0 22 3 1 #"("
0 0 14 3 14 #"make-sky-world"
0 0 4 3 1 #" "
0 0 20 3 2 #"#t"
0 0 4 29 1 #"\n"
0 0 4 3 32 #" "
0 0 22 3 1 #"("
0 0 14 3 20 #"sky-world-phase-time"
0 0 4 3 1 #" "
0 0 14 3 1 #"w"
0 0 22 3 3 #")))"
0 0 4 29 1 #"\n"
0 0 4 3 15 #" "
0 0 22 3 2 #"(("
0 0 14 3 8 #"string=?"
0 0 4 3 1 #" "
0 0 14 3 1 #"e"
0 0 4 3 1 #" "
0 0 19 3 3 #"\"n\""
0 0 22 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 16 #" "
0 0 22 3 1 #"("
0 0 14 3 14 #"make-sky-world"
0 0 4 3 1 #" "
0 0 20 3 2 #"#f"
0 0 4 29 1 #"\n"
0 0 4 3 32 #" "
0 0 22 3 1 #"("
0 0 14 3 20 #"sky-world-phase-time"
0 0 4 3 1 #" "
0 0 14 3 1 #"w"
0 0 22 3 3 #")))"
0 0 4 29 1 #"\n"
0 0 4 3 15 #" "
0 0 22 3 1 #"("
0 0 14 3 4 #"else"
0 0 4 29 1 #"\n"
0 0 4 3 16 #" "
0 0 14 3 1 #"w"
0 0 22 3 5 #")))))"
0 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment