HTTP/1.1 302 Found
Date: Sat, 24 Jan 2026 12:36:06 GMT
Content-Length: 0
Connection: close
Access-Control-Allow-Credentials: true
Set-Cookie: CF_AppSession=a6d5dd8bfd5acd91; Expires=Sun, 25 Jan 2026 12:36:06 GMT; Path=/; Secure; HttpOnly
Cache-Control: private, max-age=0, no-store, no-cache, must-revalidate, post-check=0, pre-check=0
Expires: Thu, 01 Jan 1970 00:00:01 GMT
Location: https://favonia.cloudflareaccess.com/cdn-cgi/access/login/b.favonia.org?kid=bc4f33920e85a9756d87fd85c7ea402acd399c838175a88ea816f925ada5dcba&meta=eyJ0eXAiOiJKV1QiLCJhbGciOiJSUzI1NiIsImtpZCI6IjY2MTNiNDNjYjJhYzhlNjMxNDMyNThkZTljMjQ4N2U1YzYxNjc0ZWQ4ZTBlNTcxNWFkMGE0NmM2ZDliZWJmNjEifQ.eyJ0eXBlIjoibWV0YSIsImF1ZCI6ImJjNGYzMzkyMGU4NWE5NzU2ZDg3ZmQ4NWM3ZWE0MDJhY2QzOTljODM4MTc1YTg4ZWE4MTZmOTI1YWRhNWRjYmEiLCJob3N0bmFtZSI6ImIuZmF2b25pYS5vcmciLCJyZWRpcmVjdF91cmwiOiIvIiwic2VydmljZV90b2tlbl9zdGF0dXMiOmZhbHNlLCJpc193YXJwIjpmYWxzZSwiaXNfZ2F0ZXdheSI6ZmFsc2UsImV4cCI6MTc2OTI1ODQ2NiwibmJmIjoxNzY5MjU4MTY2LCJpYXQiOjE3NjkyNTgxNjYsImF1dGhfc3RhdHVzIjoiTk9ORSIsIm10bHNfYXV0aCI6eyJjZXJ0X2lzc3Vlcl9kbiI6IiIsImNlcnRfc2VyaWFsIjoiIiwiY2VydF9pc3N1ZXJfc2tpIjoiIiwiY2VydF9wcmVzZW50ZWQiOmZhbHNlLCJjb21tb25fbmFtZSI6IiIsImF1dGhfc3RhdHVzIjoiTk9ORSJ9LCJyZWFsX2NvdW50cnkiOiJVUyIsImFwcF9zZXNzaW9uX2hhc2giOiI4MTIwNzYxYjIyNjJlYzliNThkZTYzNWY4NmFmYjg1NjczNWQ2YzBmOGUxNWJiZmRkODc1ODNhMzZlZWZmMGU0In0.WBIj4e9EdNwShkyIdBJ2KrdieXG6BlDVZgh9yb3dYGPVFL23Fn-PcRRTBy1WuF2nt5u2O8sRf3gjcVb871eOCviw_eyoePPN7jSHkN7aazXvAumno3IYIuiPypuFnIbXfDM_34biEg5F124KB9N8Kmp7YaMyWMwd4ns0rwHSFOTSFvrvqg0KPu6dNnTUuUq0Wl8Uz3kECjNA8d1BD-Gu0VHJNyWtv1F25Bkc9Jq3_ynO9yZOWYWQL2ouq-q5KESPfXQ0ORkKsswxRikuUFUzvhUYxNPqPzCD4pcewADJecOemWY48czBAOgR6L8yJ4kJSQ2sgQAsB4Rq-e2TsZIHwA&redirect_url=%2F
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=6Viwv8T7YbyOMq45BHH0TjgS%2FMk5PYvPF1IzVM81YtFyw1KqHNldcnKXi4DnQMuAQxL5axsKwmgymX%2BupcGf3FH7J29xtIlOlj%2B6XXPcqUB%2FoSG9VKm4nDQ%3D"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c2f9312af467cf9-EWR
alt-svc: h3=":443"; ma=86400

HTTP/1.1 302 Found
Date: Sat, 24 Jan 2026 12:36:05 GMT
Content-Length: 0
Connection: close
Cache-Control: private, max-age=0, no-store, no-cache, must-revalidate, post-check=0, pre-check=0
Access-Control-Allow-Credentials: true
Set-Cookie: CF_AppSession=14ee63fb932a3e70; Expires=Sun, 25 Jan 2026 12:36:05 GMT; Path=/; Secure; HttpOnly
Expires: Thu, 01 Jan 1970 00:00:01 GMT
Location: https://favonia.cloudflareaccess.com/cdn-cgi/access/login/b.favonia.org?kid=bc4f33920e85a9756d87fd85c7ea402acd399c838175a88ea816f925ada5dcba&meta=eyJ0eXAiOiJKV1QiLCJhbGciOiJSUzI1NiIsImtpZCI6IjY2MTNiNDNjYjJhYzhlNjMxNDMyNThkZTljMjQ4N2U1YzYxNjc0ZWQ4ZTBlNTcxNWFkMGE0NmM2ZDliZWJmNjEifQ.eyJ0eXBlIjoibWV0YSIsImF1ZCI6ImJjNGYzMzkyMGU4NWE5NzU2ZDg3ZmQ4NWM3ZWE0MDJhY2QzOTljODM4MTc1YTg4ZWE4MTZmOTI1YWRhNWRjYmEiLCJob3N0bmFtZSI6ImIuZmF2b25pYS5vcmciLCJyZWRpcmVjdF91cmwiOiIvIiwic2VydmljZV90b2tlbl9zdGF0dXMiOmZhbHNlLCJpc193YXJwIjpmYWxzZSwiaXNfZ2F0ZXdheSI6ZmFsc2UsImV4cCI6MTc2OTI1ODQ2NSwibmJmIjoxNzY5MjU4MTY1LCJpYXQiOjE3NjkyNTgxNjUsImF1dGhfc3RhdHVzIjoiTk9ORSIsIm10bHNfYXV0aCI6eyJjZXJ0X2lzc3Vlcl9kbiI6IiIsImNlcnRfc2VyaWFsIjoiIiwiY2VydF9pc3N1ZXJfc2tpIjoiIiwiY2VydF9wcmVzZW50ZWQiOmZhbHNlLCJjb21tb25fbmFtZSI6IiIsImF1dGhfc3RhdHVzIjoiTk9ORSJ9LCJyZWFsX2NvdW50cnkiOiJVUyIsImFwcF9zZXNzaW9uX2hhc2giOiI0ZGQwMzY3OGRmM2EyMmY2ZTY5Mjk0Y2JhMzE2MDJmYWFjZDA4YzBjNDgzN2ZhMWY5NWE0NzhkZjRkZDFlNzljIn0.pazSY_9B29YBiBFdS5W3aWLd33IrupPjXRJw-yeItx7LAL2pugb1-wsnVeNw_na8_OdCDXU2VgBijyb5K9Ahc2zmTaGcL2BzR-F47_GwVvJvvmItH5psEo3WiRBT19kK1qhE76-YM-rH__v-1q07xlyTQobQ6VmUM86oHVN4ZKQKg6RNsX1kpaVldsxxjPAzBDAAnvKrgstGdclM5qZMPeopJvv_EOrVccAT8hhKv0dmb2qETVP_GWMwZ-jvKvCYHj_jm1f6Qb6dW3cnPud-4twSO3NcQk8yLXT7md-5FpOS7wYnlE-e0AX7_G-0T_vXyxAUTfVw86wn6BjWnOEzlA&redirect_url=%2F
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=2zo0y%2BRfUPuMD2sHaNKNYyVLWQR9uI7o50ms0WPBQ7fap6wK33voYEy7xWphsCSwVGFANo%2FUqnARho6cu6yNfcnPoLcMRDwnLS5rqrkLgQXXPLvxDWnasw8%3D"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c2f930df8b0c3fa-EWR
alt-svc: h3=":443"; ma=86400

HTTP/1.1 301 Moved Permanently
Date: Sat, 24 Jan 2026 12:36:05 GMT
Content-Length: 0
Connection: close
Location: https://b.favonia.org/
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=6BD4VoijAaseioieD9AFG9eWC8IXNWvfXF11CpQ7EEfKYPRP8j3zMQMCzqLnyUc%2BErPGBIJ%2Bu%2BapogGFNM5SNvOdPDl6Mkz%2Fh6AAVfw%3D"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c2f930dad47cf2f-SJC
alt-svc: h3=":443"; ma=86400

HTTP/1.1 301 Moved Permanently
Date: Sat, 24 Jan 2026 12:36:05 GMT
Content-Length: 0
Connection: close
Location: https://b.favonia.org/
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=d%2BlKSKG4FmxkNCzusJFBrKfq8Lgmcm74UrqmiKnbyKuOk%2FR6EdWwgQeW4QgDPmaWI%2FiA3Q3q3TU9XY7yGOysQB7mpF55kodR%2FqwW8vqcmWbAqTlQLPx5Y3w%3D"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c2f930dd889c617-BOM
alt-svc: h3=":443"; ma=86400

HTTP/1.1 302 Found
Date: Sat, 24 Jan 2026 12:36:05 GMT
Content-Length: 0
Connection: close
Cache-Control: private, max-age=0, no-store, no-cache, must-revalidate, post-check=0, pre-check=0
Expires: Thu, 01 Jan 1970 00:00:01 GMT
Access-Control-Allow-Credentials: true
Set-Cookie: CF_AppSession=ecc834a6524cabad; Expires=Sun, 25 Jan 2026 12:36:05 GMT; Path=/; Secure; HttpOnly
Location: https://favonia.cloudflareaccess.com/cdn-cgi/access/login/b.favonia.org?kid=bc4f33920e85a9756d87fd85c7ea402acd399c838175a88ea816f925ada5dcba&meta=eyJ0eXAiOiJKV1QiLCJhbGciOiJSUzI1NiIsImtpZCI6IjY2MTNiNDNjYjJhYzhlNjMxNDMyNThkZTljMjQ4N2U1YzYxNjc0ZWQ4ZTBlNTcxNWFkMGE0NmM2ZDliZWJmNjEifQ.eyJ0eXBlIjoibWV0YSIsImF1ZCI6ImJjNGYzMzkyMGU4NWE5NzU2ZDg3ZmQ4NWM3ZWE0MDJhY2QzOTljODM4MTc1YTg4ZWE4MTZmOTI1YWRhNWRjYmEiLCJob3N0bmFtZSI6ImIuZmF2b25pYS5vcmciLCJyZWRpcmVjdF91cmwiOiIvIiwic2VydmljZV90b2tlbl9zdGF0dXMiOmZhbHNlLCJpc193YXJwIjpmYWxzZSwiaXNfZ2F0ZXdheSI6ZmFsc2UsImV4cCI6MTc2OTI1ODQ2NSwibmJmIjoxNzY5MjU4MTY1LCJpYXQiOjE3NjkyNTgxNjUsImF1dGhfc3RhdHVzIjoiTk9ORSIsIm10bHNfYXV0aCI6eyJjZXJ0X2lzc3Vlcl9kbiI6IiIsImNlcnRfc2VyaWFsIjoiIiwiY2VydF9pc3N1ZXJfc2tpIjoiIiwiY2VydF9wcmVzZW50ZWQiOmZhbHNlLCJjb21tb25fbmFtZSI6IiIsImF1dGhfc3RhdHVzIjoiTk9ORSJ9LCJyZWFsX2NvdW50cnkiOiJERSIsImFwcF9zZXNzaW9uX2hhc2giOiI0NzU5OWZlYjUzOWNmNGEyMDUzMTg5Y2QzMWFjMDczMjBhMGIyNzk4ZGFjOGZmMmY4MWY0YTY1ODg2NGIyMzg4In0.rtp4lfxneqf-JynkpD0Q42jyPleUEoYSSURo6pTYHiebFj1oTm9PMjzmJxPBZKOV4wY00ob_fCcCmbWChCZWuiDxLKe7cxyiK0t0r_6Lz1DoBY2xQ1xZzOg4rNv3Dv3RnRjKXOjaayfJIbyhu6xLKfvsx5nM1dvy0-0L9jse0B6vrMEOi4qMfO0vKZN1XfXsTia8eBmivQgNpoR637FmNJg_nDy6O202lH6Ozoq2ejt3dn0bA81zRz7siBu7l28ugSZ9zUnJhMGAITvp16kkNs2xrKG3Up7cQ1l0VQ_W_P3zd-5CIGdGbP8UYAkpBylNYzLD1CZqqtH6uM32FV9LRg&redirect_url=%2F
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=BHOVaa9mcvhtuz92%2BxWPSRKCbLlXU9oHix4Lznb%2BwglhlzAJMJDvy95n9BK%2BlJdjemOnEJX9QG5E8j3de9Oog5%2BTSu76Y8j%2FOxPqoPQ%3D"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c2f930d2b5ae858-FRA
alt-svc: h3=":443"; ma=86400

HTTP/1.1 302 Found
Date: Sat, 24 Jan 2026 12:36:05 GMT
Content-Length: 0
Connection: close
Access-Control-Allow-Credentials: true
Set-Cookie: CF_AppSession=84eb8e65d184753d; Expires=Sun, 25 Jan 2026 12:36:05 GMT; Path=/; Secure; HttpOnly
Cache-Control: private, max-age=0, no-store, no-cache, must-revalidate, post-check=0, pre-check=0
Expires: Thu, 01 Jan 1970 00:00:01 GMT
Location: https://favonia.cloudflareaccess.com/cdn-cgi/access/login/b.favonia.org?kid=bc4f33920e85a9756d87fd85c7ea402acd399c838175a88ea816f925ada5dcba&meta=eyJ0eXAiOiJKV1QiLCJhbGciOiJSUzI1NiIsImtpZCI6IjY2MTNiNDNjYjJhYzhlNjMxNDMyNThkZTljMjQ4N2U1YzYxNjc0ZWQ4ZTBlNTcxNWFkMGE0NmM2ZDliZWJmNjEifQ.eyJ0eXBlIjoibWV0YSIsImF1ZCI6ImJjNGYzMzkyMGU4NWE5NzU2ZDg3ZmQ4NWM3ZWE0MDJhY2QzOTljODM4MTc1YTg4ZWE4MTZmOTI1YWRhNWRjYmEiLCJob3N0bmFtZSI6ImIuZmF2b25pYS5vcmciLCJyZWRpcmVjdF91cmwiOiIvIiwic2VydmljZV90b2tlbl9zdGF0dXMiOmZhbHNlLCJpc193YXJwIjpmYWxzZSwiaXNfZ2F0ZXdheSI6ZmFsc2UsImV4cCI6MTc2OTI1ODQ2NSwibmJmIjoxNzY5MjU4MTY1LCJpYXQiOjE3NjkyNTgxNjUsImF1dGhfc3RhdHVzIjoiTk9ORSIsIm10bHNfYXV0aCI6eyJjZXJ0X2lzc3Vlcl9kbiI6IiIsImNlcnRfc2VyaWFsIjoiIiwiY2VydF9pc3N1ZXJfc2tpIjoiIiwiY2VydF9wcmVzZW50ZWQiOmZhbHNlLCJjb21tb25fbmFtZSI6IiIsImF1dGhfc3RhdHVzIjoiTk9ORSJ9LCJyZWFsX2NvdW50cnkiOiJDQSIsImFwcF9zZXNzaW9uX2hhc2giOiIxODI1YzMzZjRkNTQ3MjdkYzZkOGMzZjhjMDgxYzEwNTFiZjQ1OTFiODI4MzFmYzBjMjYzOWM3NDYyYzNmODVhIn0.K9nanO5inTtq-zzhKpltZsadroQOkZaAoVwsYhcGRZU75SkS9tBhsCBEAbM7RqIPdITY3c1d4czXH-R8nj00giLnfpsyIvWA2q6BNaVGqeerTI-UzKcBMBcz3RrPaNGLF1b49j2gSz7oJBYF9aoLJg6mNfJmN-t4sHBDi3ZpmcYDb6vDU7oEp5gfio_qq6YihhPyh7o1T4WTHXaDTpW1KV_xFRCg1Fc-aJhALf-15OgM-Jy9YCA5ftY6vlsCRVRjvliI6w2RiodEJtZeB3GFcz8e1koX39vY6Tp84SnZrNgz4VRYmO35YPEUQaQ512qPclRGW6Rot316CL3AYjet0g&redirect_url=%2F
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=8bzLq%2FLmpc75%2FO3E6ac%2Fnk2XC9YeX7KnTL82EqmMQmuspPmnWgmqRbNxCXrALtIHl2v5W6%2Bmztdnh5C6XbIz%2FoZvyaqp1zgwq6AXgTa%2FMTQQcqs0FJI4f1E%3D"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c2f930d0d743a00-YYZ
alt-svc: h3=":8443"; ma=86400

HTTP/1.1 302 Found
Date: Sat, 24 Jan 2026 12:36:05 GMT
Content-Length: 0
Connection: close
Set-Cookie: CF_AppSession=81a4ef8dcb0b318a; Expires=Sun, 25 Jan 2026 12:36:05 GMT; Path=/; Secure; HttpOnly
Cache-Control: private, max-age=0, no-store, no-cache, must-revalidate, post-check=0, pre-check=0
Access-Control-Allow-Credentials: true
Expires: Thu, 01 Jan 1970 00:00:01 GMT
Location: https://favonia.cloudflareaccess.com/cdn-cgi/access/login/b.favonia.org?kid=bc4f33920e85a9756d87fd85c7ea402acd399c838175a88ea816f925ada5dcba&meta=eyJ0eXAiOiJKV1QiLCJhbGciOiJSUzI1NiIsImtpZCI6IjY2MTNiNDNjYjJhYzhlNjMxNDMyNThkZTljMjQ4N2U1YzYxNjc0ZWQ4ZTBlNTcxNWFkMGE0NmM2ZDliZWJmNjEifQ.eyJ0eXBlIjoibWV0YSIsImF1ZCI6ImJjNGYzMzkyMGU4NWE5NzU2ZDg3ZmQ4NWM3ZWE0MDJhY2QzOTljODM4MTc1YTg4ZWE4MTZmOTI1YWRhNWRjYmEiLCJob3N0bmFtZSI6ImIuZmF2b25pYS5vcmciLCJyZWRpcmVjdF91cmwiOiIvIiwic2VydmljZV90b2tlbl9zdGF0dXMiOmZhbHNlLCJpc193YXJwIjpmYWxzZSwiaXNfZ2F0ZXdheSI6ZmFsc2UsImV4cCI6MTc2OTI1ODQ2NSwibmJmIjoxNzY5MjU4MTY1LCJpYXQiOjE3NjkyNTgxNjUsImF1dGhfc3RhdHVzIjoiTk9ORSIsIm10bHNfYXV0aCI6eyJjZXJ0X2lzc3Vlcl9kbiI6IiIsImNlcnRfc2VyaWFsIjoiIiwiY2VydF9pc3N1ZXJfc2tpIjoiIiwiY2VydF9wcmVzZW50ZWQiOmZhbHNlLCJjb21tb25fbmFtZSI6IiIsImF1dGhfc3RhdHVzIjoiTk9ORSJ9LCJyZWFsX2NvdW50cnkiOiJHQiIsImFwcF9zZXNzaW9uX2hhc2giOiJjMTA0YTBjZTQxZWNhMGMwYWExNGJmYjRlOTg3MDE4MTYxM2QzMmRiNDhhNzhlNWM5ODE2NGQ4YTIwNjZjYWQ1In0.vwj-9Mza2tD5esElY4V0tM278B4jaB68Pvm4PrTMe5W-PuPe85szXp5-K74p35cWuqGVU0uxk6xyG1gDDU2Ye009mQe0OJW8QDhht8t3KDNndDWuoygWWpQSpMl_jptHE4cu2LOujRHYlyDMhIkQjj3i2A0R_A2IJPi0x_q_loOou-wMl2sQjkcyvbOlq5lwZ3vCsol_cUWgzjNHFjfLBOjKRQYRGSa7oOOwSKlirVYWvOj_2xZkYyYfZKWeftYOAQYq1mSGtLiQsKHXxjHihQzECs4eBS7-AAhUXHMhsWqriDB5E86c9VMscya7Jiwu1rzPT6pve3mTcxJuH2115Q&redirect_url=%2F
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=ULpXyY98qI%2FMlrLZcxNyL5P7phmdAMrQ1bNJrza6VYPpfBU%2FYfaRA4FSFqJrmSGHmsTQLtPl%2FA79zm5dFhXrrmvCQ8eQ%2FnIx%2BhUyzEk%3D"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c2f930d3cdb6379-LHR
alt-svc: h3=":443"; ma=86400

HTTP/1.1 302 Found
Date: Sat, 24 Jan 2026 12:36:05 GMT
Content-Length: 0
Connection: close
Access-Control-Allow-Credentials: true
Expires: Thu, 01 Jan 1970 00:00:01 GMT
Cache-Control: private, max-age=0, no-store, no-cache, must-revalidate, post-check=0, pre-check=0
Set-Cookie: CF_AppSession=8d7080a113aae1b1; Expires=Sun, 25 Jan 2026 12:36:05 GMT; Path=/; Secure; HttpOnly
Location: https://favonia.cloudflareaccess.com/cdn-cgi/access/login/b.favonia.org?kid=bc4f33920e85a9756d87fd85c7ea402acd399c838175a88ea816f925ada5dcba&meta=eyJ0eXAiOiJKV1QiLCJhbGciOiJSUzI1NiIsImtpZCI6IjY2MTNiNDNjYjJhYzhlNjMxNDMyNThkZTljMjQ4N2U1YzYxNjc0ZWQ4ZTBlNTcxNWFkMGE0NmM2ZDliZWJmNjEifQ.eyJ0eXBlIjoibWV0YSIsImF1ZCI6ImJjNGYzMzkyMGU4NWE5NzU2ZDg3ZmQ4NWM3ZWE0MDJhY2QzOTljODM4MTc1YTg4ZWE4MTZmOTI1YWRhNWRjYmEiLCJob3N0bmFtZSI6ImIuZmF2b25pYS5vcmciLCJyZWRpcmVjdF91cmwiOiIvIiwic2VydmljZV90b2tlbl9zdGF0dXMiOmZhbHNlLCJpc193YXJwIjpmYWxzZSwiaXNfZ2F0ZXdheSI6ZmFsc2UsImV4cCI6MTc2OTI1ODQ2NSwibmJmIjoxNzY5MjU4MTY1LCJpYXQiOjE3NjkyNTgxNjUsImF1dGhfc3RhdHVzIjoiTk9ORSIsIm10bHNfYXV0aCI6eyJjZXJ0X2lzc3Vlcl9kbiI6IiIsImNlcnRfc2VyaWFsIjoiIiwiY2VydF9pc3N1ZXJfc2tpIjoiIiwiY2VydF9wcmVzZW50ZWQiOmZhbHNlLCJjb21tb25fbmFtZSI6IiIsImF1dGhfc3RhdHVzIjoiTk9ORSJ9LCJyZWFsX2NvdW50cnkiOiJERSIsImFwcF9zZXNzaW9uX2hhc2giOiI0NTYzNjY1OTUzY2Q1Y2FiMjBjNmFkZGQwZWRkZjE3YTJkOTQ5YzE5YTU1NTAxNTU5ZmM0NmUyOTQzYTNmMTBjIn0.RJb08igF1d2QaRDVSRFQMRCf9hznWlXb176609JDeIRNzFq9dAHgMKBI2UufF9LrNL_YU11z3oUy3nqY9UFT78t1i4_6R9aEk3F6QfMNMwXrB-_dcJqxrW2Q1Oi2dDZn0_uevzXEZc66ffHITUJD_1_I0HaYGz0LOf0SDKovscm6fvUaPfAtXLVT-rVYkZPqbwOf11kSayanA2oth4k2IX-I27o2KjJbfBIuks8Dj-MEb2dXTD92sHcLY2enqLhmpT1ZJ2Ilu8CjRzu5ok3ZYG6Okxnt55FfF3HgE1TlFdBHOWGF27fKFxK0YPWBAWIWOTHDhyIWc9Dj6RHt1QkVdQ&redirect_url=%2F
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=diKd3UeQunWQegKVkdeZNj2IkasR1fJGv9flPsGGeFgG8B7LEbbzwko7rOiElHuV2RfvyhP1YkO%2Fg1AHwPy%2BMQoXLbzKm27BJL92e8IGZlGs6%2FhVzWFAkE4%3D"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c2f930d095e2657-FRA
alt-svc: h3=":8443"; ma=86400

HTTP/1.1 301 Moved Permanently
Date: Sat, 24 Jan 2026 12:36:05 GMT
Content-Length: 0
Connection: close
Location: https://b.favonia.org/
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=9suo0QSVVt0Zx4V8qSXdD03RNIzfgkg%2BVdo2hpPwj%2BplIc%2Bs73ZUjhb4slCzNgOiccncDaKH%2BBsoa6Yc8Yzz4fg0CaVBW5oNAiRTI8o%3D"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c2f930ccf09076d-YYZ
alt-svc: h3=":443"; ma=86400

HTTP/1.1 302 Found
Date: Sat, 24 Jan 2026 12:36:05 GMT
Content-Length: 0
Connection: close
Cache-Control: private, max-age=0, no-store, no-cache, must-revalidate, post-check=0, pre-check=0
Set-Cookie: CF_AppSession=6dfb45f91afb396e; Expires=Sun, 25 Jan 2026 12:36:05 GMT; Path=/; Secure; HttpOnly
Access-Control-Allow-Credentials: true
Expires: Thu, 01 Jan 1970 00:00:01 GMT
Location: https://favonia.cloudflareaccess.com/cdn-cgi/access/login/b.favonia.org?kid=bc4f33920e85a9756d87fd85c7ea402acd399c838175a88ea816f925ada5dcba&meta=eyJ0eXAiOiJKV1QiLCJhbGciOiJSUzI1NiIsImtpZCI6IjY2MTNiNDNjYjJhYzhlNjMxNDMyNThkZTljMjQ4N2U1YzYxNjc0ZWQ4ZTBlNTcxNWFkMGE0NmM2ZDliZWJmNjEifQ.eyJ0eXBlIjoibWV0YSIsImF1ZCI6ImJjNGYzMzkyMGU4NWE5NzU2ZDg3ZmQ4NWM3ZWE0MDJhY2QzOTljODM4MTc1YTg4ZWE4MTZmOTI1YWRhNWRjYmEiLCJob3N0bmFtZSI6ImIuZmF2b25pYS5vcmciLCJyZWRpcmVjdF91cmwiOiIvIiwic2VydmljZV90b2tlbl9zdGF0dXMiOmZhbHNlLCJpc193YXJwIjpmYWxzZSwiaXNfZ2F0ZXdheSI6ZmFsc2UsImV4cCI6MTc2OTI1ODQ2NSwibmJmIjoxNzY5MjU4MTY1LCJpYXQiOjE3NjkyNTgxNjUsImF1dGhfc3RhdHVzIjoiTk9ORSIsIm10bHNfYXV0aCI6eyJjZXJ0X2lzc3Vlcl9kbiI6IiIsImNlcnRfc2VyaWFsIjoiIiwiY2VydF9pc3N1ZXJfc2tpIjoiIiwiY2VydF9wcmVzZW50ZWQiOmZhbHNlLCJjb21tb25fbmFtZSI6IiIsImF1dGhfc3RhdHVzIjoiTk9ORSJ9LCJyZWFsX2NvdW50cnkiOiJVUyIsImFwcF9zZXNzaW9uX2hhc2giOiJkYjlmZTlkNjdiMWM2NDI1NDFkZmNmZTkwMWY3NDYyMDc1MjBiODY3NjkzMDljNDE2ZmYxYjI4Zjk1MTk4NTljIn0.HO2-W0AXL5SJsctIsKb94zMOekMoimY3hd8VVubygxjsDjHRwGO6jmCLkYcowtmQ07-mNUBV9pt3AyhkLm8EsfIp_ma3bXv31RwUFUuLDQQLuIIQBora0G11KRb5Rr94y-Oj6ALcQVkZ19mQbP7Ywr1upUYSVpUpn75USauxaloAbZahS86OULm1UrV2KgPWKh_O3TWIdpiwTwbhq-2_q5HOGWAVLRvQYvehRwo4CvxBGgiwMb4yHCpoGyJJHv8E-nE5-dfr4TKfX3F2_y2m-Q5-qnsBIep8sQcwn76jYyXvq-Xbk-BiDARj07sBGgpqf_FvTuh3uQkZZVgqEJjWxA&redirect_url=%2F
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=jitDnazRW64IjY7MtKlLiJ1t%2FEELJNSh3qUdQQxVXuiud2UCzOdbQpK7Oi6Y7TMKn7Jvq0n5ROSh%2BtOVVFuaiYA3u0RSnlC05qr%2BY8w%3D"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c2f930cbb17f797-EWR
alt-svc: h3=":8443"; ma=86400

HTTP/1.1 302 Found
Date: Sat, 24 Jan 2026 12:36:05 GMT
Content-Length: 0
Connection: close
Expires: Thu, 01 Jan 1970 00:00:01 GMT
Access-Control-Allow-Credentials: true
Cache-Control: private, max-age=0, no-store, no-cache, must-revalidate, post-check=0, pre-check=0
Set-Cookie: CF_AppSession=e1b311dfd837c83c; Expires=Sun, 25 Jan 2026 12:36:05 GMT; Path=/; Secure; HttpOnly
Location: https://favonia.cloudflareaccess.com/cdn-cgi/access/login/b.favonia.org?kid=bc4f33920e85a9756d87fd85c7ea402acd399c838175a88ea816f925ada5dcba&meta=eyJ0eXAiOiJKV1QiLCJhbGciOiJSUzI1NiIsImtpZCI6IjY2MTNiNDNjYjJhYzhlNjMxNDMyNThkZTljMjQ4N2U1YzYxNjc0ZWQ4ZTBlNTcxNWFkMGE0NmM2ZDliZWJmNjEifQ.eyJ0eXBlIjoibWV0YSIsImF1ZCI6ImJjNGYzMzkyMGU4NWE5NzU2ZDg3ZmQ4NWM3ZWE0MDJhY2QzOTljODM4MTc1YTg4ZWE4MTZmOTI1YWRhNWRjYmEiLCJob3N0bmFtZSI6ImIuZmF2b25pYS5vcmciLCJyZWRpcmVjdF91cmwiOiIvIiwic2VydmljZV90b2tlbl9zdGF0dXMiOmZhbHNlLCJpc193YXJwIjpmYWxzZSwiaXNfZ2F0ZXdheSI6ZmFsc2UsImV4cCI6MTc2OTI1ODQ2NSwibmJmIjoxNzY5MjU4MTY1LCJpYXQiOjE3NjkyNTgxNjUsImF1dGhfc3RhdHVzIjoiTk9ORSIsIm10bHNfYXV0aCI6eyJjZXJ0X2lzc3Vlcl9kbiI6IiIsImNlcnRfc2VyaWFsIjoiIiwiY2VydF9pc3N1ZXJfc2tpIjoiIiwiY2VydF9wcmVzZW50ZWQiOmZhbHNlLCJjb21tb25fbmFtZSI6IiIsImF1dGhfc3RhdHVzIjoiTk9ORSJ9LCJyZWFsX2NvdW50cnkiOiJOTCIsImFwcF9zZXNzaW9uX2hhc2giOiJkMTIzYzJhZGNjYjlkOWIzNjZlYzZlZDNkODIwNWY4NzI5NTAzNTc0MGUwMWZkNDdiZDQ0MGQwZWE0ZjE2ZTdlIn0.V8UFP7MvEYRcbtSWgkWjWUfVClmZ8V812ozzfR5fRYAoTNeSSSsS-g0XwPORY-VxsuP3WI9WB4SFmRMVZe_SJ1Sm3vzCempffc81LoV3uDsUcz4XvHpvAYurevpiTsIgfuhobHxcJokSU2grDrD5t04dmWLIKyI39ZwF5guL0-eLCAl1oVeZYZlkTyWM7dTuSxDL3J38jbg2odraUNyeHzfXSJn1Z-BF5__FjvehLmUhqYAYWuiNQnoM6VwXSz7cS3fYxZ99I7sAyIenVer661NkQsID9LUY4rNf-GkPBRV6xY26K5dY7JMnSuJ2l4S5BFPRR4P4P5z9nzkRUe7mYA&redirect_url=%2F
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=rZmwKnvjXZk1hB440HZtH1MRZSgvGSqPVW0qoWtQCZV%2BwLYkINkWU658sae9WV%2FE5ibhuqX1FWqckAA3M21jomRVHw4I5hD0AbPBlrc%3D"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c2f930c7f071717-AMS
alt-svc: h3=":8443"; ma=86400

HTTP/1.1 301 Moved Permanently
Date: Sat, 24 Jan 2026 12:36:05 GMT
Content-Length: 0
Connection: close
Location: https://b.favonia.org/
Report-To: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=%2F6PTb6Pku3q5AWMX01RjaxMOEplUuOEXMx4WlVClE2l03timnD%2FErdff7z4Yas9C9LPFF84QgY3q8iEk5iCvynFWpDshr54KSSQfHt8m1%2B9C2GYEbgYA4sY%3D"}]}
Nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
Server: cloudflare
CF-RAY: 9c2f930c6ffcdc4b-FRA
alt-svc: h3=":443"; ma=86400

HTTP/1.1 302 Moved Temporarily
Server: nginx
Date: Thu, 22 Jan 2026 02:39:39 GMT
Content-Type: text/html
Content-Length: 138
Connection: close
Location: https://favonia.org/

Page title: 302 Found

<html>
<head><title>302 Found</title></head>
<body>
<center><h1>302 Found</h1></center>
<hr><center>nginx</center>
</body>
</html>

HTTP/1.1 200 OK
Access-Control-Allow-Origin: *
Access-Control-Request-Methods: GET, HEAD, OPTIONS
Content-Length: 5948
Content-Security-Policy: default-src 'self' data: blob:; script-src 'self' 'unsafe-eval' 'unsafe-inline'; style-src 'self' 'unsafe-inline'; worker-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob:; frame-src https:; img-src data: https:; media-src https:; object-src 'none'; sandbox allow-downloads allow-forms allow-modals allow-pointer-lock allow-popups allow-presentation allow-same-origin allow-scripts;
Content-Type: text/html; charset=utf-8
Last-Modified: Mon, 14 Apr 2025 01:34:56 GMT
Vary: Accept-Encoding
Date: Thu, 22 Jan 2026 02:39:38 GMT
Connection: close

Page title: 🍂 Favonia

<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en" dir="ltr">
<head>
  <meta charset="utf-8" />
  <meta name="generator" content="pandoc" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
  <title>🍂 Favonia</title>
  <style>
    code{white-space: pre-wrap;}
    span.smallcaps{font-variant: small-caps;}
    div.columns{display: flex; gap: min(4vw, 1.5em);}
    div.column{flex: auto; overflow-x: auto;}
    div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
    /* The extra [class] is a hack that increases specificity enough to
       override a similar rule in reveal.js */
    ul.task-list[class]{list-style: none;}
    ul.task-list li input[type="checkbox"] {
      font-size: inherit;
      width: 0.8em;
      margin: 0 0.8em 0.2em -1.6em;
      vertical-align: middle;
    }
    .display.math{display: block; text-align: center; margin: 0.5rem auto;}
  </style>
  <link rel="stylesheet" href="css/github.css" />
  <meta name="twitter:card" content="summary">
  <meta name="twitter:site" content="@favonia">
  <meta name="twitter:creator" content="@favonia">
</head>
<body>
<header id="title-block-header">
<h1 class="title">🍂 Favonia</h1>
</header>
<p><img src="files/profile.jpg" style="aspect-ratio:214/222;float:right;margin-left:10px;margin-bottom:5px" alt="A profile picture of Favonia standing on the rocks, facing backwards." />
I am an assistant professor at the <a href="https://www.cs.umn.edu">University of Minnesota</a>.
My research interests lie in achieving high rigor in computer programs and mathematical proofs.
In particular, I have been working on proof mechanization, type theory, programming language theory, and
property-based testing. Check out <a href="advising.html">my Ph.D. advising statement</a> if you are interested.</p>
<ul>
<li><a href="mailto:kbh@umn.edu">📮 Email: kbh@umn.edu</a></li>
<li><a href="https://orcid.org/0000-0002-2310-3673">🆔 ORCID: 0000-0002-2310-3673</a></li>
<li><a href="https://github.com/favonia/">🤖 GitHub: favonia</a></li>
<li><a href="https://mathstodon.xyz/@favonia" rel="me">🐘 Mastodon: favonia@mathstodon.xyz</a></li>
</ul>
<h2 id="research">🔬 Current Research</h2>
<p>Links: <a href="cv.html#papers">📄 papers</a> <a href="cv.html#talks">🗣️ talks</a> <a href="cv.html#artifacts">📦 artifacts</a> <a href="thesis.html">📜 thesis</a></p>
<ul>
<li>✅ <strong>Program testing:</strong> exploiting typing information to reduce testing. See <a href="files/logarithm.pdf">our POPL 2022 paper</a>.</li>
<li>🧰 <strong>Development of proof assistants:</strong> reusable components for making proof assistants. See <a href="https://redprl.org/">redprl.org</a>.</li>
<li>📐 <strong>Synthetic homotopy theory:</strong> using (homotopy, cubical, etc.) type theory to study homotopy theory.</li>
</ul>
<h2 id="advisees">🧑 Advisees</h2>
<p>Link: <a href="advisees.html">🧑 all advisees</a></p>
<h3 id="ph.d.-students">🧑‍🎓 Ph.D. Students</h3>
<ul>
<li><a href="https://phart3.github.io/">Perry Hart</a></li>
<li><a href="https://hawnzug.me/">Zhuyang Wang</a></li>
</ul>
<h3 id="masters-students">🧑‍🎓 Masters Students</h3>
<ul>
<li><a href="https://mzhang.io/">Michael Zhang</a></li>
</ul>
<h2 id="faq">📋 FAQ</h2>
<h3 id="are-you-taking-new-students">🤝 Are You Taking New Students?</h3>
<p>It depends on my current advising load. If you are interested in doing a Ph.D., you should email me, read <a href="advising.html">my advising statement</a>, and then <a href="https://cse.umn.edu/cs/phd-admissions">apply to our program</a>. Feel free to <a href="mailto:kbh@umn.edu">email me</a>, but please include something specific to me or my research. If your email looks like a form email (using a generic template filled with my name, the title of my last paper, and my area), I will probably ignore it. Sorry about that.</p>
<p><strong>Currently I have three Ph.D. students and one master’s student, so my hands are full and I cannot take more students.</strong> However, the numbers keep 

HTTP/1.1 200 OK
Access-Control-Allow-Origin: *
Access-Control-Request-Methods: GET, HEAD, OPTIONS
Content-Length: 5948
Content-Security-Policy: default-src 'self' data: blob:; script-src 'self' 'unsafe-eval' 'unsafe-inline'; style-src 'self' 'unsafe-inline'; worker-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob:; frame-src https:; img-src data: https:; media-src https:; object-src 'none'; sandbox allow-downloads allow-forms allow-modals allow-pointer-lock allow-popups allow-presentation allow-same-origin allow-scripts;
Content-Type: text/html; charset=utf-8
Last-Modified: Mon, 14 Apr 2025 01:34:56 GMT
Vary: Accept-Encoding
Date: Thu, 22 Jan 2026 02:39:38 GMT
Connection: close

Page title: 🍂 Favonia

<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en" dir="ltr">
<head>
  <meta charset="utf-8" />
  <meta name="generator" content="pandoc" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
  <title>🍂 Favonia</title>
  <style>
    code{white-space: pre-wrap;}
    span.smallcaps{font-variant: small-caps;}
    div.columns{display: flex; gap: min(4vw, 1.5em);}
    div.column{flex: auto; overflow-x: auto;}
    div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
    /* The extra [class] is a hack that increases specificity enough to
       override a similar rule in reveal.js */
    ul.task-list[class]{list-style: none;}
    ul.task-list li input[type="checkbox"] {
      font-size: inherit;
      width: 0.8em;
      margin: 0 0.8em 0.2em -1.6em;
      vertical-align: middle;
    }
    .display.math{display: block; text-align: center; margin: 0.5rem auto;}
  </style>
  <link rel="stylesheet" href="css/github.css" />
  <meta name="twitter:card" content="summary">
  <meta name="twitter:site" content="@favonia">
  <meta name="twitter:creator" content="@favonia">
</head>
<body>
<header id="title-block-header">
<h1 class="title">🍂 Favonia</h1>
</header>
<p><img src="files/profile.jpg" style="aspect-ratio:214/222;float:right;margin-left:10px;margin-bottom:5px" alt="A profile picture of Favonia standing on the rocks, facing backwards." />
I am an assistant professor at the <a href="https://www.cs.umn.edu">University of Minnesota</a>.
My research interests lie in achieving high rigor in computer programs and mathematical proofs.
In particular, I have been working on proof mechanization, type theory, programming language theory, and
property-based testing. Check out <a href="advising.html">my Ph.D. advising statement</a> if you are interested.</p>
<ul>
<li><a href="mailto:kbh@umn.edu">📮 Email: kbh@umn.edu</a></li>
<li><a href="https://orcid.org/0000-0002-2310-3673">🆔 ORCID: 0000-0002-2310-3673</a></li>
<li><a href="https://github.com/favonia/">🤖 GitHub: favonia</a></li>
<li><a href="https://mathstodon.xyz/@favonia" rel="me">🐘 Mastodon: favonia@mathstodon.xyz</a></li>
</ul>
<h2 id="research">🔬 Current Research</h2>
<p>Links: <a href="cv.html#papers">📄 papers</a> <a href="cv.html#talks">🗣️ talks</a> <a href="cv.html#artifacts">📦 artifacts</a> <a href="thesis.html">📜 thesis</a></p>
<ul>
<li>✅ <strong>Program testing:</strong> exploiting typing information to reduce testing. See <a href="files/logarithm.pdf">our POPL 2022 paper</a>.</li>
<li>🧰 <strong>Development of proof assistants:</strong> reusable components for making proof assistants. See <a href="https://redprl.org/">redprl.org</a>.</li>
<li>📐 <strong>Synthetic homotopy theory:</strong> using (homotopy, cubical, etc.) type theory to study homotopy theory.</li>
</ul>
<h2 id="advisees">🧑 Advisees</h2>
<p>Link: <a href="advisees.html">🧑 all advisees</a></p>
<h3 id="ph.d.-students">🧑‍🎓 Ph.D. Students</h3>
<ul>
<li><a href="https://phart3.github.io/">Perry Hart</a></li>
<li><a href="https://hawnzug.me/">Zhuyang Wang</a></li>
</ul>
<h3 id="masters-students">🧑‍🎓 Masters Students</h3>
<ul>
<li><a href="https://mzhang.io/">Michael Zhang</a></li>
</ul>
<h2 id="faq">📋 FAQ</h2>
<h3 id="are-you-taking-new-students">🤝 Are You Taking New Students?</h3>
<p>It depends on my current advising load. If you are interested in doing a Ph.D., you should email me, read <a href="advising.html">my advising statement</a>, and then <a href="https://cse.umn.edu/cs/phd-admissions">apply to our program</a>. Feel free to <a href="mailto:kbh@umn.edu">email me</a>, but please include something specific to me or my research. If your email looks like a form email (using a generic template filled with my name, the title of my last paper, and my area), I will probably ignore it. Sorry about that.</p>
<p><strong>Currently I have three Ph.D. students and one master’s student, so my hands are full and I cannot take more students.</strong> However, the numbers keep 

HTTP/1.1 302 Moved Temporarily
Server: nginx
Date: Thu, 22 Jan 2026 02:39:38 GMT
Content-Type: text/html
Content-Length: 138
Connection: close
Location: https://favonia.org/

Page title: 302 Found

<html>
<head><title>302 Found</title></head>
<body>
<center><h1>302 Found</h1></center>
<hr><center>nginx</center>
</body>
</html>