urlscan.io logo urlscan.io
SecurityTrails logo

blog.acolyer.org Open in urlscan Pro
192.0.78.12  Public Scan

Go To Rescan Add Verdict Report
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Submission: On April 17 via automatic, source hackernews
 Behaviour Indicators
Similar DOM Content API
Verdicts

Summary

This website contacted 12 IPs in 2 countries across 8 domains to perform 43 HTTP transactions. The main IP is 192.0.78.12, located in San Francisco, United States and belongs to AUTOMATTIC - Automattic, Inc, US. The main domain is blog.acolyer.org.
TLS certificate: Issued by Let's Encrypt Authority X3 on February 27th 2019. Valid for: 3 months.
This is the only time blog.acolyer.org was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

IP Address AS Autonomous System
2 192.0.78.12 2635 (AUTOMATTIC)
17 192.0.77.32 2635 (AUTOMATTIC)
4 192.0.72.20 2635 (AUTOMATTIC)
5 2a04:fa87:fff... 2635 (AUTOMATTIC)
3 2a00:1450:400... 15169 (GOOGLE)
4 192.0.76.3 2635 (AUTOMATTIC)
1 2a00:1450:400... 15169 (GOOGLE)
4 2606:2800:234... 15133 (EDGECAST)
1 192.0.78.18 2635 (AUTOMATTIC)
1 2606:2800:134... 15133 (EDGECAST)
1 104.244.42.8 13414 (TWITTER)
43 12
2    192.0.78.12 (San Francisco, United States)

ASN2635 (AUTOMATTIC - Automattic, Inc, US)
blog.acolyer.org
17    192.0.77.32 (San Francisco, United States)

ASN2635 (AUTOMATTIC - Automattic, Inc, US)
PTR: wordpress.com
s2.wp.com
s1.wp.com
s0.wp.com
widgets.wp.com
4    192.0.72.20 (San Francisco, United States)

ASN2635 (AUTOMATTIC - Automattic, Inc, US)
adriancolyer.files.wordpress.com
5    2a04:fa87:fffe::c000:4902 (Ireland)

ASN2635 (AUTOMATTIC - Automattic, Inc, US)
1.gravatar.com
0.gravatar.com
secure.gravatar.com
3    2a00:1450:4001:824::2004 (Ireland)

ASN15169 (GOOGLE - Google LLC, US)
www.google.com
4    192.0.76.3 (San Francisco, United States)

ASN2635 (AUTOMATTIC - Automattic, Inc, US)
stats.wp.com
pixel.wp.com
1    2a00:1450:4001:81f::2003 (Ireland)

ASN15169 (GOOGLE - Google LLC, US)
www.gstatic.com
4    2606:2800:234:59:254c:406:2366:268c (United States)

ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US)
platform.twitter.com
1    192.0.78.18 (San Francisco, United States)

ASN2635 (AUTOMATTIC - Automattic, Inc, US)
r-login.wordpress.com
1    2606:2800:134:fa2:1627:1fe:edb:1665 (United States)

ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US)
cdn.syndication.twimg.com
1    104.244.42.8 (San Francisco, United States)

ASN13414 (TWITTER - Twitter Inc., US)
syndication.twitter.com
Domain Requested by
8 s2.wp.com blog.acolyer.org
4 platform.twitter.com s0.wp.com
platform.twitter.com
4 adriancolyer.files.wordpress.com blog.acolyer.org
4 s1.wp.com blog.acolyer.org
3 pixel.wp.com blog.acolyer.org
3 www.google.com blog.acolyer.org
www.gstatic.com
3 0.gravatar.com blog.acolyer.org
s1.wp.com
3 s0.wp.com blog.acolyer.org
2 widgets.wp.com blog.acolyer.org
s1.wp.com
2 blog.acolyer.org s1.wp.com
1 syndication.twitter.com blog.acolyer.org
1 cdn.syndication.twimg.com platform.twitter.com
1 r-login.wordpress.com blog.acolyer.org
1 secure.gravatar.com blog.acolyer.org
1 www.gstatic.com www.google.com
1 stats.wp.com blog.acolyer.org
1 1.gravatar.com blog.acolyer.org
43 17
Subject Issuer Validity Valid
tls.automattic.com
Let's Encrypt Authority X3		 2019-02-27 -
2019-05-28		 3 months crt.sh
*.wp.com
Go Daddy Secure Certificate Authority - G2		 2018-04-10 -
2020-05-11		 2 years crt.sh
*.files.wordpress.com
Sectigo RSA Domain Validation Secure Server CA		 2019-01-15 -
2021-01-14		 2 years crt.sh
*.gravatar.com
COMODO RSA Domain Validation Secure Server CA		 2018-09-06 -
2020-09-05		 2 years crt.sh
www.google.com
Google Internet Authority G3		 2019-03-01 -
2019-05-24		 3 months crt.sh
*.google.com
Google Internet Authority G3		 2019-03-01 -
2019-05-24		 3 months crt.sh
*.twimg.com
DigiCert SHA2 High Assurance Server CA		 2018-11-19 -
2019-11-27		 a year crt.sh
*.wordpress.com
COMODO RSA Domain Validation Secure Server CA		 2018-09-06 -
2020-09-05		 2 years crt.sh
syndication.twitter.com
DigiCert SHA2 High Assurance Server CA		 2019-01-24 -
2020-01-24		 a year crt.sh

This page contains 7 frames:

Primary Page: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Frame ID: F7F144FF40F59B1964153A1F2349E40E
Requests: 38 HTTP requests in this frame

Frame: https://widgets.wp.com/likes/master.html?ver=20190321
Frame ID: 35AA5C480C0D1F032E8EA005F005E220
Requests: 1 HTTP requests in this frame

Frame: https://r-login.wordpress.com/remote-login.php?wpcom_remote_login=key&origin=aHR0cHM6Ly9ibG9nLmFjb2x5ZXIub3Jn&wpcomid=23592848&time=1555495164
Frame ID: 4A9740A5E056518E8EC44DC877F9B47B
Requests: 1 HTTP requests in this frame

Frame: https://platform.twitter.com/widgets/widget_iframe.2e9f365dae390394eb8d923cba8c5b11.html?origin=https%3A%2F%2Fblog.acolyer.org&settingsEndpoint=https%3A%2F%2Fsyndication.twitter.com%2Fsettings
Frame ID: 5ACE4BC72B117782EB4D8FADC1C33D26
Requests: 1 HTTP requests in this frame

Frame: https://www.google.com/recaptcha/api2/anchor?ar=1&k=6LcmyE0UAAAAALID28yVNg7pFCodGaArJzHitez_&co=aHR0cHM6Ly9ibG9nLmFjb2x5ZXIub3JnOjQ0Mw..&hl=en&type=image&v=v1554100419869&theme=light&size=normal&cb=lzkxc5dxayxp
Frame ID: 9D4D7E7CE0C0B8CA7F6CACC059A9F819
Requests: 1 HTTP requests in this frame

Frame: https://widgets.wp.com/likes/index.html?ver=20190321
Frame ID: E905BC250668B4A98339AAC6D15C8CE4
Requests: 1 HTTP requests in this frame

Frame: https://www.google.com/recaptcha/api2/bframe?hl=en&v=v1554100419869&k=6LcmyE0UAAAAALID28yVNg7pFCodGaArJzHitez_&cb=tfbigrqxgsix
Frame ID: DAAD77743FC6841D30E8EBFA7FAF778F
Requests: 1 HTTP requests in this frame

Screenshot
Live screenshot
Full Image

Detected technologies

Overall confidence: 100%
Detected patterns
  • html /<link rel=["']stylesheet["'] [^>]+wp-(?:content|includes)/i
  • html /<link[^>]+s\d+\.wp\.com/i
  • script /\/wp-includes\//i
  • meta generator /WordPress( [\d.]+)?/i
Overall confidence: 100%
Detected patterns
  • html /<link rel=["']stylesheet["'] [^>]+wp-(?:content|includes)/i
  • html /<link[^>]+s\d+\.wp\.com/i
  • script /\/wp-includes\//i
  • meta generator /WordPress( [\d.]+)?/i
Overall confidence: 100%
Detected patterns
  • headers server /nginx(?:\/([\d.]+))?/i
Overall confidence: 100%
Detected patterns
  • env /^Gravatar$/i
Overall confidence: 100%
Detected patterns
  • script /\/\/platform\.twitter\.com\/widgets\.js/i
Overall confidence: 100%
Detected patterns
  • env /^twemoji$/i
Overall confidence: 100%
Detected patterns
  • env /^jQuery$/i
Overall confidence: 100%
Detected patterns
  • env /^Recaptcha$/i

Page Statistics

43
Requests

100 %
HTTPS

45 %
IPv6

8
Domains

17
Subdomains

12
IPs

2
Countries

639 kB
Transfer

1316 kB
Size

0
Cookies

Redirected requests

There were HTTP redirect chains for the following requests:

43 HTTP transactions

Resource
Path		 Size
x-fer		 Type
MIME-Type
Primary Request /
blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/ 		71 KB
22 KB 		Document
General
Check archive.org
Download Go to
Full URL
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.78.12 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
53eacf6355b135468c0f896bdee26b691047e16cbaf53a2a3cbfb6ecfa5e82c1
Security Headers
Name Value
Strict-Transport-Security max-age=86400

Request headers

:method
GET
:authority
blog.acolyer.org
:scheme
https
:path
/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
pragma
no-cache
cache-control
no-cache
upgrade-insecure-requests
1
user-agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
accept
text/html,application/xhtml+xml,application/xml;q=0.9,image/webp,image/apng,*/*;q=0.8
accept-encoding
gzip, deflate, br
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

status
200
server
nginx
date
Wed, 17 Apr 2019 10:00:15 GMT
content-type
text/html; charset=UTF-8
strict-transport-security
max-age=86400
vary
Accept-Encoding Cookie
last-modified
Wed, 17 Apr 2019 09:59:24 GMT
cache-control
max-age=249, must-revalidate
x-nananana
Batcache
x-hacker
If you're reading this, you should visit automattic.com/jobs and apply to join the fun, mention this header.
x-pingback
https://blog.acolyer.org/xmlrpc.php
link
<https://wp.me/p1AZzO-2dV>; rel=shortlink
content-encoding
gzip
x-ac
1.ams _dfw
/
s2.wp.com/_static/ 		86 KB
32 KB 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://s2.wp.com/_static/??-eJyNktFuwyAMRX9o1Oq0VNvDtG8hxKVuMSDsLMvfjyZdt3UV2gvyBQ4XroEpG5eiYlTg0eQweooCU3aJjTAFnG/Uxok8wH0s0AkFjqjZupNZVGt7wWAVB5OT6I1qYRT3FEln0ANy9ctjD+/kKdjo8ApSdGEc6nKdgIFEoQ9puVVfbJlBdA64YYotK5cK1nnOVs87GAeyGKpr1BY20eBRV+u1NoofTYTz7svoXB5qgM0Q1p70fS4oYurINLJZE/nD3QvqEsA/XqEpX1r0AyGISalSci1aZ3lMpsZvlVL8Jcw+WCrtX1Ib52vplzy/5Rl649dt1z29PG933ePxEx2wDso=?cssminify=yes
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
ded4c3ce26c4f199bd516994bb6a960265be797d14e184e9bf6667d3963f96fa

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:15 GMT
content-encoding
gzip
last-modified
Thu, 11 Apr 2019 11:21:00 GMT
server
nginx
etag
W/"5caf231c-15820"
vary
Accept-Encoding
content-type
text/css;charset=utf-8
status
200
cache-control
max-age=31536000
x-ac
4.fra _dfw
expires
Fri, 10 Apr 2020 11:36:00 GMT
/
s2.wp.com/_static/ 		54 KB
25 KB 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://s2.wp.com/_static/??-eJx9i9EKwjAMRX/IGgcr7EX8lqzUNpImpcnw98UHkTHx6Z4L58Czh6TiWRzaFjpvhcQAk5PKiuNL52R2gt96V/NwZ6QBVnGQlM/+q0wTIQfWovtziLzmlg3qDIV1RX4Lt3adYoyXZV7i9HgBxWdJtg==?cssminify=yes
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
d9ea2fc776e3fb83e5af52dbde36140039633482d9fb37848316a1dfea479ed2

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:15 GMT
content-encoding
gzip
last-modified
Fri, 12 Apr 2019 16:01:31 GMT
server
nginx
etag
W/"5cb0b65b-d8c7"
vary
Accept-Encoding
content-type
text/css;charset=utf-8
status
200
cache-control
max-age=31536000
x-ac
4.fra _dfw
expires
Sat, 11 Apr 2020 16:01:34 GMT
/
s1.wp.com/_static/ 		161 KB
51 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://s1.wp.com/_static/??-eJyFj+EKwjAMhF/Irug6/CU+S+1iSW3T2rQb+vR2oD/UoRAIR77jLnJOAsn4OgJL1+ZaId+eq3O8kb8AEdBmXaALSC/YRCpAZWFT5BKAWVtYuYZ4Qg+iMuQGUGkx57jCvVdCmhDmv5iDkrS5iAyM96/0UEXy1SKxzODbA6NYun6o5jqGw3YY1K7v90q5BzAxcHE=
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
e200bad56abfbe0250575662994d5cb06e9ceebddecd91bfa2a1cb82b1304cb4

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:15 GMT
content-encoding
gzip
last-modified
Tue, 02 Apr 2019 19:36:31 GMT
server
nginx
etag
W/"5ca3b9bf-285ba"
vary
Accept-Encoding
content-type
application/x-javascript
status
200
cache-control
max-age=31536000
x-ac
4.fra _dfw
expires
Wed, 01 Apr 2020 19:36:34 GMT
style.css
s0.wp.com/wp-content/mu-plugins/highlander-comments/ 		19 KB
3 KB 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://s0.wp.com/wp-content/mu-plugins/highlander-comments/style.css?m=1530132353h&cssminify=yes
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
89d01b152beefa0885d7821cea6cc319054d5e272549b004479a6ac81ecafee3

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:15 GMT
content-encoding
gzip
server
nginx
etag
W/"5b33f7b7-5e1f"
vary
Accept-Encoding
content-type
text/css
status
200
cache-control
max-age=31536000
x-ac
4.fra _dfw
expires
Fri, 22 Nov 2019 08:30:13 GMT
/
s1.wp.com/ 		776 B
552 B 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://s1.wp.com/?custom-css=1&csblog=1AZzO&cscache=6&csrev=8
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
9a4662c145997e739d3afcffebba8160112b4d6de341f1e168ef794f0cbd5e55

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-hacker
If you're reading this, you should visit automattic.com/jobs and apply to join the fun, mention this header.
date
Wed, 17 Apr 2019 10:00:15 GMT
content-encoding
gzip
server
nginx
vary
Accept-Encoding
content-type
text/css;charset=utf-8
status
200
expires
Fri, 22 Nov 2019 08:32:30 GMT
x-ac
4.fra _dfw
x-nc
HIT fra 32
dslabs-fig-1.jpeg
adriancolyer.files.wordpress.com/2019/04/ 		100 KB
100 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://adriancolyer.files.wordpress.com/2019/04/dslabs-fig-1.jpeg?w=480&h=541
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.72.20 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
0cbaa5cb319166cfba529ef24503684848779c5e6e0b14a4be438d7b140e6c57

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT ams 20 np
date
Wed, 17 Apr 2019 10:00:15 GMT
last-modified
Sat, 13 Apr 2019 19:08:32 GMT
server
nginx
vary
Accept
content-type
image/webp
status
200
x-orig-src
0_imageresize
accept-ranges
bytes
content-length
102446
expires
Mon, 20 May 2019 01:50:50 GMT
dslabs-fig-4.jpeg
adriancolyer.files.wordpress.com/2019/04/ 		91 KB
91 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://adriancolyer.files.wordpress.com/2019/04/dslabs-fig-4.jpeg?w=480&h=586
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.72.20 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
4cc9e190418c358238535469ce39072ecc1c3c6e08d8ee25117acf1571d88c1d

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT ams 20 np
date
Wed, 17 Apr 2019 10:00:15 GMT
last-modified
Sat, 13 Apr 2019 19:08:51 GMT
server
nginx
vary
Accept
content-type
image/webp
status
200
x-orig-src
0_imageresize
accept-ranges
bytes
content-length
93220
expires
Mon, 13 May 2019 16:33:08 GMT
dslabs-table-1.jpeg
adriancolyer.files.wordpress.com/2019/04/ 		104 KB
104 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://adriancolyer.files.wordpress.com/2019/04/dslabs-table-1.jpeg?w=480&h=400
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.72.20 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
662570937be5f72a55a86eedd744ad3cf97c1761ddbe6103124b0da14abe07a1

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT ams 20 np
date
Wed, 17 Apr 2019 10:00:15 GMT
last-modified
Sat, 13 Apr 2019 19:09:10 GMT
server
nginx
vary
Accept
content-type
image/webp
status
200
x-orig-src
0_imageresize
accept-ranges
bytes
content-length
106610
expires
Sat, 25 May 2019 07:20:30 GMT
wp-emoji-release.min.js
s1.wp.com/wp-includes/js/ 		12 KB
4 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://s1.wp.com/wp-includes/js/wp-emoji-release.min.js?m=1550249335h&ver=5.2-beta1-45050
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
c533b791a8eef65604f15d20433506e1614c693eeba9df749e8a7677e43b466c

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:15 GMT
content-encoding
gzip
server
nginx
etag
W/"5c66ee21-2f02"
vary
Accept-Encoding
content-type
application/x-javascript
status
200
cache-control
max-age=31536000
x-ac
4.fra _dfw
expires
Fri, 10 Apr 2020 10:30:23 GMT
global-print.css
s2.wp.com/wp-content/mu-plugins/global-print/ 		5 KB
2 KB 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://s2.wp.com/wp-content/mu-plugins/global-print/global-print.css?m=1465851035h&cssminify=yes
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
7d08e9159f7d2bf0835085cbd1ffb0252b0e11de45ed07db4447f8e63f181dbf

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:15 GMT
content-encoding
gzip
server
nginx
etag
W/"575f1ca1-1f6c"
vary
Accept-Encoding
content-type
text/css
status
200
cache-control
max-age=31536000
x-ac
4.fra _dfw
expires
Fri, 22 Nov 2019 08:30:13 GMT
list-star.gif
s2.wp.com/wp-content/themes/pub/vigilance/images/ 		137 B
242 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://s2.wp.com/wp-content/themes/pub/vigilance/images/list-star.gif
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
20fb68360652606ba62640e9ceb5f2500fafcb208e5d22f44775b31b6b60a9e4

Request headers

Referer
https://s2.wp.com/_static/??-eJyNktFuwyAMRX9o1Oq0VNvDtG8hxKVuMSDsLMvfjyZdt3UV2gvyBQ4XroEpG5eiYlTg0eQweooCU3aJjTAFnG/Uxok8wH0s0AkFjqjZupNZVGt7wWAVB5OT6I1qYRT3FEln0ANy9ctjD+/kKdjo8ApSdGEc6nKdgIFEoQ9puVVfbJlBdA64YYotK5cK1nnOVs87GAeyGKpr1BY20eBRV+u1NoofTYTz7svoXB5qgM0Q1p70fS4oYurINLJZE/nD3QvqEsA/XqEpX1r0AyGISalSci1aZ3lMpsZvlVL8Jcw+WCrtX1Ib52vplzy/5Rl649dt1z29PG933ePxEx2wDso=?cssminify=yes
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:15 GMT
x-ac
4.fra _dfw
last-modified
Sat, 31 Dec 2016 05:46:05 GMT
server
nginx
etag
"5867461d-89"
content-type
image/gif
status
200
cache-control
max-age=31536000
accept-ranges
bytes
content-length
137
expires
Fri, 22 Nov 2019 08:32:18 GMT
comments-bubble-big.gif
s2.wp.com/wp-content/themes/pub/vigilance/images/ 		152 B
243 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://s2.wp.com/wp-content/themes/pub/vigilance/images/comments-bubble-big.gif
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
8763318dd96962e462fe3cb316df02e46ab9463105b4c2213455658406eb8112

Request headers

Referer
https://s2.wp.com/_static/??-eJyNktFuwyAMRX9o1Oq0VNvDtG8hxKVuMSDsLMvfjyZdt3UV2gvyBQ4XroEpG5eiYlTg0eQweooCU3aJjTAFnG/Uxok8wH0s0AkFjqjZupNZVGt7wWAVB5OT6I1qYRT3FEln0ANy9ctjD+/kKdjo8ApSdGEc6nKdgIFEoQ9puVVfbJlBdA64YYotK5cK1nnOVs87GAeyGKpr1BY20eBRV+u1NoofTYTz7svoXB5qgM0Q1p70fS4oYurINLJZE/nD3QvqEsA/XqEpX1r0AyGISalSci1aZ3lMpsZvlVL8Jcw+WCrtX1Ib52vplzy/5Rl649dt1z29PG933ePxEx2wDso=?cssminify=yes
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:15 GMT
x-ac
4.fra _dfw
last-modified
Mon, 16 May 2016 00:20:57 GMT
server
nginx
etag
"57391269-98"
content-type
image/gif
status
200
cache-control
max-age=31536000
accept-ranges
bytes
content-length
152
expires
Fri, 22 Nov 2019 08:31:21 GMT
truncated
/ 		18 KB
0 		Font
General
Check archive.org
Download Go to
Full URL
data:truncated
Protocol
DATA
Server
-, , ASN (),
Reverse DNS
Software
/
Resource Hash
895964971ebdb56ee76d08850bcb4c5a88ec4c65e6a235882304e8ff6767cd7c

Request headers

User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
Origin
https://blog.acolyer.org

Response headers

Content-Type
application/x-font-woff;charset=utf-8
ad516503a11cd5ca435acc9bb6523536
1.gravatar.com/avatar/ 		2 KB
2 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://1.gravatar.com/avatar/ad516503a11cd5ca435acc9bb6523536?s=25&d=identicon&forcedefault=y&r=G
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a04:fa87:fffe::c000:4902 , Ireland, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
cb3e87ff58a5e66937ffb6013c8265ed549658a4ff59c1f8d8ae193f488390a5

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT vie 3
date
Wed, 17 Apr 2019 10:00:16 GMT
last-modified
Sat, 01 Mar 2008 02:44:06 GMT
server
nginx
access-control-allow-origin
*
source-age
15149328
content-type
image/png
status
200
cache-control
max-age=300
accept-ranges
bytes
link
<https://www.gravatar.com/avatar/ad516503a11cd5ca435acc9bb6523536?s=25&d=identicon&forcedefault=y&r=G>; rel="canonical"
content-length
1792
expires
Wed, 17 Apr 2019 10:05:16 GMT
mail-new-icon.png
adriancolyer.files.wordpress.com/2015/01/ 		7 KB
7 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://adriancolyer.files.wordpress.com/2015/01/mail-new-icon.png?w=600
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.72.20 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
1969543807facbf4705791ea76ca43f246fe0682ffe9a6831c892ac34910afe6

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT ams 20 np
date
Wed, 17 Apr 2019 10:00:16 GMT
last-modified
Sat, 17 Jan 2015 09:58:25 GMT
server
nginx
vary
Accept
content-type
image/png
status
200
x-orig-src
0_imageresize
accept-ranges
bytes
content-length
7186
expires
Thu, 09 May 2019 02:25:48 GMT
gprofiles.js
0.gravatar.com/js/ 		20 KB
7 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://0.gravatar.com/js/gprofiles.js?ver=201916y
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a04:fa87:fffe::c000:4902 , Ireland, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
9c42615b9f87888a452f177c5ea19899fb8a835b8f6d0b458824e6c332a0adce

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

date
Wed, 17 Apr 2019 10:00:16 GMT
content-encoding
gzip
last-modified
Thu, 23 Aug 2018 15:01:14 GMT
server
nginx
etag
W/"5b7ecc3a-50bc"
content-type
application/x-javascript
status
200
cache-control
max-age=604800
expires
Wed, 24 Apr 2019 10:00:16 GMT
wpgroho.js
s1.wp.com/wp-content/mu-plugins/gravatar-hovercards/ 		582 B
388 B 		Script
General
Check archive.org
Download Go to
Full URL
https://s1.wp.com/wp-content/mu-plugins/gravatar-hovercards/wpgroho.js?m=1380573781h
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
21c557180f1bd074974eb41ae4228b6aa9c41234ab1729d780bc8f05761110bb

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:16 GMT
content-encoding
gzip
server
nginx
etag
W/"57391252-2f0"
vary
Accept-Encoding
content-type
application/x-javascript
status
200
cache-control
max-age=31536000
x-ac
4.fra _dfw
expires
Fri, 22 Nov 2019 08:30:13 GMT
/
s2.wp.com/_static/ 		42 KB
11 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://s2.wp.com/_static/??/wp-content/js/jquery/jquery.autoresize.js,/wp-content/mu-plugins/highlander-comments/script.js?m=1551752381j
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
80d7bf183c2262a8c8c21c3a2d5096a5a2c92f39b923cae20888037a23a3c1eb

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:16 GMT
content-encoding
gzip
last-modified
Tue, 05 Mar 2019 02:20:23 GMT
server
nginx
etag
W/"5c7ddce7-a6ca"
vary
Accept-Encoding
content-type
application/x-javascript
status
200
cache-control
max-age=31536000
x-ac
4.fra _dfw
expires
Wed, 04 Mar 2020 02:20:26 GMT
api.js
www.google.com/recaptcha/ 		762 B
542 B 		Script
General
Check archive.org
Download Go to
Full URL
https://www.google.com/recaptcha/api.js?hl=en
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.2, ECDHE_ECDSA, AES_128_GCM
Server
2a00:1450:4001:824::2004 , Ireland, ASN15169 (GOOGLE - Google LLC, US),
Reverse DNS
Software
GSE /
Resource Hash
b9b8ef6b88b16d3b65955c4209e539f0f75deb19b77c24787e7266b706f679a1
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 1; mode=block

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

date
Wed, 17 Apr 2019 10:00:16 GMT
content-encoding
gzip
x-content-type-options
nosniff
server
GSE
x-frame-options
SAMEORIGIN
content-type
text/javascript; charset=UTF-8
status
200
cache-control
private, max-age=300
alt-svc
quic=":443"; ma=2592000; v="46,44,43,39"
content-length
448
x-xss-protection
1; mode=block
expires
Wed, 17 Apr 2019 10:00:16 GMT
loading.gif
s2.wp.com/wp-content/mu-plugins/post-flair/sharing/images/ 		2 KB
3 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://s2.wp.com/wp-content/mu-plugins/post-flair/sharing/images/loading.gif
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
3fa54e29f88aee644eaaac38e11681ea07858eb1ea76b1baae12597aae83fe82

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:16 GMT
x-ac
4.fra _dfw
last-modified
Mon, 16 May 2016 00:20:34 GMT
server
nginx
etag
"57391252-9e2"
content-type
image/gif
status
200
cache-control
max-age=31536000
accept-ranges
bytes
content-length
2530
expires
Fri, 22 Nov 2019 08:30:13 GMT
/
s0.wp.com/_static/ 		73 KB
20 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://s0.wp.com/_static/??-eJyVj0FuAjEMRS/UjGnLSJ1F1aNUacaAZxIntR0otycIgbqKxMqW/d+TDafiQmZDNlgUZjxSwPI3LPoC/1apuhLrnlgh0ooKvxUrHjzPEeUeJg6xzm3ZRCGn1EAnWOJ5SMQd44JWfFjhuwnATmSG4owSRmLscH5uXvfjBZLXxrTO5SOK0PWIx+xJg0m7RXtQMMp8hR5dL72SJjT3PmxuD+6ypE6+ZDW3i54E9OCFeH+vDfpKn6/juJ2m6WN8Wy61raWH
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
36a5fb9a83d1aa7c1d34cd34e51c388104e54d6defe1540a08f5bc8f76c71794

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:16 GMT
content-encoding
gzip
last-modified
Thu, 11 Apr 2019 16:24:20 GMT
server
nginx
etag
W/"5caf6a34-12208"
vary
Accept-Encoding
content-type
application/x-javascript
status
200
cache-control
max-age=31536000
x-ac
4.fra _dfw
expires
Fri, 10 Apr 2020 16:25:20 GMT
w.js
stats.wp.com/ 		13 KB
4 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://stats.wp.com/w.js?60
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.76.3 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
050c2ca74a4941fedd88349d977d960b8ab384ebb83a3c9e4b233160476ee8f1

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

date
Wed, 17 Apr 2019 10:00:16 GMT
content-encoding
gzip
server
nginx
etag
W/"5cb5925e-4f31"
vary
Accept-Encoding
content-type
application/x-javascript
status
200
cache-control
max-age=31536000
expires
Wed, 15 Apr 2020 08:43:53 GMT
button-back.gif
s0.wp.com/wp-content/mu-plugins/highlander-comments/images/ 		1 KB
1 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://s0.wp.com/wp-content/mu-plugins/highlander-comments/images/button-back.gif
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
0dab369eac5fd3a06420395d02d292bc3e3ab0bf62add857c72804fd9f4edd35

Request headers

Referer
https://s0.wp.com/wp-content/mu-plugins/highlander-comments/style.css?m=1530132353h&cssminify=yes
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:16 GMT
x-ac
4.fra _dfw
last-modified
Mon, 16 May 2016 00:20:34 GMT
server
nginx
etag
"57391252-4d0"
content-type
image/gif
status
200
cache-control
max-age=31536000
accept-ranges
bytes
content-length
1232
expires
Fri, 22 Nov 2019 08:30:13 GMT
list-item.gif
s2.wp.com/wp-content/themes/pub/vigilance/images/ 		169 B
238 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://s2.wp.com/wp-content/themes/pub/vigilance/images/list-item.gif
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash
1884c2cce170e1bf85bad894966edaaa99c0b7f213f1c895a6c5ee0a7024c437

Request headers

Referer
https://s2.wp.com/_static/??-eJyNktFuwyAMRX9o1Oq0VNvDtG8hxKVuMSDsLMvfjyZdt3UV2gvyBQ4XroEpG5eiYlTg0eQweooCU3aJjTAFnG/Uxok8wH0s0AkFjqjZupNZVGt7wWAVB5OT6I1qYRT3FEln0ANy9ctjD+/kKdjo8ApSdGEc6nKdgIFEoQ9puVVfbJlBdA64YYotK5cK1nnOVs87GAeyGKpr1BY20eBRV+u1NoofTYTz7svoXB5qgM0Q1p70fS4oYurINLJZE/nD3QvqEsA/XqEpX1r0AyGISalSci1aZ3lMpsZvlVL8Jcw+WCrtX1Ib52vplzy/5Rl649dt1z29PG933ePxEx2wDso=?cssminify=yes
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT fra 32
date
Wed, 17 Apr 2019 10:00:16 GMT
x-ac
4.fra _dfw
last-modified
Mon, 16 May 2016 00:20:57 GMT
server
nginx
etag
"57391269-a9"
content-type
image/gif
status
200
cache-control
max-age=31536000
accept-ranges
bytes
content-length
169
expires
Fri, 22 Nov 2019 08:32:04 GMT
recaptcha__en.js
www.gstatic.com/recaptcha/api2/v1554100419869/ 		261 KB
91 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://www.gstatic.com/recaptcha/api2/v1554100419869/recaptcha__en.js
Requested by
Host: www.google.com
URL: https://www.google.com/recaptcha/api.js?hl=en
Protocol
H2
Security
TLS 1.2, ECDHE_ECDSA, AES_128_GCM
Server
2a00:1450:4001:81f::2003 , Ireland, ASN15169 (GOOGLE - Google LLC, US),
Reverse DNS
Software
sffe /
Resource Hash
07a045bd0b098c8ca4b92ec31d5247281c8db4ea451d53db155b50bd2e388a70
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

date
Tue, 02 Apr 2019 21:39:51 GMT
content-encoding
gzip
x-content-type-options
nosniff
last-modified
Mon, 01 Apr 2019 21:15:00 GMT
server
sffe
age
1254025
vary
Accept-Encoding
content-type
text/javascript
status
200
cache-control
public, max-age=31536000
accept-ranges
bytes
alt-svc
quic=":443"; ma=2592000; v="46,44,43,39"
content-length
93196
x-xss-protection
0
expires
Wed, 01 Apr 2020 21:39:51 GMT
widgets.js
platform.twitter.com/ 		93 KB
28 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://platform.twitter.com/widgets.js
Requested by
Host: s0.wp.com
URL: https://s0.wp.com/_static/??-eJyVj0FuAjEMRS/UjGnLSJ1F1aNUacaAZxIntR0otycIgbqKxMqW/d+TDafiQmZDNlgUZjxSwPI3LPoC/1apuhLrnlgh0ooKvxUrHjzPEeUeJg6xzm3ZRCGn1EAnWOJ5SMQd44JWfFjhuwnATmSG4owSRmLscH5uXvfjBZLXxrTO5SOK0PWIx+xJg0m7RXtQMMp8hR5dL72SJjT3PmxuD+6ypE6+ZDW3i54E9OCFeH+vDfpKn6/juJ2m6WN8Wy61raWH
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_256_GCM
Server
2606:2800:234:59:254c:406:2366:268c , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software
ECS (fcn/40B0) /
Resource Hash
460c112ca18e517ef1a6c6abb2ba5ae55187138503a10177bf1908d9261c3a19

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

Date
Wed, 17 Apr 2019 10:00:16 GMT
Content-Encoding
gzip
Last-Modified
Thu, 07 Mar 2019 17:40:21 GMT
Server
ECS (fcn/40B0)
Etag
"4cf9f34505e9344b9a7e4d00e67b6c88+gzip"
Vary
Accept-Encoding
Access-Control-Allow-Methods
GET
P3P
CP="CAO DSP LAW CURa ADMa DEVa TAIa PSAa PSDa IVAa IVDa OUR BUS IND UNI COM NAV INT"
Access-Control-Allow-Origin
*
Cache-Control
public, max-age=1800
X-Cache
HIT
Content-Type
application/javascript; charset=utf-8
Content-Length
28028
09326a066a08237015d6b84f026d36ae
secure.gravatar.com/blavatar/ 		4 KB
4 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://secure.gravatar.com/blavatar/09326a066a08237015d6b84f026d36ae?s=50&d=https%3A%2F%2Fs2.wp.com%2Fi%2Flogo%2Fwpcom-gray-white.png
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a04:fa87:fffe::c000:4902 , Ireland, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
b9676ddbbd90ac6063c33bd2fc6d4fe0227946ad42020649b2d91219e862ad4a

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-nc
HIT vie 1
date
Wed, 17 Apr 2019 10:00:16 GMT
last-modified
Thu, 18 Jan 2018 08:44:31 GMT
server
nginx
access-control-allow-origin
*
source-age
15141349
content-type
image/png
status
200
cache-control
max-age=300
content-disposition
inline; filename="09326a066a08237015d6b84f026d36ae.png"
accept-ranges
bytes
link
<https://www.gravatar.com/blavatar/09326a066a08237015d6b84f026d36ae?s=50&d=https%3A%2F%2Fs2.wp.com%2Fi%2Flogo%2Fwpcom-gray-white.png>; rel="canonical"
content-length
3873
expires
Wed, 17 Apr 2019 10:05:16 GMT
master.html
widgets.wp.com/likes/ Frame 35AA 		0
0 		Document
General
Check archive.org
Download Go to
Full URL
https://widgets.wp.com/likes/master.html?ver=20190321
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash

Request headers

:method
GET
:authority
widgets.wp.com
:scheme
https
:path
/likes/master.html?ver=20190321
pragma
no-cache
cache-control
no-cache
upgrade-insecure-requests
1
user-agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
accept
text/html,application/xhtml+xml,application/xml;q=0.9,image/webp,image/apng,*/*;q=0.8
referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
accept-encoding
gzip, deflate, br
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/

Response headers

status
200
server
nginx
date
Wed, 17 Apr 2019 10:00:16 GMT
content-type
text/html
last-modified
Thu, 21 Mar 2019 13:37:08 GMT
vary
Accept-Encoding
etag
W/"5c939384-84e"
content-encoding
gzip
x-ac
4.fra _dfw
x-nc
HIT fra 32
/
blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/ 		2 KB
1 KB 		XHR
General
Check archive.org
Download Go to
Full URL
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/?relatedposts=1
Requested by
Host: s1.wp.com
URL: https://s1.wp.com/_static/??-eJyFj+EKwjAMhF/Irug6/CU+S+1iSW3T2rQb+vR2oD/UoRAIR77jLnJOAsn4OgJL1+ZaId+eq3O8kb8AEdBmXaALSC/YRCpAZWFT5BKAWVtYuYZ4Qg+iMuQGUGkx57jCvVdCmhDmv5iDkrS5iAyM96/0UEXy1SKxzODbA6NYun6o5jqGw3YY1K7v90q5BzAxcHE=
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.78.12 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
1a1a550bb4ee6f88bfa0576243b66ba21f8358a7c971a249c1d18e6526da05f8
Security Headers
Name Value
Strict-Transport-Security max-age=86400
X-Content-Type-Options nosniff

Request headers

:path
/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/?relatedposts=1
pragma
no-cache
accept-encoding
gzip, deflate, br
user-agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
accept
application/json, text/javascript, */*; q=0.01
cache-control
no-cache
:authority
blog.acolyer.org
x-requested-with
XMLHttpRequest
:scheme
https
referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
:method
GET
Accept
application/json, text/javascript, */*; q=0.01
Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
X-Requested-With
XMLHttpRequest
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

x-pingback
https://blog.acolyer.org/xmlrpc.php
x-hacker
If you're reading this, you should visit automattic.com/jobs and apply to join the fun, mention this header.
date
Wed, 17 Apr 2019 10:00:16 GMT
content-encoding
gzip
x-content-type-options
nosniff
server
nginx
vary
Accept-Encoding
strict-transport-security
max-age=86400
content-type
application/json; charset=utf-8
status
200
x-ac
1.ams _dfw
hovercard.min.css
0.gravatar.com/dist/css/ 		7 KB
2 KB 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://0.gravatar.com/dist/css/hovercard.min.css?ver=201916y
Requested by
Host: s1.wp.com
URL: https://s1.wp.com/_static/??-eJyFj+EKwjAMhF/Irug6/CU+S+1iSW3T2rQb+vR2oD/UoRAIR77jLnJOAsn4OgJL1+ZaId+eq3O8kb8AEdBmXaALSC/YRCpAZWFT5BKAWVtYuYZ4Qg+iMuQGUGkx57jCvVdCmhDmv5iDkrS5iAyM96/0UEXy1SKxzODbA6NYun6o5jqGw3YY1K7v90q5BzAxcHE=
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a04:fa87:fffe::c000:4902 , Ireland, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
7b5e32cb325e9aaef357a421cd16ddf6d6ddb70fec74b6c35a73eccc6817664c

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

date
Wed, 17 Apr 2019 10:00:16 GMT
content-encoding
gzip
last-modified
Thu, 22 Mar 2018 09:46:04 GMT
server
nginx
etag
W/"5ab37b5c-1a2e"
content-type
text/css
status
200
cache-control
max-age=604800
expires
Wed, 24 Apr 2019 10:00:16 GMT
services.min.css
0.gravatar.com/dist/css/ 		3 KB
564 B 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://0.gravatar.com/dist/css/services.min.css?ver=201916y
Requested by
Host: s1.wp.com
URL: https://s1.wp.com/_static/??-eJyFj+EKwjAMhF/Irug6/CU+S+1iSW3T2rQb+vR2oD/UoRAIR77jLnJOAsn4OgJL1+ZaId+eq3O8kb8AEdBmXaALSC/YRCpAZWFT5BKAWVtYuYZ4Qg+iMuQGUGkx57jCvVdCmhDmv5iDkrS5iAyM96/0UEXy1SKxzODbA6NYun6o5jqGw3YY1K7v90q5BzAxcHE=
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a04:fa87:fffe::c000:4902 , Ireland, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
e9fc9b1878db1b13b973252b048d19a17abb34a8da464a552c6d401728ed1e86

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

date
Wed, 17 Apr 2019 10:00:16 GMT
content-encoding
gzip
last-modified
Thu, 22 Mar 2018 09:46:04 GMT
server
nginx
etag
W/"5ab37b5c-a54"
content-type
text/css
status
200
cache-control
max-age=604800
expires
Wed, 24 Apr 2019 10:00:16 GMT
remote-login.php
r-login.wordpress.com/ Frame 4A97 		0
0 		Document
General
Check archive.org
Download Go to
Full URL
https://r-login.wordpress.com/remote-login.php?wpcom_remote_login=key&origin=aHR0cHM6Ly9ibG9nLmFjb2x5ZXIub3Jn&wpcomid=23592848&time=1555495164
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.78.18 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
Security Headers
Name Value
Strict-Transport-Security max-age=15552000

Request headers

:method
GET
:authority
r-login.wordpress.com
:scheme
https
:path
/remote-login.php?wpcom_remote_login=key&origin=aHR0cHM6Ly9ibG9nLmFjb2x5ZXIub3Jn&wpcomid=23592848&time=1555495164
pragma
no-cache
cache-control
no-cache
upgrade-insecure-requests
1
user-agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
accept
text/html,application/xhtml+xml,application/xml;q=0.9,image/webp,image/apng,*/*;q=0.8
referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
accept-encoding
gzip, deflate, br
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/

Response headers

status
200
server
nginx
date
Wed, 17 Apr 2019 10:00:16 GMT
content-type
text/html; charset=utf-8
vary
Accept-Encoding Cookie
expires
Wed, 11 Jan 1984 05:00:00 GMT
cache-control
no-cache, must-revalidate, max-age=0
content-encoding
gzip
x-ac
2.fra _dfw
strict-transport-security
max-age=15552000
g.gif
pixel.wp.com/ 		50 B
92 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://pixel.wp.com/g.gif?x_stats-initial-visibility=visible&v=wpcom-no-pv&rand=0.9037126598233405
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.76.3 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
f3a8992acb9ab911e0fa4ae12f4b85ef8e61008619f13ee51c7a121ff87f63b1

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

status
200
date
Wed, 17 Apr 2019 10:00:16 GMT
cache-control
no-cache
server
nginx
content-length
50
content-type
image/gif
g.gif
pixel.wp.com/ 		50 B
74 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://pixel.wp.com/g.gif?blog=23592848&v=wpcom&tz=1&user_id=0&post=8551&subd=adriancolyer&host=blog.acolyer.org&ref=&fcp=382&rand=0.758721151700753
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.76.3 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
f3a8992acb9ab911e0fa4ae12f4b85ef8e61008619f13ee51c7a121ff87f63b1

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

status
200
date
Wed, 17 Apr 2019 10:00:16 GMT
cache-control
no-cache
server
nginx
content-length
50
content-type
image/gif
g.gif
pixel.wp.com/ 		50 B
74 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://pixel.wp.com/g.gif?crypt=UE40eW5QN0p8M2Y%2FRE1TaVhzUzFMbjdWNHpwZGhTayxPSUFCMGRVYVNrSFguN3FwSmQ5RGtNX3VQcj1yVzhiflM1THQtLGFdQ2toOXYlNCVaeklqTUlaNm1kY3ZwbnZlLFpPP2pvM0ZDJnddMFdiNndIMGE0Z0xkRTVxZ1JONiZ0bFJPcGFVJVVMTlFlbWZLMCtMdltffkNxcVZbUlAxSzlaK1hRWCVtP3Z4ekplWFNqJk1FYUZDL0x4LGk0ZVV3ZmFSbGomRFFkRGZsfmJlRnpjM35QS2Z4Yl0yZUpXNSwwOVdPMWRoNiVlWjVOM1JMTXBwd2dXR2tUSHJZbENDP35hcUJdMl1qQj9idXBFdT9pK3FqRVduQmV%2BSF8lTT9sXWZTUndmLXxXUjlqbnZiTj9ENC5tLUx1RVRZNFhLQiVxLS5wZk4wd2xub3hsUi9C&v=wpcom-no-pv&rand=0.5627798686918992
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.76.3 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
Software
nginx /
Resource Hash
f3a8992acb9ab911e0fa4ae12f4b85ef8e61008619f13ee51c7a121ff87f63b1

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

status
200
date
Wed, 17 Apr 2019 10:00:16 GMT
cache-control
no-cache
server
nginx
content-length
50
content-type
image/gif
widget_iframe.2e9f365dae390394eb8d923cba8c5b11.html
platform.twitter.com/widgets/ Frame 5ACE 		0
0 		Document
General
Check archive.org
Download Go to
Full URL
https://platform.twitter.com/widgets/widget_iframe.2e9f365dae390394eb8d923cba8c5b11.html?origin=https%3A%2F%2Fblog.acolyer.org&settingsEndpoint=https%3A%2F%2Fsyndication.twitter.com%2Fsettings
Requested by
Host: platform.twitter.com
URL: https://platform.twitter.com/widgets.js
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_256_GCM
Server
2606:2800:234:59:254c:406:2366:268c , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software
ECS (fcn/40DF) /
Resource Hash

Request headers

Host
platform.twitter.com
Connection
keep-alive
Pragma
no-cache
Cache-Control
no-cache
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
Accept
text/html,application/xhtml+xml,application/xml;q=0.9,image/webp,image/apng,*/*;q=0.8
Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Accept-Encoding
gzip, deflate, br
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/

Response headers

Content-Encoding
gzip
Access-Control-Allow-Methods
GET
Access-Control-Allow-Origin
*
Cache-Control
public, max-age=315360000
Content-Type
text/html; charset=utf-8
Date
Wed, 17 Apr 2019 10:00:16 GMT
Etag
"347ce5de96d97a02c18244967b8b6532+gzip"
Last-Modified
Thu, 07 Mar 2019 17:39:26 GMT
P3P
CP="CAO DSP LAW CURa ADMa DEVa TAIa PSAa PSDa IVAa IVDa OUR BUS IND UNI COM NAV INT"
Server
ECS (fcn/40DF)
Vary
Accept-Encoding
X-Cache
HIT
Content-Length
5783
moment~timeline~tweet.6e5b62723488aee38af0c77681396a5b.js
platform.twitter.com/js/ 		24 KB
8 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://platform.twitter.com/js/moment~timeline~tweet.6e5b62723488aee38af0c77681396a5b.js
Requested by
Host: platform.twitter.com
URL: https://platform.twitter.com/widgets.js
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_256_GCM
Server
2606:2800:234:59:254c:406:2366:268c , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software
ECS (fcn/4186) /
Resource Hash
e26fdccb214e020f70cf2aede7b77d5dc51854e23b3acbb4bcff0018773a636f

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

Date
Wed, 17 Apr 2019 10:00:16 GMT
Content-Encoding
gzip
Last-Modified
Thu, 07 Mar 2019 17:39:15 GMT
Server
ECS (fcn/4186)
Etag
"da3e8002f83d92efe615008a56f12f48+gzip"
Vary
Accept-Encoding
Access-Control-Allow-Methods
GET
P3P
CP="CAO DSP LAW CURa ADMa DEVa TAIa PSAa PSDa IVAa IVDa OUR BUS IND UNI COM NAV INT"
Access-Control-Allow-Origin
*
Cache-Control
public, max-age=315360000
X-Cache
HIT
Content-Type
application/javascript; charset=utf-8
Content-Length
7925
timeline.4c6ab682148a0366f9efb1647a3f4799.js
platform.twitter.com/js/ 		39 KB
12 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://platform.twitter.com/js/timeline.4c6ab682148a0366f9efb1647a3f4799.js
Requested by
Host: platform.twitter.com
URL: https://platform.twitter.com/widgets.js
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_256_GCM
Server
2606:2800:234:59:254c:406:2366:268c , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software
ECS (fcn/40FA) /
Resource Hash
68a21402dc8bbd85d41b7bf206a9819d583d6b81f39bb67f744d3c39d8d68d36

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

Date
Wed, 17 Apr 2019 10:00:16 GMT
Content-Encoding
gzip
Last-Modified
Thu, 07 Mar 2019 17:39:16 GMT
Server
ECS (fcn/40FA)
Etag
"0b75ea6c252ef45cd6d3a2e31473d9d5+gzip"
Vary
Accept-Encoding
Access-Control-Allow-Methods
GET
P3P
CP="CAO DSP LAW CURa ADMa DEVa TAIa PSAa PSDa IVAa IVDa OUR BUS IND UNI COM NAV INT"
Access-Control-Allow-Origin
*
Cache-Control
public, max-age=315360000
X-Cache
HIT
Content-Type
application/javascript; charset=utf-8
Content-Length
11574
anchor
www.google.com/recaptcha/api2/ Frame 9D4D 		0
0 		Document
General
Check archive.org
Download Go to
Full URL
https://www.google.com/recaptcha/api2/anchor?ar=1&k=6LcmyE0UAAAAALID28yVNg7pFCodGaArJzHitez_&co=aHR0cHM6Ly9ibG9nLmFjb2x5ZXIub3JnOjQ0Mw..&hl=en&type=image&v=v1554100419869&theme=light&size=normal&cb=lzkxc5dxayxp
Requested by
Host: www.gstatic.com
URL: https://www.gstatic.com/recaptcha/api2/v1554100419869/recaptcha__en.js
Protocol
H2
Security
TLS 1.2, ECDHE_ECDSA, AES_128_GCM
Server
2a00:1450:4001:824::2004 , Ireland, ASN15169 (GOOGLE - Google LLC, US),
Reverse DNS
Software
GSE /
Resource Hash
Security Headers
Name Value
Content-Security-Policy script-src 'report-sample' 'nonce-7plKVmF/rEyYo0krhyM7yA' 'unsafe-inline' 'strict-dynamic' https: http: 'unsafe-eval';object-src 'none';base-uri 'self';report-uri https://csp.withgoogle.com/csp/recaptcha/1
X-Content-Type-Options nosniff
X-Xss-Protection 1; mode=block

Request headers

:method
GET
:authority
www.google.com
:scheme
https
:path
/recaptcha/api2/anchor?ar=1&k=6LcmyE0UAAAAALID28yVNg7pFCodGaArJzHitez_&co=aHR0cHM6Ly9ibG9nLmFjb2x5ZXIub3JnOjQ0Mw..&hl=en&type=image&v=v1554100419869&theme=light&size=normal&cb=lzkxc5dxayxp
pragma
no-cache
cache-control
no-cache
upgrade-insecure-requests
1
user-agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
accept
text/html,application/xhtml+xml,application/xml;q=0.9,image/webp,image/apng,*/*;q=0.8
referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
accept-encoding
gzip, deflate, br
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/

Response headers

status
200
content-type
text/html; charset=utf-8
cache-control
no-cache, no-store, max-age=0, must-revalidate
pragma
no-cache
expires
Mon, 01 Jan 1990 00:00:00 GMT
date
Wed, 17 Apr 2019 10:00:16 GMT
content-security-policy
script-src 'report-sample' 'nonce-7plKVmF/rEyYo0krhyM7yA' 'unsafe-inline' 'strict-dynamic' https: http: 'unsafe-eval';object-src 'none';base-uri 'self';report-uri https://csp.withgoogle.com/csp/recaptcha/1
content-encoding
gzip
x-content-type-options
nosniff
x-xss-protection
1; mode=block
content-length
11673
server
GSE
alt-svc
quic=":443"; ma=2592000; v="46,44,43,39"
profile
cdn.syndication.twimg.com/timeline/ 		162 B
557 B 		Script
General
Check archive.org
Download Go to
Full URL
https://cdn.syndication.twimg.com/timeline/profile?callback=__twttr.callbacks.tl_i0_profile_519408925733425153_old&dnt=false&domain=blog.acolyer.org&lang=en&screen_name=519408925733425153&suppress_response_codes=true&t=1728328&tweet_limit=10&tz=GMT%2B0000&with_replies=false
Requested by
Host: platform.twitter.com
URL: https://platform.twitter.com/widgets.js
Protocol
H2
Security
TLS 1.3, , AES_256_GCM
Server
2606:2800:134:fa2:1627:1fe:edb:1665 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software
tsa_f /
Resource Hash
043c12fc9fddcaedf31bf0a18dece32fc4ea8824b73999521f0e2a6470a94e6c
Security Headers
Name Value
Strict-Transport-Security max-age=631138519
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 1; mode=block; report=https://twitter.com/i/xss_report

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

date
Wed, 17 Apr 2019 10:00:16 GMT
content-encoding
gzip
x-content-type-options
nosniff
x-real-status
404 Not Found
status
200
content-disposition
attachment; filename=jsonp.jsonp
strict-transport-security
max-age=631138519
content-length
157
x-xss-protection
1; mode=block; report=https://twitter.com/i/xss_report
x-response-time
119
server
tsa_f
x-frame-options
SAMEORIGIN
content-type
application/javascript;charset=utf-8
cache-control
no-cache, no-store, must-revalidate, max-age=1
x-connection-hash
5f23160d4221b0de5902938c1de8e351
timing-allow-origin
*
x-transaction
00e8b73700bb0f68
syndication
syndication.twitter.com/i/jot/ 		43 B
124 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://syndication.twitter.com/i/jot/syndication?l=%7B%22_category_%22%3A%22syndicated_impression%22%2C%22triggered_on%22%3A1555495216320%2C%22dnt%22%3Afalse%2C%22event_namespace%22%3A%7B%22client%22%3A%22tfw%22%2C%22page%22%3A%22timeline%22%2C%22action%22%3A%22impression%22%7D%7D
Requested by
Host: blog.acolyer.org
URL: https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
104.244.42.8 San Francisco, United States, ASN13414 (TWITTER - Twitter Inc., US),
Reverse DNS
Software
tsa_f /
Resource Hash
ac8778041fdb7f2e08ceb574c9a766247ea26f1a7d90fa854c4efcf4b361a957
Security Headers
Name Value
Strict-Transport-Security max-age=631138519
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 1; mode=block; report=https://twitter.com/i/xss_report

Request headers

Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36

Response headers

date
Wed, 17 Apr 2019 10:00:16 GMT
content-encoding
gzip
x-content-type-options
nosniff
status
200, 200 OK
x-twitter-response-tags
BouncerCompliant
strict-transport-security
max-age=631138519
content-length
65
x-xss-protection
1; mode=block; report=https://twitter.com/i/xss_report
x-response-time
116
pragma
no-cache
last-modified
Wed, 17 Apr 2019 10:00:16 GMT
server
tsa_f
x-frame-options
SAMEORIGIN
content-type
image/gif;charset=utf-8
cache-control
no-cache, no-store, must-revalidate, pre-check=0, post-check=0
x-connection-hash
385cbb917824bbd89ee021bda17c0ab6
x-transaction
009f9c3b00388070
expires
Tue, 31 Mar 1981 05:00:00 GMT
index.html
widgets.wp.com/likes/ Frame E905 		0
0 		Document
General
Check archive.org
Download Go to
Full URL
https://widgets.wp.com/likes/index.html?ver=20190321
Requested by
Host: s1.wp.com
URL: https://s1.wp.com/_static/??-eJyFj+EKwjAMhF/Irug6/CU+S+1iSW3T2rQb+vR2oD/UoRAIR77jLnJOAsn4OgJL1+ZaId+eq3O8kb8AEdBmXaALSC/YRCpAZWFT5BKAWVtYuYZ4Qg+iMuQGUGkx57jCvVdCmhDmv5iDkrS5iAyM96/0UEXy1SKxzODbA6NYun6o5jqGw3YY1K7v90q5BzAxcHE=
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
192.0.77.32 San Francisco, United States, ASN2635 (AUTOMATTIC - Automattic, Inc, US),
Reverse DNS
wordpress.com
Software
nginx /
Resource Hash

Request headers

:method
GET
:authority
widgets.wp.com
:scheme
https
:path
/likes/index.html?ver=20190321
pragma
no-cache
cache-control
no-cache
upgrade-insecure-requests
1
user-agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
accept
text/html,application/xhtml+xml,application/xml;q=0.9,image/webp,image/apng,*/*;q=0.8
referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
accept-encoding
gzip, deflate, br
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/

Response headers

status
200
server
nginx
date
Wed, 17 Apr 2019 10:00:16 GMT
content-type
text/html
content-length
126
last-modified
Sat, 23 Dec 2017 00:24:47 GMT
etag
"5a3da24f-7e"
x-ac
4.fra _dfw
x-nc
HIT fra 32
accept-ranges
bytes
bframe
www.google.com/recaptcha/api2/ Frame DAAD 		0
0 		Document
General
Check archive.org
Download Go to
Full URL
https://www.google.com/recaptcha/api2/bframe?hl=en&v=v1554100419869&k=6LcmyE0UAAAAALID28yVNg7pFCodGaArJzHitez_&cb=tfbigrqxgsix
Requested by
Host: www.gstatic.com
URL: https://www.gstatic.com/recaptcha/api2/v1554100419869/recaptcha__en.js
Protocol
H2
Security
TLS 1.2, ECDHE_ECDSA, AES_128_GCM
Server
2a00:1450:4001:824::2004 , Ireland, ASN15169 (GOOGLE - Google LLC, US),
Reverse DNS
Software
GSE /
Resource Hash
Security Headers
Name Value
Content-Security-Policy script-src 'report-sample' 'nonce-C/DWA6Pk8jeLE6tDqB4svQ' 'unsafe-inline' 'strict-dynamic' https: http: 'unsafe-eval';object-src 'none';base-uri 'self';report-uri https://csp.withgoogle.com/csp/recaptcha/1
X-Content-Type-Options nosniff
X-Xss-Protection 1; mode=block

Request headers

:method
GET
:authority
www.google.com
:scheme
https
:path
/recaptcha/api2/bframe?hl=en&v=v1554100419869&k=6LcmyE0UAAAAALID28yVNg7pFCodGaArJzHitez_&cb=tfbigrqxgsix
pragma
no-cache
cache-control
no-cache
upgrade-insecure-requests
1
user-agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
accept
text/html,application/xhtml+xml,application/xml;q=0.9,image/webp,image/apng,*/*;q=0.8
referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/
accept-encoding
gzip, deflate, br
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/67.0.3396.87 Safari/537.36
Referer
https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/

Response headers

status
200
content-type
text/html; charset=utf-8
cache-control
no-cache, no-store, max-age=0, must-revalidate
pragma
no-cache
expires
Mon, 01 Jan 1990 00:00:00 GMT
date
Wed, 17 Apr 2019 10:00:16 GMT
content-security-policy
script-src 'report-sample' 'nonce-C/DWA6Pk8jeLE6tDqB4svQ' 'unsafe-inline' 'strict-dynamic' https: http: 'unsafe-eval';object-src 'none';base-uri 'self';report-uri https://csp.withgoogle.com/csp/recaptcha/1
content-encoding
gzip
x-content-type-options
nosniff
x-xss-protection
1; mode=block
content-length
1116
server
GSE
alt-svc
quic=":443"; ma=2592000; v="46,44,43,39"

Verdicts & Comments Add Verdict or Comment

83 JavaScript Global Variables

These are the non-standard "global" variables defined on the window object. These can be helpful in identifying possible client-side frameworks and code.

object| onselectstart object| onselectionchange function| queueMicrotask string| wpcom_remote_login_extra_auth function| wpcom_remote_login_remove_dom_node_id function| wpcom_remote_login_remove_dom_node_classes function| wpcom_remote_login_final_cleanup function| addLoadEvent object| _wpemojiSettings object| related_posts_js_options object| NO_JQUERY object| wpcom_mobile_user_agent_info undefined| $ function| jQuery function| pm object| jQuery112404679143068655405 object| Jetpack object| twemoji object| wp function| highlander_expando_javascript function| hex_md5 function| b64_md5 function| str_md5 function| hex_hmac_md5 function| b64_hmac_md5 function| str_hmac_md5 function| md5_vm_test function| core_md5 function| md5_cmn function| md5_ff function| md5_gg function| md5_hh function| md5_ii function| core_hmac_md5 function| safe_add function| bit_rol function| str2binl function| binl2str function| binl2hex function| binl2b64 object| Gravatar object| GProfile number| hexcase string| b64pad number| chrsz object| WPGroHo object| HighlanderComments object| WPCOM_sharing_counts object| actionbardata object| sharing_js_options object| ___grecaptcha_cfg object| grecaptcha boolean| __google_recaptcha_client object| wpcom_img_zoomer object| jetpackLikesWidgetQueue object| jetpackLikesWidgetBatch boolean| jetpackLikesMasterReady function| JetpackLikespostMessage function| JetpackLikesBatchHandler function| JetpackLikesMessageListener function| JetpackLikesWidgetQueueHandler object| wpcom object| ak_js object| commentForm undefined| replyRowContainer undefined| children object| WPCOMSharing object| detectZoom object| addComment undefined| windowOpen object| _tkq object| _stq string| mobileStatsQueryString string| new_css function| st_go function| ex_go function| re_go function| linktracker_init object| __twttrll object| twttr object| __twttr object| recaptcha object| closure_lm_128085

0 Cookies

3 Console Messages

Source Level URL
Text
console-api log URL: https://s1.wp.com/_static/??-eJyFj+EKwjAMhF/Irug6/CU+S+1iSW3T2rQb+vR2oD/UoRAIR77jLnJOAsn4OgJL1+ZaId+eq3O8kb8AEdBmXaALSC/YRCpAZWFT5BKAWVtYuYZ4Qg+iMuQGUGkx57jCvVdCmhDmv5iDkrS5iAyM96/0UEXy1SKxzODbA6NYun6o5jqGw3YY1K7v90q5BzAxcHE=(Line 8)
Message:
JQMIGRATE: Migrate is installed, version 1.4.1
console-api info URL: https://platform.twitter.com/widgets.js(Line 1)
Message:
You may have been affected by an update to settings in embedded timelines. See https://twittercommunity.com/t/deprecating-widget-settings/102295.
console-api error URL: https://platform.twitter.com/widgets.js(Line 1)
Message:
Profile timeline for screen_name: 519408925733425153 not found

Security Headers

This page lists any security headers set by the main page. If you want to understand what these mean and how to use them, head on over to this page

Header Value
Strict-Transport-Security max-age=86400

Indicators

This is a term in the security industry to describe indicators such as IPs, Domains, Hashes, etc. This does not imply that any of these indicate malicious activity.

0.gravatar.com
1.gravatar.com
adriancolyer.files.wordpress.com
blog.acolyer.org
cdn.syndication.twimg.com
pixel.wp.com
platform.twitter.com
r-login.wordpress.com
s0.wp.com
s1.wp.com
s2.wp.com
secure.gravatar.com
stats.wp.com
syndication.twitter.com
widgets.wp.com
www.google.com
www.gstatic.com
104.244.42.8
192.0.72.20
192.0.76.3
192.0.77.32
192.0.78.12
192.0.78.18
2606:2800:134:fa2:1627:1fe:edb:1665
2606:2800:234:59:254c:406:2366:268c
2a00:1450:4001:81f::2003
2a00:1450:4001:824::2004
2a04:fa87:fffe::c000:4902
043c12fc9fddcaedf31bf0a18dece32fc4ea8824b73999521f0e2a6470a94e6c
050c2ca74a4941fedd88349d977d960b8ab384ebb83a3c9e4b233160476ee8f1
07a045bd0b098c8ca4b92ec31d5247281c8db4ea451d53db155b50bd2e388a70
0cbaa5cb319166cfba529ef24503684848779c5e6e0b14a4be438d7b140e6c57
0dab369eac5fd3a06420395d02d292bc3e3ab0bf62add857c72804fd9f4edd35
1884c2cce170e1bf85bad894966edaaa99c0b7f213f1c895a6c5ee0a7024c437
1969543807facbf4705791ea76ca43f246fe0682ffe9a6831c892ac34910afe6
1a1a550bb4ee6f88bfa0576243b66ba21f8358a7c971a249c1d18e6526da05f8
20fb68360652606ba62640e9ceb5f2500fafcb208e5d22f44775b31b6b60a9e4
21c557180f1bd074974eb41ae4228b6aa9c41234ab1729d780bc8f05761110bb
36a5fb9a83d1aa7c1d34cd34e51c388104e54d6defe1540a08f5bc8f76c71794
3fa54e29f88aee644eaaac38e11681ea07858eb1ea76b1baae12597aae83fe82
460c112ca18e517ef1a6c6abb2ba5ae55187138503a10177bf1908d9261c3a19
4cc9e190418c358238535469ce39072ecc1c3c6e08d8ee25117acf1571d88c1d
53eacf6355b135468c0f896bdee26b691047e16cbaf53a2a3cbfb6ecfa5e82c1
662570937be5f72a55a86eedd744ad3cf97c1761ddbe6103124b0da14abe07a1
68a21402dc8bbd85d41b7bf206a9819d583d6b81f39bb67f744d3c39d8d68d36
7b5e32cb325e9aaef357a421cd16ddf6d6ddb70fec74b6c35a73eccc6817664c
7d08e9159f7d2bf0835085cbd1ffb0252b0e11de45ed07db4447f8e63f181dbf
80d7bf183c2262a8c8c21c3a2d5096a5a2c92f39b923cae20888037a23a3c1eb
8763318dd96962e462fe3cb316df02e46ab9463105b4c2213455658406eb8112
895964971ebdb56ee76d08850bcb4c5a88ec4c65e6a235882304e8ff6767cd7c
89d01b152beefa0885d7821cea6cc319054d5e272549b004479a6ac81ecafee3
9a4662c145997e739d3afcffebba8160112b4d6de341f1e168ef794f0cbd5e55
9c42615b9f87888a452f177c5ea19899fb8a835b8f6d0b458824e6c332a0adce
ac8778041fdb7f2e08ceb574c9a766247ea26f1a7d90fa854c4efcf4b361a957
b9676ddbbd90ac6063c33bd2fc6d4fe0227946ad42020649b2d91219e862ad4a
b9b8ef6b88b16d3b65955c4209e539f0f75deb19b77c24787e7266b706f679a1
c533b791a8eef65604f15d20433506e1614c693eeba9df749e8a7677e43b466c
cb3e87ff58a5e66937ffb6013c8265ed549658a4ff59c1f8d8ae193f488390a5
d9ea2fc776e3fb83e5af52dbde36140039633482d9fb37848316a1dfea479ed2
ded4c3ce26c4f199bd516994bb6a960265be797d14e184e9bf6667d3963f96fa
e200bad56abfbe0250575662994d5cb06e9ceebddecd91bfa2a1cb82b1304cb4
e26fdccb214e020f70cf2aede7b77d5dc51854e23b3acbb4bcff0018773a636f
e9fc9b1878db1b13b973252b048d19a17abb34a8da464a552c6d401728ed1e86
f3a8992acb9ab911e0fa4ae12f4b85ef8e61008619f13ee51c7a121ff87f63b1