Version: 1.0
TWFnt
	Name:	Courier New
	Size:	10
TWPos
	VX:	30
	VY:	30
TWSiz
	W:	800
	H:	300
TWSync
	col_text:	0Black
	col_back:	RGB 215 :: 255 :: 255
	col_tabs:	RGB 215 :: 0 :: 0
	col_comm:	RGB 0 :: 0 :: 215
	col_stri:	RGB 0 :: 175 :: 0
	col_char:	RGB 185 :: 0 :: 255
	col_keyw:	3Grey
EWPrefs
	EWPos
		VX:	300
		VY:	300
	EWSiz
		W:	500
		H:	300
	EWFNm:	Arial
	EWFSz:	9
	EWFor:	RGB 0 :: 0 :: 0
	EWBak:	RGB 255 :: 173 :: 255
SWPrefs
	EWPos
		VX:	250
		VY:	250
	EWSiz
		W:	300
		H:	200
	EWFNm:	Arial
	EWFSz:	9
	EWFor:	RGB 0 :: 0 :: 0
	EWBak:	RGB 143 :: 219 :: 255
PWPos
	VX:	0
	VY:	0
PWSiz
	W:	200
	H:	400
PWTop:	RGB 215 :: 255 :: 229
PWFor:	RGB 109 :: 0 :: 0
PWBak:	RGB 210 :: 210 :: 179
PWFnt
	Name:	Courier New
	Size:	10
EdFnt
	Name:	Courier New
	Size:	10
EdTab:	64
ComOp
	NeverTimeProfile:	False
	StrictnessAnalysis:	True
	ListTypes:	StrictExportTypes
	ListAttributes:	True
	Warnings:	True
	Verbose:	True
	ReadableABC:	False
	ReuseUniqueNodes:	True
SynCl
	col_text:	0Black
	col_back:	RGB 215 :: 255 :: 215
	col_tabs:	RGB 195 :: 0 :: 0
	col_comm:	RGB 0 :: 0 :: 195
	col_stri:	RGB 0 :: 155 :: 0
	col_char:	RGB 155 :: 0 :: 155
	col_keyw:	3Grey
DefCl
	col_text:	0Black
	col_back:	RGB 255 :: 215 :: 215
	col_tabs:	RGB 215 :: 0 :: 0
	col_comm:	RGB 0 :: 0 :: 215
	col_stri:	RGB 0 :: 215 :: 0
	col_char:	RGB 215 :: 0 :: 215
	col_keyw:	RGB 127 :: 0 :: 127
ImpCl
	col_text:	RGB 0 :: 0 :: 0
	col_back:	RGB 255 :: 255 :: 215
	col_tabs:	RGB 215 :: 0 :: 0
	col_comm:	RGB 0 :: 0 :: 215
	col_stri:	RGB 0 :: 215 :: 0
	col_char:	RGB 215 :: 0 :: 215
	col_keyw:	RGB 127 :: 0 :: 127
SwitchClose:	0
ProveTheorems:	0
