Books
Contributors
Covers
Sign In
Strichman
X
LinkedIn
Author
Decision Procedures
Edit this contributor
Destroy this contributor
Back to contributors
 translate(0.5 0.5)' filter='url(%23b)'> <g transform='translate(30.290825 24.689388) rotate(227.260509) scale(40.870744 168.000000)'> <ellipse fill='%23ff0278' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <ellipse fill='%230b6c7c' fill-opacity='0.501961' cx='81' cy='197' rx='114' ry='114'/> <g transform='translate(100.075370 110.642419) rotate(265.019007) scale(25.808634 84.037913)'> <ellipse fill='%237596aa' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <rect fill='%236b004f' fill-opacity='0.501961' x='65' y='0' width='104' height='86'/> <g transform='translate(35.400616 5.268026) rotate(7.484059) scale(49.606374 27.410021)'> <ellipse fill='%23ff428c' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(22.248011 229.365188) rotate(190.789300) scale(168.000000 72.933911)'> <ellipse fill='%23044161' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(145.546361 71.818772) rotate(382.566812) scale(23.207497 12.023218)'> <ellipse fill='%23d40e0a' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(70.522305 60.687470) rotate(75.011972) scale(20.358581 92.688281)'> <ellipse fill='%23400f61' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(0 99) rotate(91) scale(23 15)'> <rect fill='%23ff0000' fill-opacity='0.501961' x='-0.5' y='-0.5' width='1' height='1'/> </g> <g transform='translate(147.459778 4.128051) rotate(210.412059) scale(32.302969 12.567741)'> <ellipse fill='%23b50625' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <polygon fill='%2390aab5' fill-opacity='0.501961' points='98.326098,98.801285,49.508745,134.127598,128.885250,133.539989,30.095471,102.668994'/> <rect fill='%238c63a4' fill-opacity='0.501961' x='58' y='13' width='44' height='15'/> <g transform='translate(9.995916 0.000000) rotate(83.429958) scale(14.443672 26.805488)'> <ellipse fill='%23fb959d' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <g transform='translate(105.335798 48.078882) rotate(41.244156) scale(21.366504 47.640886)'> <ellipse fill='%232e176e' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <ellipse fill='%23225274' fill-opacity='0.501961' cx='87' cy='117' rx='167' ry='6'/> </g></svg>)