com.wombatinvasion.pmwikidraw.PmWikiDrawing 2 50 org.jhotdraw.figures.LineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 2 120 210 530 210 NULL NULL 0 0 0 org.jhotdraw.figures.LineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 2 180 30 180 300 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 209 125 115 128 109 129 108 130 107 132 106 133 104 134 103 136 102 137 101 139 99 141 98 143 96 146 95 148 93 150 91 153 90 155 88 158 87 160 85 163 84 166 82 169 81 171 80 175 78 177 77 181 76 184 75 187 74 190 74 193 73 196 73 199 72 202 72 205 71 208 71 211 71 214 71 217 72 220 72 222 73 225 73 227 74 229 75 232 76 234 78 236 79 237 81 239 82 241 84 243 86 244 87 246 89 247 91 248 93 250 95 251 97 252 99 253 101 255 103 256 105 257 107 258 109 260 111 261 113 262 115 264 117 265 118 267 120 268 122 270 123 271 125 273 127 275 128 276 130 278 131 280 133 282 135 284 136 286 138 288 140 290 141 292 142 295 144 297 145 300 146 302 147 305 147 307 148 310 149 313 149 316 149 318 150 321 150 324 150 327 150 330 150 333 149 336 149 339 149 342 148 345 148 349 148 355 146 358 146 364 145 367 144 370 143 373 142 379 140 383 139 386 138 389 136 393 135 396 134 400 132 403 131 407 129 410 127 414 125 417 124 421 122 425 120 428 118 432 116 436 114 439 112 443 110 446 108 450 106 454 104 457 101 461 99 465 97 468 95 471 93 475 90 478 88 481 86 485 83 488 81 491 78 494 76 497 73 500 71 503 68 505 66 508 64 511 62 513 60 516 58 518 56 520 54 522 52 524 51 526 49 527 48 529 46 531 45 532 44 534 43 535 42 536 40 537 39 538 38 539 38 539 37 540 36 541 35 540 35 539 36 538 37 538 38 537 39 537 40 537 41 536 43 536 44 535 46 535 47 535 48 535 50 534 51 534 52 534 53 535 52 535 51 535 49 536 48 537 46 537 44 538 42 538 40 539 38 539 36 540 35 540 33 540 32 539 31 538 31 537 31 536 31 535 32 534 32 533 33 532 33 531 34 530 34 530 33 529 33 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 22 123 119 128 116 130 115 132 114 134 113 136 112 137 111 138 110 137 110 136 111 134 112 130 114 126 116 121 117 115 118 113 116 112 114 113 110 115 107 116 106 116 105 117 104 NULL NULL 0 0 0 org.jhotdraw.figures.LineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 51 51 2 210 100 420 210 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 51 51 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 51 51 28 211 102 212 108 213 109 213 110 214 111 213 111 213 110 212 109 212 108 211 106 211 104 210 102 210 101 211 99 211 98 212 98 213 98 214 99 215 99 216 100 217 100 218 100 218 101 219 101 220 101 220 100 221 100 220 99 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 51 51 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 51 51 23 408 205 414 206 415 207 416 207 417 209 418 210 419 211 420 211 420 212 421 212 421 211 421 210 421 209 420 208 420 207 419 205 419 204 419 203 418 201 418 200 417 199 417 198 417 197 NULL NULL 0 0 0 org.jhotdraw.figures.LineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 153 153 2 220 140 450 150 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 153 153 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 153 153 15 444 144 449 147 450 149 451 150 451 151 451 152 449 153 447 155 446 156 445 157 444 158 443 159 444 159 444 158 445 158 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 153 153 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 153 153 28 220 143 224 148 226 150 226 151 227 151 226 151 225 150 224 149 223 146 221 144 221 143 220 141 219 140 218 139 219 138 220 138 221 138 222 138 223 137 224 137 226 137 227 136 228 135 229 134 230 134 230 133 230 134 229 135 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 6 289 206 288 213 288 217 288 219 288 221 289 221 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 20 292 239 286 237 285 241 285 244 287 245 289 243 290 241 292 238 293 236 293 235 293 236 293 237 293 238 293 240 294 242 294 243 295 245 296 245 297 246 298 246 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 8 368 204 366 209 366 210 366 212 366 213 366 214 367 214 368 214 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 16 365 241 359 243 360 243 362 241 365 238 366 237 366 238 365 239 365 240 365 242 366 243 366 244 367 244 368 244 369 244 370 245 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 5 376 234 377 241 377 242 378 242 377 241 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 3 373 239 380 239 382 238 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 15 388 226 388 239 388 240 389 241 389 240 390 239 392 236 393 236 394 237 394 238 394 240 395 242 395 243 395 244 396 244 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 77 683 352 675 359 675 361 676 364 678 368 679 370 680 372 680 373 680 374 679 375 679 376 678 376 677 376 676 376 675 376 673 375 671 374 670 374 668 372 667 371 666 369 666 366 667 362 668 360 669 357 671 355 673 354 677 353 679 352 681 351 683 351 685 350 687 349 689 349 690 347 690 346 691 344 691 343 691 342 690 340 689 338 688 336 686 335 685 334 684 334 682 335 681 336 680 337 679 338 679 340 679 341 679 344 680 347 681 350 682 355 683 358 683 361 683 365 682 367 681 369 680 371 678 373 676 374 674 375 673 375 672 375 671 373 671 371 670 369 670 365 670 363 670 362 670 361 671 360 672 360 673 360 674 359 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 13 180 33 183 37 185 40 185 41 184 40 183 38 182 35 181 32 178 33 176 36 175 37 175 38 175 39 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 17 181 297 184 290 186 287 186 286 185 288 184 289 183 292 183 295 182 297 181 297 181 296 179 294 177 291 176 289 175 287 175 286 176 285 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 19 119 212 125 217 126 218 127 219 127 218 126 217 125 215 122 213 120 212 118 210 117 209 116 207 117 207 120 206 123 205 125 204 128 203 129 202 130 201 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 11 527 204 532 205 532 209 531 212 529 214 527 216 526 217 525 218 525 219 526 218 527 217 NULL NULL 0 0 0 org.jhotdraw.contrib.TextAreaFigure "attributes" "attributes" 10 "TabSize" "UNKNOWN" "LeftMargin" "UNKNOWN" "RightMargin" "UNKNOWN" "TopMargin" "UNKNOWN" "FontStyle" "Int" 0 "FontSize" "Int" 12 "FontName" "String" "Arial" "TextColor" "Color" 0 0 0 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 0 0 0 270 10 180 30 "The definition of the derivative" 0 NULL NULL org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 47 469 259 469 248 468 242 467 233 466 223 466 218 465 214 465 208 465 201 464 194 464 189 463 184 461 179 458 175 455 172 452 169 450 168 446 167 442 166 437 166 432 167 428 168 423 169 418 171 414 172 410 173 407 175 405 176 403 177 401 178 400 179 400 180 401 179 403 179 404 179 405 179 404 179 403 179 401 179 398 180 396 181 396 180 395 179 397 177 401 174 405 171 406 170 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 10 453 274 450 283 450 286 452 286 454 286 456 286 457 286 458 286 459 286 459 285 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 1 468 280 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 3 466 278 467 284 467 285 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 24 480 278 486 277 487 276 487 279 487 281 487 282 486 282 486 283 486 284 487 283 488 283 489 282 490 280 492 278 493 277 493 278 493 279 493 282 493 284 493 286 493 287 494 287 494 288 494 287 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 1 465 269 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 1 465 272 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 37 479 275 478 282 478 283 478 284 479 284 479 283 480 282 480 281 481 280 481 278 482 277 483 275 484 275 485 276 485 277 486 278 486 279 486 280 486 281 486 282 486 283 486 282 487 282 488 280 490 278 492 277 493 276 494 277 495 277 496 278 496 279 496 280 496 282 496 283 496 284 497 284 497 285 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 19 457 295 457 306 457 310 458 310 459 308 460 306 461 304 463 302 464 301 465 301 465 303 466 304 466 307 467 308 467 310 467 311 468 312 468 311 468 310 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 18 472 306 480 305 484 305 484 304 484 303 484 302 484 301 483 300 484 300 485 300 486 301 486 302 486 304 485 305 484 308 483 310 483 311 484 310 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 10 500 300 494 304 493 307 493 309 495 310 500 307 503 302 502 301 500 300 499 300 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 11 540 266 539 250 537 248 534 252 533 257 532 264 533 269 533 274 533 278 533 279 533 280 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 6 528 274 535 272 537 272 539 271 540 271 541 271 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 7 558 254 549 267 547 276 550 279 552 278 553 278 554 278 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 17 566 269 558 269 557 271 557 273 560 274 562 274 564 272 565 270 566 269 566 270 566 272 567 274 568 275 570 276 571 276 572 275 572 274 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 4 581 262 580 273 580 272 578 271 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 4 575 267 586 267 588 266 588 265 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 14 595 252 593 267 593 269 594 269 595 269 596 267 598 266 598 265 600 268 600 271 601 274 602 275 602 274 602 273 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 9 608 251 613 261 613 267 613 274 612 278 611 279 610 279 609 279 609 280 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 6 624 268 631 267 633 267 634 267 635 267 636 267 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 9 655 260 652 249 648 256 647 261 647 268 649 273 648 274 646 273 644 271 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 5 641 266 652 266 655 266 656 266 657 266 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 12 667 264 660 269 661 270 664 269 667 265 667 264 666 264 666 267 667 270 668 271 669 272 669 271 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 6 663 257 653 272 657 275 660 275 663 275 664 273 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 5 673 260 673 276 672 278 671 278 670 278 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 16 545 286 550 284 561 285 572 286 587 285 602 284 616 284 625 283 638 282 649 281 657 281 660 281 662 280 661 280 659 280 658 280 NULL NULL 0 0 0 org.jhotdraw.contrib.AttributeLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 org.jhotdraw.figures.PolyLineFigure "attributes" "attributes" 2 "FillColor" "Color" 112 219 147 "FrameColor" "Color" 255 0 0 13 597 292 599 303 599 305 603 301 607 297 608 296 609 298 609 301 610 304 611 306 611 307 612 308 612 307 NULL NULL 0 0 0