%! Simon font %0 serverdict begin exitserver /TBuildCharDict 10 dict def /SimonFont 10 dict def /fudge 110 def SimonFont begin %% /FontType 3 def /FontMatrix [0.000895 0 0 0.000895 0 0] def % /FontMatrix [0.001 0 0 0.001 0 0] def /Encoding 256 array def 0 1 255 {Encoding exch /.notdef put} for % Character definitions /Metrics 130 dict def /CharDefs 130 dict def CharDefs begin /.notdef () def /Leftward_arrowhead ( newpath %new path 220 356 moveto 224 354 lineto 224 352 lineto 250 342 274 326 294 306 curveto 292 308 lineto 296 306 lineto 290 310 lineto 288 314 lineto 290 310 lineto 310 288 328 264 338 234 curveto 338 236 lineto 340 232 lineto 354 232 lineto 358 236 lineto 358 244 lineto 356 244 lineto 344 274 328 300 306 322 curveto 304 324 lineto 302 326 lineto 286 342 266 358 244 368 curveto 244 366 lineto 242 368 lineto 248 364 lineto 248 358 lineto 250 360 lineto 248 360 lineto 248 356 lineto 240 352 lineto 242 352 lineto 244 354 lineto 246 354 lineto 268 364 288 380 304 396 curveto 306 398 lineto 308 400 lineto 330 422 346 448 358 478 curveto 358 484 lineto 354 488 lineto 340 488 lineto 338 484 lineto 336 484 lineto 326 454 308 430 288 408 curveto 290 410 lineto 288 406 lineto 288 404 lineto 290 410 lineto 298 414 lineto 296 414 lineto 292 412 lineto 272 392 248 376 222 366 curveto 224 368 lineto 220 364 lineto 220 356 lineto closepath %end path fill ) def /Rightward_arrowhead ( newpath %new path 378 364 moveto 376 368 lineto 374 368 lineto 348 378 324 394 304 414 curveto 306 412 lineto 302 414 lineto 308 410 lineto 310 406 lineto 308 410 lineto 288 432 270 456 260 486 curveto 260 484 lineto 258 488 lineto 244 488 lineto 240 484 lineto 240 476 lineto 242 476 lineto 254 446 270 420 292 398 curveto 294 396 lineto 296 394 lineto 312 378 332 362 354 352 curveto 354 354 lineto 356 352 lineto 350 356 lineto 350 362 lineto 348 360 lineto 350 360 lineto 350 364 lineto 358 368 lineto 356 368 lineto 354 366 lineto 352 366 lineto 330 356 310 340 294 324 curveto 292 322 lineto 290 320 lineto 268 298 252 272 240 242 curveto 240 236 lineto 244 232 lineto 258 232 lineto 260 236 lineto 262 236 lineto 272 266 290 290 310 312 curveto 308 310 lineto 310 314 lineto 310 316 lineto 308 310 lineto 300 306 lineto 302 306 lineto 306 308 lineto 326 328 350 344 376 354 curveto 378 356 lineto 380 360 lineto 380 362 lineto 378 364 lineto closepath %end path fill ) def /Upward_arrowhead ( newpath %new path 352 176 moveto 340 150 324 126 306 106 curveto 306 108 lineto 314 112 lineto 312 112 lineto 310 110 lineto 308 110 lineto 288 90 262 72 234 62 curveto 232 60 lineto 230 56 lineto 230 48 lineto 232 46 lineto 234 42 lineto 242 42 lineto 244 44 lineto 274 56 300 72 322 94 curveto 320 94 lineto 324 96 lineto 324 98 lineto 342 114 356 134 366 156 curveto 366 156 lineto 358 152 lineto 364 152 lineto 366 156 lineto 358 152 lineto 352 156 lineto 356 152 lineto 358 152 lineto 352 156 lineto 352 156 lineto 354 154 lineto 364 132 378 112 396 96 curveto 394 96 lineto 398 94 lineto 398 92 lineto 420 70 446 54 476 42 curveto 484 42 lineto 486 46 lineto 488 48 lineto 488 56 lineto 486 60 lineto 484 62 lineto 482 64 lineto 454 74 428 92 408 112 curveto 408 110 lineto 406 112 lineto 412 108 lineto 412 108 lineto 410 108 lineto 392 128 376 152 366 178 curveto 366 176 lineto 364 180 lineto 356 180 lineto 352 176 lineto closepath %end path fill ) def /Downward_arrowhead ( newpath %new path 366 184 moveto 368 184 lineto 378 210 394 234 412 254 curveto 412 252 lineto 404 248 lineto 406 248 lineto 408 250 lineto 410 250 lineto 430 270 456 288 484 298 curveto 486 300 lineto 488 304 lineto 488 312 lineto 486 314 lineto 484 318 lineto 476 318 lineto 474 316 lineto 444 304 418 288 396 266 curveto 398 266 lineto 394 264 lineto 394 262 lineto 376 246 362 226 352 204 curveto 352 204 lineto 360 208 lineto 354 208 lineto 352 204 lineto 360 208 lineto 366 204 lineto 362 208 lineto 360 208 lineto 366 204 lineto 366 204 lineto 364 206 lineto 354 228 340 248 322 264 curveto 324 264 lineto 320 266 lineto 320 268 lineto 298 290 272 306 242 318 curveto 234 318 lineto 232 314 lineto 230 312 lineto 230 304 lineto 232 300 lineto 234 298 lineto 236 296 lineto 264 286 290 268 310 248 curveto 310 250 lineto 312 248 lineto 306 252 lineto 306 252 lineto 308 252 lineto 326 232 342 208 354 182 curveto 352 184 lineto 356 180 lineto 364 180 lineto 366 184 lineto closepath %end path fill ) def /Square_subset_sign ( newpath %new path 682 570 moveto 678 570 lineto 676 568 lineto 260 568 lineto 260 570 lineto 254 568 lineto 250 564 lineto 248 560 lineto 248 556 lineto 246 556 lineto 246 168 lineto 248 170 lineto 248 162 lineto 250 158 lineto 254 154 lineto 260 152 lineto 264 152 lineto 266 154 lineto 682 154 lineto 682 152 lineto 688 154 lineto 692 158 lineto 694 162 lineto 694 174 lineto 692 176 lineto 688 180 lineto 254 180 lineto 250 176 lineto 264 180 lineto 274 176 lineto 270 180 lineto 264 180 lineto 274 176 lineto 278 170 lineto 276 174 lineto 274 176 lineto 278 170 lineto 274 158 lineto 276 162 lineto 278 166 lineto 278 556 lineto 274 546 lineto 260 540 lineto 682 540 lineto 688 542 lineto 692 546 lineto 694 548 lineto 694 560 lineto 692 564 lineto 688 568 lineto 682 570 lineto closepath %end path fill ) def /Square_superset_sign ( newpath %new path 236 540 moveto 658 540 lineto 664 542 lineto 668 546 lineto 654 540 lineto 644 546 lineto 648 542 lineto 654 540 lineto 644 546 lineto 642 552 lineto 642 548 lineto 644 546 lineto 642 552 lineto 644 564 lineto 642 560 lineto 642 556 lineto 640 556 lineto 640 168 lineto 642 170 lineto 642 166 lineto 644 176 lineto 658 180 lineto 230 180 lineto 226 176 lineto 224 174 lineto 224 162 lineto 226 158 lineto 230 154 lineto 236 152 lineto 240 152 lineto 242 154 lineto 660 154 lineto 658 152 lineto 664 154 lineto 668 158 lineto 670 162 lineto 672 166 lineto 672 556 lineto 670 560 lineto 668 564 lineto 664 568 lineto 658 570 lineto 654 570 lineto 654 568 lineto 236 568 lineto 236 570 lineto 230 568 lineto 226 564 lineto 224 560 lineto 224 548 lineto 226 546 lineto 230 542 lineto 236 540 lineto closepath %end path fill ) def /Diamond ( newpath %new path 678 424 moveto 682 434 lineto 680 434 lineto 604 356 528 280 452 204 curveto 450 202 lineto 450 194 lineto 452 204 lineto 466 210 lineto 462 210 lineto 456 208 lineto 452 204 lineto 466 210 lineto 476 204 lineto 472 208 lineto 466 210 lineto 476 204 lineto 480 198 lineto 478 202 lineto 476 204 lineto 476 206 lineto 398 282 322 358 246 436 curveto 248 434 lineto 250 428 lineto 248 416 lineto 248 418 lineto 324 494 400 570 478 648 curveto 476 646 lineto 478 650 lineto 480 654 lineto 480 658 lineto 476 646 lineto 462 640 lineto 466 640 lineto 472 642 lineto 476 646 lineto 462 640 lineto 452 646 lineto 456 642 lineto 462 640 lineto 452 646 lineto 450 654 lineto 450 650 lineto 452 646 lineto 454 646 lineto 530 568 606 492 682 416 curveto 678 424 lineto closepath %end path %new path 708 428 moveto 708 432 lineto 706 434 lineto 704 436 lineto 628 512 552 588 476 666 curveto 476 664 lineto 472 668 lineto 466 670 lineto 462 670 lineto 456 668 lineto 452 664 lineto 374 586 298 510 222 434 curveto 224 434 lineto 222 432 lineto 220 428 lineto 220 424 lineto 222 420 lineto 224 416 lineto 300 338 376 262 454 186 curveto 452 186 lineto 456 182 lineto 462 180 lineto 466 180 lineto 472 182 lineto 476 186 lineto 478 188 lineto 554 264 630 340 706 418 curveto 706 416 lineto 708 420 lineto 708 428 lineto closepath %end path fill ) def /Square ( newpath %new path 272 606 moveto 258 600 lineto 262 600 lineto 264 602 lineto 644 602 lineto 642 600 lineto 648 602 lineto 652 606 lineto 638 600 lineto 628 606 lineto 632 602 lineto 638 600 lineto 628 606 lineto 626 614 lineto 626 610 lineto 628 606 lineto 626 614 lineto 628 624 lineto 626 622 lineto 626 618 lineto 624 616 lineto 624 236 lineto 626 238 lineto 626 234 lineto 628 244 lineto 642 250 lineto 258 250 lineto 252 248 lineto 248 244 lineto 262 250 lineto 272 244 lineto 268 248 lineto 262 250 lineto 272 244 lineto 276 238 lineto 274 242 lineto 272 244 lineto 276 238 lineto 272 226 lineto 274 230 lineto 276 234 lineto 276 618 lineto 272 606 lineto closepath %end path %new path 248 624 moveto 246 622 lineto 246 618 lineto 244 616 lineto 244 236 lineto 246 238 lineto 246 230 lineto 248 226 lineto 252 222 lineto 258 220 lineto 262 220 lineto 264 222 lineto 644 222 lineto 642 220 lineto 648 222 lineto 652 226 lineto 654 230 lineto 656 234 lineto 656 618 lineto 654 622 lineto 652 624 lineto 648 628 lineto 642 630 lineto 258 630 lineto 252 628 lineto 248 624 lineto closepath %end path fill ) def /Bowtie_operator ( newpath %new path 252 218 moveto 254 218 lineto 386 352 518 484 652 618 curveto 650 618 lineto 652 620 lineto 654 624 lineto 654 628 lineto 650 618 lineto 636 612 lineto 640 612 lineto 646 614 lineto 650 618 lineto 636 612 lineto 626 618 lineto 630 614 lineto 636 612 lineto 626 618 lineto 624 624 lineto 624 620 lineto 626 618 lineto 624 624 lineto 626 636 lineto 624 632 lineto 624 628 lineto 622 628 lineto 622 228 lineto 624 228 lineto 624 224 lineto 626 236 lineto 640 242 lineto 636 242 lineto 630 240 lineto 626 236 lineto 640 242 lineto 650 236 lineto 646 240 lineto 640 242 lineto 650 236 lineto 654 228 lineto 652 232 lineto 650 236 lineto 516 370 384 502 252 636 curveto 248 640 lineto 242 642 lineto 238 642 lineto 232 640 lineto 228 636 lineto 226 632 lineto 226 628 lineto 224 628 lineto 224 228 lineto 226 228 lineto 226 220 lineto 228 218 lineto 232 214 lineto 238 212 lineto 242 212 lineto 248 214 lineto 252 218 lineto closepath %end path %new path 256 228 moveto 252 218 lineto 254 220 lineto 256 224 lineto 256 628 lineto 252 618 lineto 238 612 lineto 242 612 lineto 248 614 lineto 252 618 lineto 238 612 lineto 228 618 lineto 232 614 lineto 238 612 lineto 228 618 lineto 226 624 lineto 226 620 lineto 228 618 lineto 230 616 lineto 362 482 494 350 628 216 curveto 626 218 lineto 630 214 lineto 636 212 lineto 640 212 lineto 646 214 lineto 650 218 lineto 652 220 lineto 654 224 lineto 654 628 lineto 652 632 lineto 650 636 lineto 646 640 lineto 640 642 lineto 636 642 lineto 630 640 lineto 626 636 lineto 626 634 lineto 492 500 360 368 228 234 curveto 228 236 lineto 226 232 lineto 226 224 lineto 228 236 lineto 242 242 lineto 238 242 lineto 232 240 lineto 228 236 lineto 242 242 lineto 252 236 lineto 248 240 lineto 242 242 lineto 252 236 lineto 256 228 lineto 254 232 lineto 252 236 lineto 256 228 lineto closepath %end path fill ) def /Upside-down_Uppercase_Greek_Omega ( newpath %new path 510 662 moveto 510 624 518 590 530 556 curveto 528 558 lineto 530 554 lineto 544 516 558 480 572 442 curveto 570 444 lineto 570 446 lineto 582 412 590 378 590 342 curveto 588 342 lineto 590 340 lineto 588 342 lineto 590 348 lineto 588 344 lineto 588 320 584 300 578 278 curveto 578 280 lineto 580 282 lineto 578 282 lineto 572 260 562 240 546 224 curveto 544 222 542 222 542 220 curveto 542 220 lineto 550 224 lineto 546 224 lineto 544 222 lineto 528 206 506 192 484 186 curveto 488 188 lineto 486 186 lineto 470 180 454 180 438 180 curveto 436 180 lineto 432 176 lineto 440 180 lineto 446 176 lineto 444 180 lineto 440 180 lineto 422 180 406 182 390 188 curveto 394 186 lineto 392 188 lineto 370 194 348 208 332 224 curveto 330 224 lineto 336 220 lineto 336 220 lineto 334 222 lineto 334 224 332 224 330 226 curveto 314 242 304 262 298 284 curveto 298 282 lineto 300 280 lineto 298 280 lineto 292 302 288 322 288 346 curveto 290 344 lineto 288 348 lineto 290 344 lineto 288 340 lineto 290 342 lineto 290 344 lineto 290 380 298 414 310 448 curveto 308 446 lineto 308 444 lineto 322 482 336 518 350 556 curveto 348 554 lineto 350 558 lineto 362 592 370 626 370 664 curveto 370 664 lineto 368 668 lineto 366 670 lineto 362 672 lineto 360 672 lineto 360 670 lineto 358 670 lineto 360 672 lineto 356 670 lineto 354 668 lineto 352 664 lineto 352 644 348 626 342 608 curveto 344 608 lineto 344 610 lineto 318 536 254 476 228 402 curveto 230 402 lineto 228 400 lineto 228 398 lineto 222 380 218 362 218 344 curveto 220 344 lineto 220 342 lineto 220 326 222 310 228 296 curveto 226 298 lineto 228 294 lineto 236 270 250 248 268 230 curveto 270 228 lineto 272 226 lineto 276 222 282 218 286 214 curveto 306 196 330 184 356 178 curveto 358 178 lineto 358 176 lineto 384 168 412 164 440 164 curveto 440 164 lineto 442 166 lineto 468 166 496 170 522 178 curveto 524 178 lineto 524 180 lineto 550 186 574 198 594 216 curveto 598 220 604 224 608 228 curveto 610 230 lineto 612 232 lineto 630 250 644 272 652 296 curveto 650 294 lineto 652 298 lineto 658 312 660 328 660 344 curveto 660 344 lineto 658 346 lineto 658 364 654 382 648 400 curveto 650 400 lineto 648 402 lineto 648 404 lineto 622 478 558 538 532 612 curveto 534 612 lineto 534 610 lineto 528 628 524 646 524 666 curveto 526 664 lineto 524 668 lineto 522 670 lineto 518 672 lineto 516 672 lineto 516 672 lineto 514 670 lineto 510 668 lineto 510 662 lineto closepath %end path fill %new path 656 558 moveto 664 558 lineto 666 562 lineto 668 564 lineto 668 566 lineto 666 568 lineto 658 600 650 632 642 666 curveto 644 664 lineto 642 668 lineto 640 670 lineto 636 672 lineto 634 672 lineto 634 670 lineto 516 670 lineto 516 672 lineto 514 670 lineto 510 668 lineto 510 662 lineto 510 652 512 642 512 632 curveto 512 630 lineto 516 628 lineto 518 626 lineto 520 626 lineto 522 628 lineto 582 628 lineto 580 626 lineto 584 628 lineto 586 630 lineto 578 626 lineto 572 630 lineto 576 628 lineto 578 626 lineto 580 626 lineto 596 626 620 626 630 622 curveto 630 624 lineto 628 624 lineto 630 622 632 622 632 620 curveto 634 620 lineto 632 622 lineto 636 620 lineto 630 624 lineto 628 628 lineto 630 624 lineto 634 620 636 614 638 606 curveto 636 610 lineto 638 608 lineto 642 594 646 576 650 564 curveto 648 564 lineto 650 562 lineto 652 558 lineto 656 558 lineto closepath %end path fill %new path 228 562 moveto 230 564 lineto 230 566 lineto 234 578 238 596 242 610 curveto 240 606 lineto 242 608 lineto 244 616 246 622 250 626 curveto 248 624 lineto 250 628 lineto 250 630 lineto 248 624 lineto 240 620 lineto 242 620 lineto 246 622 lineto 248 622 lineto 248 624 250 624 252 626 curveto 252 624 lineto 250 624 lineto 260 628 284 628 300 628 curveto 360 628 lineto 360 626 lineto 362 628 lineto 366 630 lineto 366 634 lineto 368 634 lineto 368 644 370 654 370 664 curveto 368 662 lineto 368 668 lineto 364 670 lineto 362 672 lineto 360 672 lineto 358 670 lineto 242 670 lineto 242 672 lineto 240 670 lineto 236 668 lineto 236 664 lineto 234 664 lineto 226 630 218 598 210 566 curveto 212 566 lineto 212 562 lineto 216 558 lineto 226 558 lineto 228 562 lineto closepath %end path fill ) def /Leads_to_character_extension ( newpath %new path 192 352 moveto 202 366 214 380 226 392 curveto 226 390 lineto 228 394 lineto 228 402 lineto 226 390 lineto 212 384 lineto 216 384 lineto 222 386 lineto 222 388 lineto 240 404 258 418 278 426 curveto 278 424 lineto 272 422 lineto 272 424 lineto 282 426 292 428 302 428 curveto 308 430 lineto 312 434 lineto 298 428 lineto 288 434 lineto 292 430 lineto 298 428 lineto 298 426 lineto 308 426 318 424 328 422 curveto 326 422 lineto 320 424 lineto 322 424 lineto 342 416 360 402 378 386 curveto 376 386 lineto 382 384 lineto 372 390 lineto 370 398 lineto 370 394 lineto 372 390 lineto 374 390 lineto 386 378 398 364 408 350 curveto 418 336 430 322 442 310 curveto 442 312 lineto 446 308 lineto 446 306 lineto 464 290 482 276 502 268 curveto 502 270 lineto 508 268 lineto 508 266 lineto 518 264 528 262 538 262 curveto 538 264 lineto 542 264 lineto 552 264 562 266 572 268 curveto 570 268 lineto 576 270 lineto 578 270 lineto 598 278 616 292 634 308 curveto 632 308 lineto 636 312 lineto 638 312 lineto 650 324 662 338 672 352 curveto 674 354 lineto 674 366 lineto 672 370 lineto 668 374 lineto 662 376 lineto 658 376 lineto 652 374 lineto 648 370 lineto 646 368 lineto 636 354 624 340 612 328 curveto 612 330 lineto 610 326 lineto 610 318 lineto 612 330 lineto 626 336 lineto 622 336 lineto 616 334 lineto 616 332 lineto 598 316 580 302 560 294 curveto 560 296 lineto 566 298 lineto 566 296 lineto 556 294 546 292 536 292 curveto 538 294 lineto 532 292 lineto 528 288 lineto 542 294 lineto 552 288 lineto 548 292 lineto 542 294 lineto 540 294 lineto 530 294 520 296 510 298 curveto 512 298 lineto 518 296 lineto 516 296 lineto 496 304 478 318 460 334 curveto 462 334 lineto 456 336 lineto 466 330 lineto 468 322 lineto 468 326 lineto 466 330 lineto 464 330 lineto 452 342 440 356 430 370 curveto 420 384 408 398 396 410 curveto 396 408 lineto 392 412 lineto 392 414 lineto 374 430 356 444 336 452 curveto 336 450 lineto 330 452 lineto 330 454 lineto 320 456 310 458 300 458 curveto 298 458 lineto 296 456 lineto 286 456 276 454 266 452 curveto 268 452 lineto 262 450 lineto 260 450 lineto 240 442 222 428 204 412 curveto 206 412 lineto 202 408 lineto 200 408 lineto 188 396 178 382 168 368 curveto 168 370 lineto 166 366 lineto 166 354 lineto 168 352 lineto 172 348 lineto 178 346 lineto 182 346 lineto 188 348 lineto 192 352 lineto closepath %end path fill ) def /Leads_to_character_with_arrowhead ( newpath %new path 858 364 moveto 856 368 lineto 854 368 lineto 828 378 804 394 784 414 curveto 786 412 lineto 782 414 lineto 788 410 lineto 790 406 lineto 788 410 lineto 768 432 750 456 740 486 curveto 740 484 lineto 738 488 lineto 724 488 lineto 720 484 lineto 720 476 lineto 722 476 lineto 734 446 750 420 772 398 curveto 774 396 lineto 776 394 lineto 792 378 812 362 834 352 curveto 834 354 lineto 836 352 lineto 830 356 lineto 830 362 lineto 828 360 lineto 830 360 lineto 830 364 lineto 838 368 lineto 836 368 lineto 834 366 lineto 832 366 lineto 810 356 790 340 774 324 curveto 772 322 lineto 770 320 lineto 748 298 732 272 720 242 curveto 720 236 lineto 724 232 lineto 738 232 lineto 740 236 lineto 742 236 lineto 752 266 770 290 790 312 curveto 788 310 lineto 790 314 lineto 790 316 lineto 788 310 lineto 780 306 lineto 782 306 lineto 786 308 lineto 806 328 830 344 856 354 curveto 858 356 lineto 860 360 lineto 860 362 lineto 858 364 lineto closepath %end path %new path 192 352 moveto 202 366 214 380 226 392 curveto 226 390 lineto 228 394 lineto 228 402 lineto 226 390 lineto 212 384 lineto 216 384 lineto 222 386 lineto 222 388 lineto 240 404 258 418 278 426 curveto 278 424 lineto 272 422 lineto 272 424 lineto 282 426 292 428 302 428 curveto 308 430 lineto 312 434 lineto 298 428 lineto 288 434 lineto 292 430 lineto 298 428 lineto 298 426 lineto 308 426 318 424 328 422 curveto 326 422 lineto 320 424 lineto 322 424 lineto 342 416 360 402 378 386 curveto 376 386 lineto 382 384 lineto 372 390 lineto 370 398 lineto 370 394 lineto 372 390 lineto 374 390 lineto 386 378 398 364 408 350 curveto 418 336 430 322 442 310 curveto 442 312 lineto 446 308 lineto 446 306 lineto 464 290 482 276 502 268 curveto 502 270 lineto 508 268 lineto 508 266 lineto 518 264 528 262 538 262 curveto 538 264 lineto 542 264 lineto 552 264 562 266 570 268 curveto 576 270 lineto 620 286 654 328 698 344 curveto 696 342 lineto 690 340 lineto 692 342 lineto 700 344 710 346 720 346 curveto 824 346 lineto 830 348 lineto 834 352 lineto 836 354 lineto 838 358 lineto 838 362 lineto 836 366 lineto 834 370 lineto 830 374 lineto 824 376 lineto 820 376 lineto 820 374 lineto 714 374 lineto 704 374 694 372 686 370 curveto 680 368 lineto 636 352 602 310 558 294 curveto 560 296 lineto 566 298 lineto 564 296 lineto 556 294 546 292 536 292 curveto 538 294 lineto 532 292 lineto 528 288 lineto 542 294 lineto 552 288 lineto 548 292 lineto 542 294 lineto 540 294 lineto 530 294 520 296 510 298 curveto 512 298 lineto 518 296 lineto 516 296 lineto 496 304 478 318 460 334 curveto 462 334 lineto 456 336 lineto 466 330 lineto 468 322 lineto 468 326 lineto 466 330 lineto 464 330 lineto 452 342 440 356 430 370 curveto 420 384 408 398 396 410 curveto 396 408 lineto 392 412 lineto 392 414 lineto 374 430 356 444 336 452 curveto 336 450 lineto 330 452 lineto 330 454 lineto 320 456 310 458 300 458 curveto 298 458 lineto 296 456 lineto 286 456 276 454 266 452 curveto 268 452 lineto 262 450 lineto 260 450 lineto 240 442 222 428 204 412 curveto 206 412 lineto 202 408 lineto 200 408 lineto 188 396 178 382 168 368 curveto 168 370 lineto 166 366 lineto 166 354 lineto 168 352 lineto 172 348 lineto 178 346 lineto 182 346 lineto 188 348 lineto 192 352 lineto closepath %end path fill ) def /LASY_lhd_triangle ( newpath %new path 666 570 moveto 662 570 lineto 656 568 lineto 656 566 lineto 518 502 382 436 244 372 curveto 246 374 lineto 242 370 lineto 240 366 lineto 238 362 lineto 238 358 lineto 240 354 lineto 242 352 lineto 246 348 lineto 246 346 lineto 384 282 520 216 658 154 curveto 656 154 lineto 662 152 lineto 666 152 lineto 672 154 lineto 676 158 lineto 678 162 lineto 680 166 lineto 680 556 lineto 678 560 lineto 676 564 lineto 672 568 lineto 666 570 lineto closepath %end path %new path 650 552 moveto 652 564 lineto 650 560 lineto 650 556 lineto 648 556 lineto 648 168 lineto 650 170 lineto 650 166 lineto 652 176 lineto 666 180 lineto 656 180 lineto 652 176 lineto 666 180 lineto 676 176 lineto 672 180 lineto 534 244 398 310 260 374 curveto 262 374 lineto 256 376 lineto 266 370 lineto 268 362 lineto 268 366 lineto 266 370 lineto 268 362 lineto 266 352 lineto 268 354 lineto 268 362 lineto 266 352 lineto 252 346 lineto 256 346 lineto 262 348 lineto 400 412 536 478 674 542 curveto 672 542 lineto 676 546 lineto 662 540 lineto 652 546 lineto 656 542 lineto 662 540 lineto 652 546 lineto 650 552 lineto 650 548 lineto 652 546 lineto 650 552 lineto closepath %end path fill ) def /LASY_unlhd_triangle ( newpath %new path 666 638 moveto 662 638 lineto 656 636 lineto 656 634 lineto 518 570 382 504 244 440 curveto 246 440 lineto 242 436 lineto 240 434 lineto 238 430 lineto 238 426 lineto 240 422 lineto 242 418 lineto 246 414 lineto 384 350 520 284 658 220 curveto 656 220 lineto 662 218 lineto 666 218 lineto 672 220 lineto 676 224 lineto 678 228 lineto 680 232 lineto 680 624 lineto 678 628 lineto 676 632 lineto 672 636 lineto 666 638 lineto closepath %end path %new path 650 620 moveto 652 632 lineto 650 628 lineto 650 624 lineto 648 624 lineto 648 234 lineto 650 236 lineto 650 232 lineto 652 242 lineto 666 248 lineto 662 248 lineto 656 246 lineto 652 242 lineto 666 248 lineto 676 242 lineto 672 246 lineto 672 248 lineto 534 312 398 378 260 442 curveto 262 440 lineto 256 442 lineto 266 436 lineto 268 430 lineto 268 434 lineto 266 436 lineto 268 430 lineto 266 418 lineto 268 422 lineto 268 430 lineto 266 418 lineto 252 412 lineto 256 412 lineto 262 414 lineto 262 416 lineto 400 480 536 546 674 610 curveto 672 610 lineto 676 614 lineto 662 608 lineto 652 614 lineto 656 610 lineto 662 608 lineto 652 614 lineto 650 620 lineto 650 616 lineto 652 614 lineto 650 620 lineto closepath %end path %new path 666 110 moveto 252 110 lineto 246 108 lineto 242 104 lineto 240 102 lineto 238 98 lineto 238 94 lineto 240 90 lineto 242 86 lineto 246 82 lineto 252 80 lineto 256 80 lineto 256 82 lineto 668 82 lineto 666 80 lineto 672 82 lineto 676 86 lineto 678 90 lineto 680 94 lineto 680 98 lineto 678 102 lineto 676 104 lineto 672 108 lineto 666 110 lineto closepath %end path fill ) def /LASY_rhd_triangle ( newpath %new path 252 540 moveto 242 546 lineto 246 542 lineto 246 540 lineto 384 476 520 410 658 346 curveto 656 348 lineto 662 346 lineto 652 352 lineto 650 358 lineto 650 354 lineto 652 352 lineto 650 358 lineto 652 370 lineto 650 366 lineto 650 358 lineto 652 370 lineto 666 376 lineto 662 376 lineto 656 374 lineto 656 372 lineto 518 308 382 242 244 180 curveto 246 180 lineto 242 176 lineto 256 180 lineto 266 176 lineto 262 180 lineto 256 180 lineto 266 176 lineto 268 170 lineto 268 174 lineto 266 176 lineto 268 170 lineto 266 158 lineto 268 162 lineto 268 166 lineto 270 166 lineto 270 554 lineto 268 552 lineto 268 556 lineto 266 546 lineto 252 540 lineto 256 540 lineto 262 542 lineto 266 546 lineto 252 540 lineto closepath %end path %new path 242 564 moveto 240 560 lineto 238 556 lineto 238 166 lineto 240 162 lineto 242 158 lineto 246 154 lineto 252 152 lineto 256 152 lineto 262 154 lineto 262 156 lineto 400 218 536 284 674 348 curveto 672 348 lineto 676 352 lineto 678 354 lineto 680 358 lineto 680 362 lineto 678 366 lineto 676 370 lineto 672 374 lineto 534 438 398 504 260 568 curveto 262 568 lineto 256 570 lineto 252 570 lineto 246 568 lineto 242 564 lineto closepath %end path fill ) def /LASY_unrhd_triangle ( newpath %new path 252 608 moveto 242 614 lineto 246 610 lineto 246 608 lineto 384 544 520 478 658 414 curveto 656 414 lineto 662 412 lineto 652 418 lineto 650 426 lineto 650 422 lineto 652 418 lineto 650 426 lineto 652 436 lineto 650 434 lineto 650 426 lineto 652 436 lineto 666 442 lineto 662 442 lineto 656 440 lineto 518 376 382 310 244 246 curveto 246 246 lineto 242 242 lineto 256 248 lineto 266 242 lineto 262 246 lineto 256 248 lineto 266 242 lineto 268 236 lineto 268 240 lineto 266 242 lineto 268 236 lineto 266 224 lineto 268 228 lineto 268 232 lineto 270 232 lineto 270 622 lineto 268 620 lineto 268 624 lineto 266 614 lineto 252 608 lineto 256 608 lineto 262 610 lineto 266 614 lineto 252 608 lineto closepath %end path %new path 242 632 moveto 240 628 lineto 238 624 lineto 238 232 lineto 240 228 lineto 242 224 lineto 246 220 lineto 252 218 lineto 256 218 lineto 262 220 lineto 262 222 lineto 400 286 536 352 674 416 curveto 672 414 lineto 676 418 lineto 678 422 lineto 680 426 lineto 680 430 lineto 678 434 lineto 676 436 lineto 672 440 lineto 672 442 lineto 534 506 398 572 260 636 curveto 262 636 lineto 256 638 lineto 252 638 lineto 246 636 lineto 242 632 lineto closepath %end path %new path 252 80 moveto 256 80 lineto 256 82 lineto 668 82 lineto 666 80 lineto 672 82 lineto 676 86 lineto 678 90 lineto 680 94 lineto 680 98 lineto 678 102 lineto 676 104 lineto 672 108 lineto 666 110 lineto 252 110 lineto 246 108 lineto 242 104 lineto 240 102 lineto 238 98 lineto 238 94 lineto 240 90 lineto 242 86 lineto 246 82 lineto 252 80 lineto closepath %end path fill ) def end % of CharDefs dictionary Encoding 65 /Leftward_arrowhead put Encoding 66 /Rightward_arrowhead put Encoding 67 /Upward_arrowhead put Encoding 68 /Downward_arrowhead put Encoding 69 /Square_subset_sign put Encoding 70 /Square_superset_sign put Encoding 71 /Diamond put Encoding 72 /Square put Encoding 73 /Bowtie_operator put Encoding 74 /Upside-down_Uppercase_Greek_Omega put Encoding 75 /Leads_to_character_extension put Encoding 76 /Leads_to_character_with_arrowhead put Encoding 77 /LASY_lhd_triangle put Encoding 78 /LASY_unlhd_triangle put Encoding 79 /LASY_rhd_triangle put Encoding 80 /LASY_unrhd_triangle put Metrics begin /Leftward_arrowhead 139 fudge add def /Rightward_arrowhead 141 fudge add def /Upward_arrowhead 259 fudge add def /Downward_arrowhead 259 fudge add def /Square_subset_sign 449 fudge add def /Square_superset_sign 449 fudge add def /Diamond 489 fudge add def /Square 413 fudge add def /Bowtie_operator 431 fudge add def /Upside-down_Uppercase_Greek_Omega 459 fudge add def /Leads_to_character_extension 509 fudge add def /Leads_to_character_with_arrowhead 695 fudge add def /LASY_lhd_triangle 443 fudge add def /LASY_unlhd_triangle 443 fudge add def /LASY_rhd_triangle 443 fudge add def /LASY_unrhd_triangle 443 fudge add def /.notdef 225 def end /BuildChar { TBuildCharDict begin %% /char exch def /fontdict exch def /charname fontdict /Encoding get char get def %% /charproc fontdict /CharDefs get charname get def /charwdth fontdict /Metrics get charname get def %% gsave 1.3 1.3 scale 0.2 setflat 0.2 setlinewidth charwdth 10 0 -100 charwdth 1000 setcachedevice -166 0 translate charproc cvx exec grestore end } def /FontBBox [166 fudge sub 42 860 672] end /Simon SimonFont definefont pop /Simon findfont 13 scalefont setfont 100 710 moveto (EF GH IKL M N O P) show showpage .