I am stuck on the game Loopy inside of Simon Tatham's Portable Puzzle Collection (iOS, but it's available on Android and in other places).

The type is 4 X 5 Great Dodecagonal – Hard. The specific game instance is: 5x4t10:B37e94f2329321a1b433374a3bAaA3b432a2Ad2a3c28c3Aa223A32a2a222b4a3a2a. Not sure if it will work on anything but the iOS platform.

For 3 days now I've been staring at this, trying to make progress by pure deduction alone. What am I missing? Or do I have to just start trying things such as connecting two segments and seeing which choices can't be made to work?

Here is my progress so far:

Rules

All the lines start as yellow. You are to make a single unbroken circuit with no intersections. Each number is a clue stating how many of that shape's edges are filled. You win when you make a black circuit that fulfills all the clues perfectly. The yellow lines can be removed as an aid to solving, but do not affect winning.