[09/Jul/2025:00:03:23 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:00:08:27 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:00:13:30 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:00:18:35 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:00:23:37 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:00:28:41 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:00:30:59 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=10,cores=10,osName=Mac+OS+X,osVersion=14.7.6,osArch=aarch64,jvmVendor=Oracle+Corporation,jvmVersion=18.0.2.1,jvmArch=x86_64,jvmHeapMem=8192,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=6c41732f16bb4dba9626839507e83233,ts=1752013858484,optout=false HTTP/1.1" [09/Jul/2025:00:32:07 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=10,cores=10,osName=Mac+OS+X,osVersion=14.7.6,osArch=aarch64,jvmVendor=Oracle+Corporation,jvmVersion=18.0.2.1,jvmArch=x86_64,jvmHeapMem=8192,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=10ab0cb64a6947bfb69c6a235c9131c1,ts=1752013926333,optout=false HTTP/1.1" [09/Jul/2025:00:33:45 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:00:35:01 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=10,cores=10,osName=Mac+OS+X,osVersion=14.7.6,osArch=aarch64,jvmVendor=Oracle+Corporation,jvmVersion=18.0.2.1,jvmArch=x86_64,jvmHeapMem=8192,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=b74cf481dc5b4402bdce7b6afa9d3b79,ts=1752014101016,optout=false HTTP/1.1" [09/Jul/2025:00:35:17 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=10,cores=10,osName=Mac+OS+X,osVersion=14.7.6,osArch=aarch64,jvmVendor=Oracle+Corporation,jvmVersion=18.0.2.1,jvmArch=x86_64,jvmHeapMem=8192,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=8e04b01813114a61881c92f1a070cb42,ts=1752014116905,optout=false HTTP/1.1" [09/Jul/2025:00:35:27 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=10,cores=10,osName=Mac+OS+X,osVersion=14.7.6,osArch=aarch64,jvmVendor=Oracle+Corporation,jvmVersion=18.0.2.1,jvmArch=x86_64,jvmHeapMem=8192,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=2a9bfe62b0ca49c5913b3311b7731603,ts=1752014127115,optout=false HTTP/1.1" [09/Jul/2025:00:35:37 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=10,cores=10,osName=Mac+OS+X,osVersion=14.7.6,osArch=aarch64,jvmVendor=Oracle+Corporation,jvmVersion=18.0.2.1,jvmArch=x86_64,jvmHeapMem=8192,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=7d5ecd87a506427bb15c7cc151abedf5,ts=1752014137258,optout=false HTTP/1.1" [09/Jul/2025:00:35:48 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=10,cores=10,osName=Mac+OS+X,osVersion=14.7.6,osArch=aarch64,jvmVendor=Oracle+Corporation,jvmVersion=18.0.2.1,jvmArch=x86_64,jvmHeapMem=8192,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=4e26284ae8ac4ad8a6814c32c1b008e5,ts=1752014147776,optout=false HTTP/1.1" [09/Jul/2025:00:35:56 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=10,cores=10,osName=Mac+OS+X,osVersion=14.7.6,osArch=aarch64,jvmVendor=Oracle+Corporation,jvmVersion=18.0.2.1,jvmArch=x86_64,jvmHeapMem=8192,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=401ec3b7c96841ec969e5e183752f276,ts=1752014156198,optout=false HTTP/1.1" [09/Jul/2025:00:38:31 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=6f9009c16eb5482295a925a98ce184c7,workers=1,ts=1752014310530 HTTP/1.1" [09/Jul/2025:00:38:48 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:00:39:35 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=bbb1044e46a446acb37040b03390429b,workers=1,ts=1752014374986 HTTP/1.1" [09/Jul/2025:00:39:55 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=0908be0758fd42119433ca29e3859cc7,workers=1,ts=1752014394886 HTTP/1.1" [09/Jul/2025:00:40:03 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=7c6c2010f58245c78e6e2b7a69d4669c,workers=1,ts=1752014402575 HTTP/1.1" [09/Jul/2025:00:43:51 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:00:45:41 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=10,cores=10,osName=Mac+OS+X,osVersion=14.7.6,osArch=aarch64,jvmVendor=Oracle+Corporation,jvmVersion=18.0.2.1,jvmArch=x86_64,jvmHeapMem=8192,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=01f56bbb54804b38bccec0de3e416ba1,ts=1752014740634,optout=false HTTP/1.1" [09/Jul/2025:00:48:55 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:00:53:59 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:00:59:03 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:01:04:06 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:01:09:10 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:01:14:13 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:01:19:17 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:01:24:21 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:01:29:24 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:01:34:28 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:01:39:32 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:01:44:35 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:01:49:38 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:01:54:42 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:01:59:45 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:02:04:49 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:02:09:52 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:02:14:56 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:02:16:00 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=f94e773bdefd409190c9ba5cb204f624,workers=1,ts=1752020160117 HTTP/1.1" [09/Jul/2025:02:17:18 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=7271f5fe9c28469ea696932a5b48deba,workers=1,ts=1752020237763 HTTP/1.1" [09/Jul/2025:02:17:50 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=478664ab177a4704ae39409abe101879,workers=1,ts=1752020269608 HTTP/1.1" [09/Jul/2025:02:17:58 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=09fdefeb936d4c4bb720e3cbd373f944,workers=1,ts=1752020277890 HTTP/1.1" [09/Jul/2025:02:18:08 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=82bf515aa48b454aba7cfe6abc1463c5,workers=1,ts=1752020287807 HTTP/1.1" [09/Jul/2025:02:18:15 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=6b7bfd206b1640b4b943009d78b08241,workers=1,ts=1752020295140 HTTP/1.1" [09/Jul/2025:02:18:30 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=65050c924d8249738a0c4744ef947541,workers=1,ts=1752020310399 HTTP/1.1" [09/Jul/2025:02:19:59 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:02:21:02 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=af9591327dc940dfa152aaa8ca32d6f9,workers=1,ts=1752020462335 HTTP/1.1" [09/Jul/2025:02:22:08 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=7c6fb204da494b18a9275357850fb85f,workers=1,ts=1752020527575 HTTP/1.1" [09/Jul/2025:02:23:03 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=4430bae23d4d45f08ae0b837899d7f14,workers=1,ts=1752020582681 HTTP/1.1" [09/Jul/2025:02:23:16 +0200] "HEAD /?ver=13e5a39,mode=bfs,workers=36,cores=36,osName=Linux,osVersion=5.15.0-139-generic,osArch=amd64,jvmVendor=Azul+Systems%2C+Inc.,jvmVersion=17.0.13,jvmArch=x86_64,jvmHeapMem=3641,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=0acb27d22c584170aa1bc54f90eb4890,ts=1752020594791,optout=false HTTP/1.1" [09/Jul/2025:02:23:17 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=78ccdc41b7804d6282315e10e3f361aa,workers=1,ts=1752020596876 HTTP/1.1" [09/Jul/2025:02:25:03 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:02:30:06 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:02:35:10 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:02:37:03 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=6a31e76c08d54e91aadb1898f2927e9c,workers=1,ts=1752021423404 HTTP/1.1" [09/Jul/2025:02:37:36 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=c4839b31c2914560800349411f04a1cb,workers=1,ts=1752021456423 HTTP/1.1" [09/Jul/2025:02:37:51 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=1784c5105a3a45e19952e5771f0f9a7d,workers=1,ts=1752021471312 HTTP/1.1" [09/Jul/2025:02:38:06 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=9df0dc2119714301a5acc5ebe81141a6,workers=1,ts=1752021485733 HTTP/1.1" [09/Jul/2025:02:38:13 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=d871f312d0df474a9952cf5675b4e4cb,workers=1,ts=1752021493474 HTTP/1.1" [09/Jul/2025:02:38:45 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=322562b635754020a212d3a2d2f04076,workers=1,ts=1752021525326 HTTP/1.1" [09/Jul/2025:02:40:13 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:02:45:17 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:02:50:20 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:02:55:23 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:03:00:28 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:03:05:31 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:03:10:36 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:03:15:39 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:03:20:42 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:03:24:30 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=a02c20e9fa714ea7a0d7b7f13381bf23,workers=1,ts=1752024269499 HTTP/1.1" [09/Jul/2025:03:24:45 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=b7080586c57c4171b92c785924675061,workers=1,ts=1752024284505 HTTP/1.1" [09/Jul/2025:03:25:46 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:03:27:23 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=71bab67971654b3590ecf10c60b15419,workers=1,ts=1752024443273 HTTP/1.1" [09/Jul/2025:03:27:33 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=091fa31ce1834ea7abdf9943644832bb,workers=1,ts=1752024453016 HTTP/1.1" [09/Jul/2025:03:30:49 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:03:35:53 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:03:39:07 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=d762bb444ca94041b04f1e912324f265,workers=1,ts=1752025146945 HTTP/1.1" [09/Jul/2025:03:40:19 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=7cb920db2ed04039bafac48aff80a95e,workers=1,ts=1752025219221 HTTP/1.1" [09/Jul/2025:03:40:56 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:03:44:46 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=ba56000885e4435eac7ee0c02036c791,workers=1,ts=1752025486415 HTTP/1.1" [09/Jul/2025:03:45:47 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=a24aa40065b24fea85ba17670ea1bd16,workers=1,ts=1752025546669 HTTP/1.1" [09/Jul/2025:03:46:00 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:03:50:09 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=880989b7d0c34fbd90f64200b5979ac3,workers=1,ts=1752025809257 HTTP/1.1" [09/Jul/2025:03:51:03 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:03:56:07 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:04:01:10 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:04:06:14 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:04:11:19 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:04:12:38 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=426ca3a9dcb14883bbf3b80d291722da,workers=1,ts=1752027157718 HTTP/1.1" [09/Jul/2025:04:12:48 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=ef71bce217e647e198045aa0fd2afa84,workers=1,ts=1752027168475 HTTP/1.1" [09/Jul/2025:04:12:54 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=83e1c20105d74941b2fb188a2c13f91d,workers=1,ts=1752027173509 HTTP/1.1" [09/Jul/2025:04:13:00 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=f9b34a16937247a0a8a943f0e3df24b0,workers=1,ts=1752027180206 HTTP/1.1" [09/Jul/2025:04:13:15 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=441a014e3c0f402d98475fb2c04543da,workers=1,ts=1752027195439 HTTP/1.1" [09/Jul/2025:04:15:04 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=01d3ca151a32422b8a8c9a72c952b48d,workers=1,ts=1752027304073 HTTP/1.1" [09/Jul/2025:04:15:49 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=cfbe48f288854e6bac7a8575f478b2c4,workers=1,ts=1752027348983 HTTP/1.1" [09/Jul/2025:04:16:22 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:04:16:56 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=f0bd2457fbee497bb77046ac0e84b670,workers=1,ts=1752027416449 HTTP/1.1" [09/Jul/2025:04:21:25 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:04:26:28 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:04:31:31 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:04:35:12 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=70fc1bf73c464c67934545574c59448d,workers=1,ts=1752028511593 HTTP/1.1" [09/Jul/2025:04:36:08 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=49458d75461e402ba9a8b1112f7ec079,workers=1,ts=1752028567571 HTTP/1.1" [09/Jul/2025:04:36:35 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:04:39:26 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=fa0ae63151d24a87a62cf2bb2509b7ae,workers=1,ts=1752028766497 HTTP/1.1" [09/Jul/2025:04:40:03 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=fc14859bbf164ed3b0e02ab3fa87c91d,workers=1,ts=1752028803371 HTTP/1.1" [09/Jul/2025:04:40:31 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=e15e66a2533c47a08a1c177874fd7b6f,workers=1,ts=1752028830540 HTTP/1.1" [09/Jul/2025:04:41:38 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:04:41:42 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=1999c64af01f4a54ac845bc7649a38ad,workers=1,ts=1752028902041 HTTP/1.1" [09/Jul/2025:04:42:00 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=7bb74688c2f24169b8d8443c4563f70d,workers=1,ts=1752028920204 HTTP/1.1" [09/Jul/2025:04:46:42 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:04:51:45 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:04:56:49 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:05:01:52 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:05:04:35 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=a29272b10b014a9c98386bad5338dc66,workers=1,ts=1752030274727 HTTP/1.1" [09/Jul/2025:05:06:56 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:05:11:59 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:05:13:22 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=6c46ceec20224830897bfbf3fda0e19b,workers=1,ts=1752030801796 HTTP/1.1" [09/Jul/2025:05:16:44 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=0703d73cdf7d46a1be86833164b72b7e,workers=1,ts=1752031003751 HTTP/1.1" [09/Jul/2025:05:16:55 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=45d40fe758c74c1f9d5ed21ef207552d,workers=1,ts=1752031015162 HTTP/1.1" [09/Jul/2025:05:17:03 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:05:18:17 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=cbaadf05338448f0aaf595e4afa7d739,workers=1,ts=1752031096783 HTTP/1.1" [09/Jul/2025:05:22:06 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:05:23:09 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=df36f264cdff4c52b24714e0072bb7c2,workers=1,ts=1752031389030 HTTP/1.1" [09/Jul/2025:05:23:26 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=dc06674398634205a593f9bda96eb6e9,workers=1,ts=1752031405621 HTTP/1.1" [09/Jul/2025:05:23:34 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=34794a0e2e1447048ec31ec6bfc3400d,workers=1,ts=1752031413885 HTTP/1.1" [09/Jul/2025:05:27:10 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:05:29:35 +0200] "HEAD /?ver=apalache-0.47.2-def5e8e,jvmVendor=Ubuntu,osArch=amd64,osName=Linux,tool=apalache,mode=check,jvmHeapMem=4096,optout=false,cores=16,osVersion=6.8.0-35-generic,jvmOffHeapMem=0,jvmVersion=21.0.3,jvmArch=amd64,id=b2ad702ef7ec49efa7974bf052cad2c0,workers=1,ts=1752031775205 HTTP/1.1" [09/Jul/2025:05:32:13 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:05:32:20 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=10,cores=10,osName=Mac+OS+X,osVersion=14.7.6,osArch=aarch64,jvmVendor=Oracle+Corporation,jvmVersion=18.0.2.1,jvmArch=x86_64,jvmHeapMem=8192,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=c04ed3766ab841749e87065dfed31b2f,ts=1752031939723,optout=false HTTP/1.1" [09/Jul/2025:05:37:17 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:05:42:20 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:05:47:24 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:05:52:28 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:05:57:31 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:06:02:35 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:06:07:37 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:06:12:41 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:06:17:44 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:06:22:48 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:06:27:52 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:06:32:54 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:06:37:59 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:06:43:02 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:06:48:06 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:06:53:09 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:06:58:12 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:07:03:15 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:07:05:59 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=3,cores=6,osName=Linux,osVersion=6.8.0-63-generic,osArch=amd64,jvmVendor=AdoptOpenJDK,jvmVersion=14.0.1,jvmArch=x86_64,jvmHeapMem=1026,jvmOffHeapMem=2306,fpset=OffHeapDiskFPSet,queue=DiskStateQueue,toolbox=true,ide=toolbox,id=15e793f14b50457d97f29f17755f5904,ts=1752037558792,optout=false HTTP/1.1" [09/Jul/2025:07:08:19 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:07:13:22 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:07:18:27 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:07:23:29 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:07:28:33 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:07:31:00 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=3,cores=6,osName=Linux,osVersion=6.8.0-63-generic,osArch=amd64,jvmVendor=AdoptOpenJDK,jvmVersion=14.0.1,jvmArch=x86_64,jvmHeapMem=1026,jvmOffHeapMem=2306,fpset=OffHeapDiskFPSet,queue=DiskStateQueue,toolbox=true,ide=toolbox,id=063d46c9a8b045368e4cf07cc91ab816,ts=1752039059612,optout=false HTTP/1.1" [09/Jul/2025:07:33:36 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:07:38:41 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:07:42:08 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=10,cores=10,osName=Mac+OS+X,osVersion=14.7.6,osArch=aarch64,jvmVendor=Oracle+Corporation,jvmVersion=18.0.2.1,jvmArch=x86_64,jvmHeapMem=8192,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=d0290524308943319ffbcd0993c3b31a,ts=1752039728098,optout=false HTTP/1.1" [09/Jul/2025:07:43:31 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=10,cores=10,osName=Mac+OS+X,osVersion=14.7.6,osArch=aarch64,jvmVendor=Oracle+Corporation,jvmVersion=18.0.2.1,jvmArch=x86_64,jvmHeapMem=8192,jvmOffHeapMem=64,fpset=MSBDiskFPSet,queue=DiskStateQueue,toolbox=false,ide=cli,id=c77b8fabc5774243a2863dae06b42f7e,ts=1752039811311,optout=false HTTP/1.1" [09/Jul/2025:07:43:43 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:07:48:47 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:07:53:50 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:07:58:55 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:08:03:59 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:08:09:01 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:08:14:06 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:08:19:09 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:08:24:12 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:08:29:16 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:08:30:39 +0200] "HEAD /?ver=5a47802,mode=bfs,workers=3,cores=6,osName=Linux,osVersion=6.8.0-63-generic,osArch=amd64,jvmVendor=AdoptOpenJDK,jvmVersion=14.0.1,jvmArch=x86_64,jvmHeapMem=1026,jvmOffHeapMem=2306,fpset=OffHeapDiskFPSet,queue=DiskStateQueue,toolbox=true,ide=toolbox,id=b3bb3d7954c94da7a5ebb050240766d5,ts=1752042638171,optout=false HTTP/1.1" [09/Jul/2025:08:34:20 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:08:39:23 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:08:43:23 +0200] "HEAD /?ver=450f4c5,mode=bfs,workers=7,cores=14,osName=Windows+10,osVersion=10.0,osArch=amd64,jvmVendor=AdoptOpenJDK,jvmVersion=14.0.1,jvmArch=x86_64,jvmHeapMem=1173,jvmOffHeapMem=2635,fpset=OffHeapDiskFPSet,queue=DiskStateQueue,toolbox=true,ide=toolbox,id=14506d734f314dfca513c89f878b34ea,ts=1752043402116,optout=false HTTP/1.1" [09/Jul/2025:08:44:27 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:08:49:31 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:08:54:35 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:08:59:38 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:09:04:42 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:09:09:45 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:09:14:48 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:09:19:52 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:09:24:55 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:09:29:59 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:09:35:02 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:09:40:06 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:09:45:09 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:09:50:13 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:09:55:16 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:10:00:21 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:10:05:24 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:10:10:28 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:10:15:31 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:10:20:34 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:10:25:37 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:10:30:42 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:10:35:44 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:10:40:47 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:10:45:51 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:10:50:55 +0200] "HEAD / HTTP/1.1" [09/Jul/2025:10:55:59 +0200] "HEAD / HTTP/1.1"