{"title":"Blacklight Inspection","page_title":"Formalized Mathematics – Just another WordPress.com weblog","uri_ins":"http://slawekk.wordpress.com/","uri_dest":"https://slawekk.wordpress.com/","uri_redirects":["http://slawekk.wordpress.com/"],"secure_connection":{},"host":"slawekk.wordpress.com","config":{"emulateDevice":{"name":"iPhone 13 Pro","userAgent":"Mozilla/5.0 (iPhone; CPU iPhone OS 15_0 like Mac OS X) AppleWebKit/605.1.15 (KHTML, like Gecko) Version/15.4 Mobile/15E148 Safari/604.1","viewport":{"width":390,"height":844,"deviceScaleFactor":3,"isMobile":true,"hasTouch":true,"isLandscape":false}},"cleareCache":true,"captureHar":true,"captureLinks":false,"enableAdBlock":false,"saveBrowserProfile":false,"numPages":2,"defaultTimeout":35000,"defaultWaitUntil":"networkidle2","headless":true,"headers":{},"extraChromiumArgs":["--disable-features=TrackingProtection3pcd","--website-analysis-scan=34423c1f-ba2a-4def-8d9d-e8fb0fa56fbf"],"extraPuppeteerOptions":{}},"browser":{"name":"Chromium","version":"Chrome/127.0.6533.88","user_agent":"Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) HeadlessChrome/127.0.0.0 Safari/537.36","platform":{"name":"Linux","version":"4.4.302+"}},"script":{"host":"f55531b6c604","version":{"npm":"3.11.0","commit":"dev"},"node_version":"v24.20.0"},"start_time":"2026-09-11T07:40:36.829Z","end_time":"2026-09-11T07:41:08.309Z","browsing_history":["https://slawekk.wordpress.com/","https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/"],"hosts":{"requests":{"first_party":["slawekk.wordpress.com","public-api.wordpress.com"],"third_party":["s0.wp.com","stats.wp.com","ssl.google-analytics.com","dn0qt3r0xannq.cloudfront.net","pixel.wp.com","raven-edge.aditude.io","edge.aditude.io","cadmus.script.ac","securepubads.g.doubleclick.net","geo-location.prebid.cloud","af.pubmine.com","sync.smartadserver.com","raven-static.aditude.io","geo.aditude.io","i.clean.gg","c.amazon-adsystem.com","cw-static.aditude.io","config.aps.amazon-adsystem.com","pagead2.googlesyndication.com","event-ingestor.judy.pnap.aditude.cloud","widgets.wp.com","euw1.smartadserver.com","web-banner.ads.aps.amazon-adsystem.com"]}},"reports":{"behaviour_event_listeners":{"MOUSE":{"https://slawekk.wordpress.com/wp-content/mu-plugins/jetpack-mu-wpcom-plugin/moon/jetpack_vendor/automattic/jetpack-mu-wpcom/src/build/verbum-comments/verbum-comments.js?m=1788898305i&minify=false&ver=3d6130a57c3104d5bc3b":["click"],"https://slawekk.wordpress.com/_static/??-eJxdjcsKwjAQRX/IdGg3jQvxUyQvSuIkEzITW//eFkTU1eVwX7BW5ahIKAK5q4p9iYUhBanG3d8MmajALRYHtkf00AIaCV5VYuFfGnIsQ+ITfA2nPYOiaqPt+e9ZpOVzu1LzxrNyaJgDH0WXKzymQxRLt3v9mi/jrPV81noa0wumtkbk":["click"],"https://slawekk.wordpress.com/wp-content/mu-plugins/actionbar/actionbar.js?v=20250204":["scroll","click"],"https://slawekk.wordpress.com/_static/??-eJyNUM1OwzAMfiFSDya2cUA8yuQmpksXJ1HsrNrbk5W2QhwQp0T+fm2YsrEpKkUFvRCTQK49sI8+0I0ijALCGIJhirUb5QmawkcbqmvchtrEDVJTKId714QrabXtQxpMDnXwUWBKxaETYwOKLAac4fbyeLq+RhfotwHXTT6SZrRX00ZTbskLAJxSXMFzq+1SAayaGFW93WSPTBXoqw9uG4otPqtxqPhHMl69MKnZdzs4t/23wWeZye4frX+WnT2+i8gFC7WruPv89XFYzvjB78/H0/HtdXc6HMYvZwafGw==":["scroll","mousemove","mouseup","mousedown"],"https://slawekk.wordpress.com/wp-content/js/bilmur.min.js?i=17&m=202637":["click"],"https://slawekk.wordpress.com/_static/??/wp-content/blog-plugins/wordads-classes/js/watl-v2.js,/wp-content/mu-plugins/likes/queuehandler.js?m=1760446017j":["scroll","click"],"https://slawekk.wordpress.com/_static/??-eJydT9EKgzAM/KHVoDLmy9injNpmri5Ni2mV/f0UVIYvgz2Fu+RydzBFZQIn5AQthU5Fyp1jgSkMVltRhrQICvQzpROpsSp6OcGXzOdd1GOK2rxWDD4EhrtjA212ZMHxw7FLqMQMgWjD78I7Pn5NT/SzbcwtzFtHOCIvIcRrIuWR81HxK77xEcZqGUWb2RL+X8ToIWRB2u82Ym1y89fy0pyrqq7Lpv8AhnuEYA==":["scroll"]},"TOUCH":{"https://slawekk.wordpress.com/_static/??-eJyNUM1OwzAMfiFSDya2cUA8yuQmpksXJ1HsrNrbk5W2QhwQp0T+fm2YsrEpKkUFvRCTQK49sI8+0I0ijALCGIJhirUb5QmawkcbqmvchtrEDVJTKId714QrabXtQxpMDnXwUWBKxaETYwOKLAac4fbyeLq+RhfotwHXTT6SZrRX00ZTbskLAJxSXMFzq+1SAayaGFW93WSPTBXoqw9uG4otPqtxqPhHMl69MKnZdzs4t/23wWeZye4frX+WnT2+i8gFC7WruPv89XFYzvjB78/H0/HtdXc6HMYvZwafGw==":["touchend","touchstart","touchmove"]},"KEYBOARD":{"https://slawekk.wordpress.com/wp-content/js/bilmur.min.js?i=17&m=202637":["keydown"]}},"canvas_fingerprinters":{"data_url":{},"fingerprinters":[],"styles":{},"texts":{}},"canvas_font_fingerprinters":{"canvas_font":{},"text_measure":{}},"cookies":[{"name":"verbum_test","value":"1","domain":"slawekk.wordpress.com","path":"/2020/05/05/isarmathlib-version-1-12-0","expires":-1,"size":12,"httpOnly":false,"secure":true,"session":true,"sameSite":"None","priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"unknown","third_party":false},{"name":"tk_ai","value":"522w15M5Wd3dAjuHLsk%2Fe%2FLL","domain":"wordpress.com","path":"/","expires":"2027-10-16T07:41:00.068Z","size":33,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"tk_qs","value":"","domain":"wordpress.com","path":"/","expires":"2026-09-11T08:11:00.000Z","size":5,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"__utma","value":"11735858.2112568070.1789112460.1789112460.1789112460.1","domain":"wordpress.com","path":"/","expires":"2027-10-16T07:41:00.266Z","size":60,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"__utmc","value":"11735858","domain":"wordpress.com","path":"/","expires":-1,"size":14,"httpOnly":false,"secure":false,"session":true,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"__utmz","value":"11735858.1789112460.1.1.utmcsr=(direct)|utmccn=(direct)|utmcmd=(none)","domain":"wordpress.com","path":"/","expires":"2027-03-12T19:41:00.000Z","size":75,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"__utmt","value":"1","domain":"wordpress.com","path":"/","expires":"2026-09-11T07:51:00.000Z","size":7,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"__utmb","value":"11735858.1.10.1789112460","domain":"wordpress.com","path":"/","expires":"2026-09-11T08:11:00.000Z","size":30,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"ccpa_applies","value":"false","domain":"wordpress.com","path":"/","expires":"2026-09-12T07:41:00.283Z","size":17,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"usprivacy","value":"1---","domain":"wordpress.com","path":"/","expires":"2026-09-12T07:41:00.284Z","size":13,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"js","third_party":false},{"name":"cw-test-20260429_appnexus-vs-microsoft-test_50_50","value":"appnexus","domain":"slawekk.wordpress.com","path":"/","expires":"2026-10-11T07:41:00.000Z","size":57,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"unknown","third_party":false},{"name":"cw-test-20260722_s2s-cleanup-us-only_0_100","value":"test","domain":"slawekk.wordpress.com","path":"/","expires":"2026-10-11T07:41:00.000Z","size":46,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"unknown","third_party":false},{"name":"cw-test-20251215_liveramp-test_5_95","value":"control","domain":"slawekk.wordpress.com","path":"/","expires":"2026-10-11T07:41:00.000Z","size":42,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"unknown","third_party":false},{"name":"cw-test-20260108_wordpress-global-floors_90_10","value":"test","domain":"slawekk.wordpress.com","path":"/","expires":"2026-10-11T07:41:00.000Z","size":50,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"unknown","third_party":false},{"name":"cw-test-20250804_geo-disable-refresh_95_5","value":"test","domain":"slawekk.wordpress.com","path":"/","expires":"2026-10-11T07:41:00.000Z","size":45,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"unknown","third_party":false},{"name":"cw-test-20260109_no-fill-delay-exponential-backoff_10_90","value":"control","domain":"slawekk.wordpress.com","path":"/","expires":"2026-10-11T07:41:00.000Z","size":63,"httpOnly":false,"secure":false,"session":false,"priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"unknown","third_party":false},{"name":"verbum_subscription_modal_counter_0","value":"1","domain":"slawekk.wordpress.com","path":"/","expires":-1,"size":36,"httpOnly":false,"secure":true,"session":true,"sameSite":"None","priority":"Medium","sameParty":false,"sourceScheme":"Secure","sourcePort":443,"type":"unknown","third_party":false}],"fb_pixel_events":[],"tiktok_pixel_events":[],"twitter_pixel_events":[],"google_analytics_events":[],"key_logging":{},"session_recorders":{},"third_party_trackers":[{"data":{"body":[[],[4,"m202609040101",[122880508]],[[{"1":["ewzMSe",null,[null,1],[[null,2]]]}]]],"filter":"||pagead2.googlesyndication.com^","listName":"easylist.txt","query":{"e":1}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pagead2.googlesyndication.com/pagead/ping?e=1"},{"data":{"body":{},"filter":"||amazon-adsystem.com^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://c.amazon-adsystem.com/bao-csm/aps-comm/aps_csm.js"},{"data":{"body":{},"filter":"||amazon-adsystem.com^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://config.aps.amazon-adsystem.com/configs/67e3348c-5907-44ad-ab39-d2ac1369f437"},{"data":{"body":{},"filter":"||amazon-adsystem.com^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://c.amazon-adsystem.com/aax2/apstag.js"},{"data":{"body":{"action_group_id":"cb493992-06c5-848b-a572-f7c8d418ecad","action_name":"Events","bk":3,"cid":"cb493992-06c5-848b-a572-f7c8d418ecad:TP","custom_fields":[{"apiBm":{"di":[],"j4":"t13d1516h2_8daaf6152771_d8a2da3f94cd","sc":54,"vb":false,"vc":""},"apiVersionSuffix":"8c8d5c4c_d8f1_4863_abd4_cd331d4170a7_p_55"}],"details":"init | <EF>1","elapsed_time":75,"f":"pageview","ia":1,"jstimestamp":1789112460684,"jstzoffset":0,"ls":{"fd":122,"fs":1264,"rb":0,"vm":2},"nl":"en-US","referrer":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","s":"https://cadmus.script.ac/dy5zgrznaumwk/script.js","tml":29383,"topLocation":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","version":"4.29.36-aq-8c8d5c4c_d8f1_4863_abd4_cd331d4170a7_p_55"},"filter":"||clean.gg^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://i.clean.gg/1a"},{"data":{"body":{},"filter":"||clean.gg^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://i.clean.gg/1a"},{"data":{"body":{},"filter":"||doubleclick.net^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://securepubads.g.doubleclick.net/pagead/managed/js/gpt/m202609040101/pubads_impl.js"},{"data":{"body":{},"filter":"||smartadserver.com^$third-party,domain=~smartadserver.de","listName":"easylist.txt","query":{"cklb":1,"gdpr":1,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","nwid":3905,"url":"https://af.pubmine.com/user-sync?pid=[sas_uid]"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://sync.smartadserver.com/getuid?nwid=3905&url=https://af.pubmine.com/user-sync?pid=[sas_uid]&gdpr=1&gdpr_consent=CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA&cklb=1"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.9807650886887709,"v":"wpcom-no-pv","x_wordads_smart":"inline_no_insert"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_wordads_smart=inline_no_insert&v=wpcom-no-pv&rand=0.9807650886887709"},{"data":{"body":{},"filter":"||smartadserver.com^$third-party,domain=~smartadserver.de","listName":"easylist.txt","query":{"gdpr":1,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","nwid":3905,"url":"https://af.pubmine.com/user-sync?pid=[sas_uid]"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://sync.smartadserver.com/getuid?nwid=3905&url=https://af.pubmine.com/user-sync?pid=[sas_uid]&gdpr=1&gdpr_consent=CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA"},{"data":{"body":{"ad":{"format":"bottom_sticky","max_height":50,"max_width":320,"tag":"wordads-ad-642616"},"site":{"id":"1771533","is_wordads":false,"language":"en","page":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/"},"user":{"gdpr":true,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","uid":"","us_privacy":"1---"}},"filter":"||pubmine.com^","listName":"easylist.txt","query":{"api_version":2}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://af.pubmine.com/?api_version=2"},{"data":{"body":{"ad":{"format":"gutenberg_rectangle","max_height":250,"max_width":300,"tag":"atatags-370373-6aa3b08b3fa3f"},"site":{"id":"1771533","is_wordads":false,"language":"en","page":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/"},"user":{"gdpr":true,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","uid":"","us_privacy":"1---"}},"filter":"||pubmine.com^","listName":"easylist.txt","query":{"api_version":2}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://af.pubmine.com/?api_version=2"},{"data":{"body":{},"filter":"||doubleclick.net^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://securepubads.g.doubleclick.net/tag/js/gpt.js"},{"data":{"body":{},"filter":"/prebid/*$script","listName":"easylist.txt","query":{"fork":1,"modules":"WyIzM2Fjcm9zc0JpZEFkYXB0ZXIiLCIzM2Fjcm9zc0lkU3lzdGVtIiwiYWRhZ2lvQmlkQWRhcHRlciIsImFkaXR1ZGUiLCJhZHlvdWxpa2VCaWRBZGFwdGVyIiwiYWxsb3dBY3Rpdml0aWVzIiwiYXBwbmV4dXNCaWRBZGFwdGVyIiwiYXRzQW5hbHl0aWNzQWRhcHRlciIsImNvbnNlbnRNYW5hZ2VtZW50IiwiY29uc2VudE1hbmFnZW1lbnRHcHAiLCJjb25zZW50TWFuYWdlbWVudFVzcCIsImNyaXRlb0JpZEFkYXB0ZXIiLCJjcml0ZW9JZFN5c3RlbSIsImVucmljaG1lbnRGcGRNb2R1bGUiLCJnZHByRW5mb3JjZW1lbnQiLCJncHRQcmVBdWN0aW9uIiwiZ3JpZEJpZEFkYXB0ZXIiLCJndW1ndW1CaWRBZGFwdGVyIiwiaWQ1SWRTeXN0ZW0iLCJpZGVudGl0eUxpbmtJZFN5c3RlbSIsImluc3RpY2F0b3JCaWRBZGFwdGVyIiwiaXhCaWRBZGFwdGVyIiwibWVkaWFuZXRCaWRBZGFwdGVyIiwibXNmdEJpZEFkYXB0ZXIiLCJuYXRpdm9CaWRBZGFwdGVyIiwib3BlbnhCaWRBZGFwdGVyIiwicGFpcklkU3lzdGVtIiwicHJlYmlkU2VydmVyQmlkQWRhcHRlciIsInByaWNlRmxvb3JzIiwicHViUHJvdmlkZWRJZFN5c3RlbSIsInB1Ym1hdGljQmlkQWRhcHRlciIsInJ1Ymljb25CaWRBZGFwdGVyIiwic2VlZHRhZ0JpZEFkYXB0ZXIiLCJzaGFyZWRJZFN5c3RlbSIsInNtYXJ0YWRzZXJ2ZXJCaWRBZGFwdGVyIiwic29ub2JpQmlkQWRhcHRlciIsInRyaXBsZWxpZnRCaWRBZGFwdGVyIiwidW5pZmllZElkU3lzdGVtIl0=","v":"f2dba3e603b0e0c28e982d3e1b2b15f1","var":"tudePbjs"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://edge.aditude.io/prebid/9.19.0.js?var=tudePbjs&fork=1&v=f2dba3e603b0e0c28e982d3e1b2b15f1&modules=WyIzM2Fjcm9zc0JpZEFkYXB0ZXIiLCIzM2Fjcm9zc0lkU3lzdGVtIiwiYWRhZ2lvQmlkQWRhcHRlciIsImFkaXR1ZGUiLCJhZHlvdWxpa2VCaWRBZGFwdGVyIiwiYWxsb3dBY3Rpdml0aWVzIiwiYXBwbmV4dXNCaWRBZGFwdGVyIiwiYXRzQW5hbHl0aWNzQWRhcHRlciIsImNvbnNlbnRNYW5hZ2VtZW50IiwiY29uc2VudE1hbmFnZW1lbnRHcHAiLCJjb25zZW50TWFuYWdlbWVudFVzcCIsImNyaXRlb0JpZEFkYXB0ZXIiLCJjcml0ZW9JZFN5c3RlbSIsImVucmljaG1lbnRGcGRNb2R1bGUiLCJnZHByRW5mb3JjZW1lbnQiLCJncHRQcmVBdWN0aW9uIiwiZ3JpZEJpZEFkYXB0ZXIiLCJndW1ndW1CaWRBZGFwdGVyIiwiaWQ1SWRTeXN0ZW0iLCJpZGVudGl0eUxpbmtJZFN5c3RlbSIsImluc3RpY2F0b3JCaWRBZGFwdGVyIiwiaXhCaWRBZGFwdGVyIiwibWVkaWFuZXRCaWRBZGFwdGVyIiwibXNmdEJpZEFkYXB0ZXIiLCJuYXRpdm9CaWRBZGFwdGVyIiwib3BlbnhCaWRBZGFwdGVyIiwicGFpcklkU3lzdGVtIiwicHJlYmlkU2VydmVyQmlkQWRhcHRlciIsInByaWNlRmxvb3JzIiwicHViUHJvdmlkZWRJZFN5c3RlbSIsInB1Ym1hdGljQmlkQWRhcHRlciIsInJ1Ymljb25CaWRBZGFwdGVyIiwic2VlZHRhZ0JpZEFkYXB0ZXIiLCJzaGFyZWRJZFN5c3RlbSIsInNtYXJ0YWRzZXJ2ZXJCaWRBZGFwdGVyIiwic29ub2JpQmlkQWRhcHRlciIsInRyaXBsZWxpZnRCaWRBZGFwdGVyIiwidW5pZmllZElkU3lzdGVtIl0%3D"},{"data":{"body":{},"filter":"||dn0qt3r0xannq.cloudfront.net^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://dn0qt3r0xannq.cloudfront.net/wordpress-2Pvwql52OT/wordpress-longform/prebid-wrapper.js"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"aip":1,"utmac":"UA-52447-2","utmcc":"__utma=11735858.2112568070.1789112460.1789112460.1789112460.1;+__utmz=11735858.1789112460.1.1.utmcsr=(direct)|utmccn=(direct)|utmcmd=(none);","utmcs":"UTF-8","utmdt":"IsarMathLib version 1.12.0: topological groups and uniformities – Formalized Mathematics","utmfl":"-","utmhid":648242988,"utmhn":"slawekk.wordpress.com","utmht":1789112460262,"utmje":0,"utmjid":1107536951,"utmn":1134418659,"utmp":"/2020/05/05/isarmathlib-version-1-12-0/","utmr":"-","utmredir":1,"utms":1,"utmsc":"24-bit","utmsr":"390x844","utmu":"uBQAAAAAAAAAAAAAAAAAAAAE~","utmul":"en-us","utmvp":"390x844","utmwv":"5.7.2"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://ssl.google-analytics.com/j/__utm.gif?utmwv=5.7.2&utms=1&utmn=1134418659&utmhn=slawekk.wordpress.com&utmcs=UTF-8&utmsr=390x844&utmvp=390x844&utmsc=24-bit&utmul=en-us&utmje=0&utmfl=-&utmdt=IsarMathLib%20version%201.12.0%3A%20topological%20groups%20and%20uniformities%20%E2%80%93%20Formalized%20Mathematics&utmhid=648242988&utmr=-&utmp=%2F2020%2F05%2F05%2Fisarmathlib-version-1-12-0%2F&utmht=1789112460262&utmac=UA-52447-2&utmcc=__utma%3D11735858.2112568070.1789112460.1789112460.1789112460.1%3B%2B__utmz%3D11735858.1789112460.1.1.utmcsr%3D(direct)%7Cutmccn%3D(direct)%7Cutmcmd%3D(none)%3B&aip=1&utmjid=1107536951&utmredir=1&utmu=uBQAAAAAAAAAAAAAAAAAAAAE~"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.3516005789540886,"v":"wpcom-no-pv","x_wordads_cmp_view":"no_cookie"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_wordads_cmp_view=no_cookie&v=wpcom-no-pv&rand=0.3516005789540886"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"_":"_","_dl":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","_dr":"","_en":"wpcom_marketing_bar_impression","_ht":844,"_lg":"en-US","_pf":"Linux x86_64","_rt":1789112460077,"_sx":0,"_sy":0,"_ts":1789112460068,"_tz":0,"_ui":"522w15M5Wd3dAjuHLsk/e/LL","_ut":"anon","_wd":390,"blog_id":1771533,"blog_lang":"en","blog_tz":0,"is_current_user_blog_owner":false,"user_id":0,"user_lang":"en"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/t.gif?is_current_user_blog_owner=false&_en=wpcom_marketing_bar_impression&_ui=522w15M5Wd3dAjuHLsk%2Fe%2FLL&_ut=anon&_ts=1789112460068&_tz=0&_lg=en-US&_pf=Linux%20x86_64&_ht=844&_wd=390&_sx=0&_sy=0&_dl=https%3A%2F%2Fslawekk.wordpress.com%2F2020%2F05%2F05%2Fisarmathlib-version-1-12-0%2F&_dr=&blog_id=1771533&blog_tz=0&user_lang=en&blog_lang=en&user_id=0&_rt=1789112460077&_=_"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"crypt":"UE5XaGUuOTlwaD85flAmcm1mcmZsaDhkV11YdWFnNncxc1tjZG9XVXhRZS03JixUXy5Sc1NlcUZteXlfNHhuQS9QS01oblYzRFkuPz94WThsZlk5X2VOQ19HUytKUD9EUEUwW2s3cEhSSExfNHFMajN0aXo3WkdXZ1pTLVZyUSs2RC1IeFVpREh4Ulo/QzFob0lnWUdBMDh2R3oyYS9EazNRUm1EMW0raWYwX0gtUV1sbV10cGJCUmpVfj1HWV9CeTRMR2xiUzBvb3ZLLjlacz8/SFJKTDh0bldJaHFlLTdmNVRRdUxFdGJ8RGplfDNETTNPTTJKW0xzSEVqbmJWOGRWYWQtOXNhRjdqbUgvXWlMSU95WFVXL01NWXZrNDliakxkY0lKWS0yUm01JVlwcC1QU0tUbUJpTE9ndTFtUXAvK1NyNlFBQUZhSWZCVmwrS1g4U3pXZDhDbl9TTlRXQmNMc1B+RWxMYQ==","rand":0.29719563254275405,"v":"wpcom-no-pv"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?crypt=UE5XaGUuOTlwaD85flAmcm1mcmZsaDhkV11YdWFnNncxc1tjZG9XVXhRZS03JixUXy5Sc1NlcUZteXlfNHhuQS9QS01oblYzRFkuPz94WThsZlk5X2VOQ19HUytKUD9EUEUwW2s3cEhSSExfNHFMajN0aXo3WkdXZ1pTLVZyUSs2RC1IeFVpREh4Ulo%2FQzFob0lnWUdBMDh2R3oyYS9EazNRUm1EMW0raWYwX0gtUV1sbV10cGJCUmpVfj1HWV9CeTRMR2xiUzBvb3ZLLjlacz8%2FSFJKTDh0bldJaHFlLTdmNVRRdUxFdGJ8RGplfDNETTNPTTJKW0xzSEVqbmJWOGRWYWQtOXNhRjdqbUgvXWlMSU95WFVXL01NWXZrNDliakxkY0lKWS0yUm01JVlwcC1QU0tUbUJpTE9ndTFtUXAvK1NyNlFBQUZhSWZCVmwrS1g4U3pXZDhDbl9TTlRXQmNMc1B%2BRWxMYQ%3D%3D&v=wpcom-no-pv&rand=0.29719563254275405"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"blog":1771533,"host":"slawekk.wordpress.com","post":1189,"rand":0.4303336042219814,"ref":"","subd":"slawekk","tz":0,"user_id":0,"v":"wpcom"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?blog=1771533&v=wpcom&tz=0&user_id=0&post=1189&subd=slawekk&host=slawekk.wordpress.com&ref=&rand=0.4303336042219814"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.543390644397248,"v":"wpcom-no-pv","x_stats-initial-visibility":"visible"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_stats-initial-visibility=visible&v=wpcom-no-pv&rand=0.543390644397248"},{"data":{"body":{},"filter":"||dn0qt3r0xannq.cloudfront.net^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://dn0qt3r0xannq.cloudfront.net/wordpress-2Pvwql52OT/wordpress-longform/prebid-load.js"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://ssl.google-analytics.com/ga.js"},{"data":{"body":{},"filter":"||stats.wp.com^","listName":"easyprivacy.txt","query":{"69":""}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://stats.wp.com/w.js?69"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"batcache_hit":0,"bilmur":1,"cls":0.006,"custom_props":{"logged_in":"0","wptheme":"pub/minileven","wptheme_is_block":"0"},"downlink":10000,"edge_dc":"cdg","edge_dur":287,"edge_status":"MISS","fcp":603,"fcp_raw":603,"fp_raw":603,"full_path":"/2014/09/19/binary-comprehensions-in-erlang/","lcp":603,"lcp_raw":603,"lcp_sel":"#post-1037>div.entry-content>p","lcp_type":"text","nav_type":"navigate","nt":"2--____6_6_6_6_6_5_8_8e_91_8v_k7_md_o0_1vp_1vt_1yk--0_0_0_--h2","provider":"wordpress.com","reporter":"fetchLater","rtt":50,"service":"simple","site_host":"slawekk.wordpress.com","site_path":"/2014/09/19/binary-comprehensions-in-erlang/","site_tz":"Etc/GMT-0","ttfb":302,"version":"4.5.0"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2020/05/05/isarmathlib-version-1-12-0/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/boom.gif?bilmur=1&batcache_hit=0&provider=wordpress.com&service=simple&site_tz=Etc%2FGMT-0&custom_props=%7B%22logged_in%22%3A%220%22%2C%22wptheme%22%3A%22pub%2Fminileven%22%2C%22wptheme_is_block%22%3A%220%22%7D&rtt=50&downlink=10000&site_host=slawekk.wordpress.com&site_path=%2F2014%2F09%2F19%2Fbinary-comprehensions-in-erlang%2F&full_path=%2F2014%2F09%2F19%2Fbinary-comprehensions-in-erlang%2F&version=4.5.0&edge_dc=cdg&edge_status=MISS&edge_dur=287&nt=2--____6_6_6_6_6_5_8_8e_91_8v_k7_md_o0_1vp_1vt_1yk--0_0_0_--h2&reporter=fetchLater&fcp=603&fcp_raw=603&fp_raw=603&lcp=603&lcp_raw=603&lcp_sel=%23post-1037%3Ediv.entry-content%3Ep&lcp_type=text&cls=0.006&ttfb=302&nav_type=navigate"},{"data":{"body":{"cb":1,"gdprc":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","gdpre":1,"gdprl":{"status":"tcfv2-success"},"pid":"JlFDwywzcuLsf","pj":{"device":{"sua":{"browsers":[],"mobile":0,"platform":{"brand":""},"source":1}}},"pubid":"67e3348c-5907-44ad-ab39-d2ac1369f437","regs":{"coppa":0},"rt":"j","sf":1,"sg":{"ortb2":{}},"slots":[{"banner":{"pos":3},"ext":{"gpid":"/22360860229/wordpress_Aditude_Mobile_inline#wordads-ad-97355","tid":"e2a26f80-0ceb-4048-a6d7-616dc34ac272"},"s":["300x250","320x50","320x100","234x60"],"sd":"wordads-ad-97355","sn":"/22360860229/wordpress_Aditude_Mobile_inline"}],"source":{"tid":"fe726a84-805e-430e-a740-3fb9f3e4c009"},"src":600,"t":3502,"u":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","v":"26.910.1229","ws":"390x844"},"filter":"||amazon-adsystem.com^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://web-banner.ads.aps.amazon-adsystem.com/e/dtb/bid"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"_":"_","_dl":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","_dr":"","_en":"wpcom_wordads_adflow","_ht":844,"_lg":"en-US","_pf":"Linux x86_64","_rt":1789112458389,"_sx":0,"_sy":750,"_ts":1789112458382,"_tz":0,"_ui":"fH1k7tFD7CYgP1fu5zQTrehV","_ut":"anon","_wd":390,"ad_type":"inline","blog_id":1771533,"blog_lang":"en","blog_tz":0,"connection_downlink":10,"connection_effective_type":"4g","has_ad":true,"request_time":113,"theme":"pub/minileven","user_id":0,"user_lang":"en"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/t.gif?has_ad=true&ad_type=inline&request_time=113&theme=pub%2Fminileven&connection_effective_type=4g&connection_downlink=10&_en=wpcom_wordads_adflow&_ui=fH1k7tFD7CYgP1fu5zQTrehV&_ut=anon&_ts=1789112458382&_tz=0&_lg=en-US&_pf=Linux%20x86_64&_ht=844&_wd=390&_sx=0&_sy=750&_dl=https%3A%2F%2Fslawekk.wordpress.com%2F2014%2F09%2F19%2Fbinary-comprehensions-in-erlang%2F&_dr=&blog_id=1771533&blog_tz=0&user_lang=en&blog_lang=en&user_id=0&_rt=1789112458389&_=_"},{"data":{"body":{},"filter":"||smartadserver.com^$third-party,domain=~smartadserver.de","listName":"easylist.txt","query":{"acd":1789112458286,"bldv":22745,"ckid":0,"ctsrcid":1771533,"envtype":1,"fmtid":110354,"gdpr":1,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","opdt":1789112458286,"opid":"bd356fb8-6740-4b5c-b4d4-308cc146809f","oppid":"bd356fb8-6740-4b5c-b4d4-308cc146809f","pgid":1572546,"reqdt":1789112458286,"reqid":"ada3594f-dd9e-4c90-88a3-82e141dfa33c","siteid":474853,"srcfn":"diff","statid":1,"systgt":"$qc=0;$ql=Unknown;$qt=184_1411_0t;$dma=0;$qo=5;$b=14150;$o=22150;$sw=320;$sh=480;$mdwi=320t;$mdhi=480t;$wpc=8855,8843,32133,11431,11441,44633,43302,43236,43289,1897,1901,1905,1906,1909,5180,4234,3962,3607,3710,3703,3440,3602,3599,3493,12554,12533,18382,18005,18104,36563,36565,38194,38229,38894,38911,39003,38918,39079,39450,38922,39097,40861,40862,40866,42909,42916,42915,42922,42924,42925,72164,73098,73327,73328,73361,73369,73286,73256,73557,73237,73474,73903,73241,73592,74114,74115,74148,74147,76261,76306,76344,76379,76385,76386,76444,76446,76448,76447,76449,76479,76480,76516,76517,76578,76595,76691,76701,76702,76703,76704,7900,8128,8260,8197,8644,8129,8142,8646,8130,8259,8643,7983,8261,8258,8645,74033,72304,19017,18964,19023,19026,19028,19024,20329,18971,19030,19033,19035,18965,19045,19049,19052,18980,19054,19057,20019,18968,19065,19069,18990,19074,19797,20223,19147,19168,19151,19171,19160,19180,19155,19175,19164,19183,19194,19187,19202,19021,19938,18973,19037,19039,19127,19042,19119,19121,19130,19122,18981,19061,19128,19198,19063,19192,19200,19193,19150,19170,19153,19174,19162,18993,19181,19082,19158,19178,19166,19185,19196,19190,72207,19205,20220,19658,72255,20244,19019,19086,21050,19002,30017,30018,21051,21052,21053,21054,21055,21056,21057,21058,21059,21060,21061,21088,21089,20922,20925,20948,20957,20276,20954,20956,20279,21069,20569,20958,20357,20926,20440,21031,21512,21507,21499,21506,21471,21514,21587,21593,21585,21594,21586,21584,23010,22930,30024,30022,30023,32078,30861,36528,36529,36411,40137,40829,43762,40826,76884,76885,40174,40141,42233,44268,42290,44493,73215,40163,76744,44491,40831,40164,43197,76886,31476,31121,31519,31354,31268,31405,31552,31529,44013,44043,44066,44098,44104,44063,44065,44064,44062,43987,44049,43927,43905,44101,43945,43971,43966,44077,43944,43893,43889,43933,44109,44003,43998,44089,44086,44058,44057,44056,44055,44054,44052,43981,43980,43901,43956,43920,43900,44046,44045,43883,43879,43951,44073,43940,43929,44036,43941,44030,44025,44023,44092,44093,44674,44675,30325,41170,68517,68838,68380,68536,68855,69149,69288,69317,26026,25426,25825,29987,25979,25980,25859,29527,29524,43468,25843,74925,75465,75751,75752,75753,75754,75755,75756,75757,75758,75760,75761,75762,75763,75764,75765,75766,75767,75768,75769,75770,75771,75778,75779,75780,75781,75782,75783,75784,75785,75786,75787,75788,75789,75790,75791,75792,75793,75794,75795,75797,75798,75799,75800,75801,75802,75803,75804,75806,75807,75808,75809,75810,75811,75812,75818,75819,75996,43776,43775","tgt":"max_height=250;brand_safety=1;wp_blog_id=1771533;language=en;max_width=320;$dt=2t;$mv=applet;$mm=205202t;$mdw=320;$mdh=480;$mdt=2t;$mct=1t","tmstp":1789112458,"uii":4439875306500851700,"visit":"s"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://euw1.smartadserver.com/h/maip?uii=4439875306500851868&tmstp=1789112458&ckid=0&systgt=%24qc%3d0%3b%24ql%3dUnknown%3b%24qt%3d184_1411_0t%3b%24dma%3d0%3b%24qo%3d5%3b%24b%3d14150%3b%24o%3d22150%3b%24sw%3d320%3b%24sh%3d480%3b%24mdwi%3d320t%3b%24mdhi%3d480t%3b%24wpc%3d8855%2c8843%2c32133%2c11431%2c11441%2c44633%2c43302%2c43236%2c43289%2c1897%2c1901%2c1905%2c1906%2c1909%2c5180%2c4234%2c3962%2c3607%2c3710%2c3703%2c3440%2c3602%2c3599%2c3493%2c12554%2c12533%2c18382%2c18005%2c18104%2c36563%2c36565%2c38194%2c38229%2c38894%2c38911%2c39003%2c38918%2c39079%2c39450%2c38922%2c39097%2c40861%2c40862%2c40866%2c42909%2c42916%2c42915%2c42922%2c42924%2c42925%2c72164%2c73098%2c73327%2c73328%2c73361%2c73369%2c73286%2c73256%2c73557%2c73237%2c73474%2c73903%2c73241%2c73592%2c74114%2c74115%2c74148%2c74147%2c76261%2c76306%2c76344%2c76379%2c76385%2c76386%2c76444%2c76446%2c76448%2c76447%2c76449%2c76479%2c76480%2c76516%2c76517%2c76578%2c76595%2c76691%2c76701%2c76702%2c76703%2c76704%2c7900%2c8128%2c8260%2c8197%2c8644%2c8129%2c8142%2c8646%2c8130%2c8259%2c8643%2c7983%2c8261%2c8258%2c8645%2c74033%2c72304%2c19017%2c18964%2c19023%2c19026%2c19028%2c19024%2c20329%2c18971%2c19030%2c19033%2c19035%2c18965%2c19045%2c19049%2c19052%2c18980%2c19054%2c19057%2c20019%2c18968%2c19065%2c19069%2c18990%2c19074%2c19797%2c20223%2c19147%2c19168%2c19151%2c19171%2c19160%2c19180%2c19155%2c19175%2c19164%2c19183%2c19194%2c19187%2c19202%2c19021%2c19938%2c18973%2c19037%2c19039%2c19127%2c19042%2c19119%2c19121%2c19130%2c19122%2c18981%2c19061%2c19128%2c19198%2c19063%2c19192%2c19200%2c19193%2c19150%2c19170%2c19153%2c19174%2c19162%2c18993%2c19181%2c19082%2c19158%2c19178%2c19166%2c19185%2c19196%2c19190%2c72207%2c19205%2c20220%2c19658%2c72255%2c20244%2c19019%2c19086%2c21050%2c19002%2c30017%2c30018%2c21051%2c21052%2c21053%2c21054%2c21055%2c21056%2c21057%2c21058%2c21059%2c21060%2c21061%2c21088%2c21089%2c20922%2c20925%2c20948%2c20957%2c20276%2c20954%2c20956%2c20279%2c21069%2c20569%2c20958%2c20357%2c20926%2c20440%2c21031%2c21512%2c21507%2c21499%2c21506%2c21471%2c21514%2c21587%2c21593%2c21585%2c21594%2c21586%2c21584%2c23010%2c22930%2c30024%2c30022%2c30023%2c32078%2c30861%2c36528%2c36529%2c36411%2c40137%2c40829%2c43762%2c40826%2c76884%2c76885%2c40174%2c40141%2c42233%2c44268%2c42290%2c44493%2c73215%2c40163%2c76744%2c44491%2c40831%2c40164%2c43197%2c76886%2c31476%2c31121%2c31519%2c31354%2c31268%2c31405%2c31552%2c31529%2c44013%2c44043%2c44066%2c44098%2c44104%2c44063%2c44065%2c44064%2c44062%2c43987%2c44049%2c43927%2c43905%2c44101%2c43945%2c43971%2c43966%2c44077%2c43944%2c43893%2c43889%2c43933%2c44109%2c44003%2c43998%2c44089%2c44086%2c44058%2c44057%2c44056%2c44055%2c44054%2c44052%2c43981%2c43980%2c43901%2c43956%2c43920%2c43900%2c44046%2c44045%2c43883%2c43879%2c43951%2c44073%2c43940%2c43929%2c44036%2c43941%2c44030%2c44025%2c44023%2c44092%2c44093%2c44674%2c44675%2c30325%2c41170%2c68517%2c68838%2c68380%2c68536%2c68855%2c69149%2c69288%2c69317%2c26026%2c25426%2c25825%2c29987%2c25979%2c25980%2c25859%2c29527%2c29524%2c43468%2c25843%2c74925%2c75465%2c75751%2c75752%2c75753%2c75754%2c75755%2c75756%2c75757%2c75758%2c75760%2c75761%2c75762%2c75763%2c75764%2c75765%2c75766%2c75767%2c75768%2c75769%2c75770%2c75771%2c75778%2c75779%2c75780%2c75781%2c75782%2c75783%2c75784%2c75785%2c75786%2c75787%2c75788%2c75789%2c75790%2c75791%2c75792%2c75793%2c75794%2c75795%2c75797%2c75798%2c75799%2c75800%2c75801%2c75802%2c75803%2c75804%2c75806%2c75807%2c75808%2c75809%2c75810%2c75811%2c75812%2c75818%2c75819%2c75996%2c43776%2c43775&acd=1789112458286&envtype=1&siteid=474853&tgt=max_height%3d250%3bbrand_safety%3d1%3bwp_blog_id%3d1771533%3blanguage%3den%3bmax_width%3d320%3b%24dt%3d2t%3b%24mv%3dapplet%3b%24mm%3d205202t%3b%24mdw%3d320%3b%24mdh%3d480%3b%24mdt%3d2t%3b%24mct%3d1t&gdpr=1&gdpr_consent=CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA&ctsrcid=1771533&opid=bd356fb8-6740-4b5c-b4d4-308cc146809f&opdt=1789112458286&bldv=22745&srcfn=diff&reqid=ada3594f-dd9e-4c90-88a3-82e141dfa33c&reqdt=1789112458286&oppid=bd356fb8-6740-4b5c-b4d4-308cc146809f&pgid=1572546&fmtid=110354&statid=1&visit=s"},{"data":{"body":{"ad":{"format":"inline","max_height":250,"max_width":320,"tag":"wordads-ad-97355"},"site":{"id":"1771533","is_wordads":false,"language":"en","page":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/"},"user":{"gdpr":true,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","uid":"","us_privacy":"1---"}},"filter":"||pubmine.com^","listName":"easylist.txt","query":{"api_version":2}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://af.pubmine.com/?api_version=2"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.22305091665059207,"v":"wpcom-no-pv","x_wordads_smart":"noad_inline"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_wordads_smart=noad_inline&v=wpcom-no-pv&rand=0.22305091665059207"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.46640530558864324,"v":"wpcom-no-pv","x_wordads_smart":"noad_bottom_sticky"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_wordads_smart=noad_bottom_sticky&v=wpcom-no-pv&rand=0.46640530558864324"},{"data":{"body":[[],[4,"m202609040101",[95401326,95340252,95340254]],[[{"1":["ewzMSe",null,[null,1],[[null,2]]]}]]],"filter":"||pagead2.googlesyndication.com^","listName":"easylist.txt","query":{"e":1}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pagead2.googlesyndication.com/pagead/ping?e=1"},{"data":{"body":{"cb":0,"gdprc":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","gdpre":1,"gdprl":{"status":"tcfv2-success"},"pid":"JlFDwywzcuLsf","pubid":"67e3348c-5907-44ad-ab39-d2ac1369f437","regs":{"coppa":0},"rt":"j","sf":1,"sg":{"ortb2":{}},"slots":[{"banner":{"pos":1},"ext":{"gpid":"/22360860229/wordpress_Aditude_Mobile_bottom_sticky#wordads-ad-618764","tid":"8ca789af-153e-46de-bd4b-e64999c85c4e"},"s":["468x60","320x50","234x60"],"sd":"wordads-ad-618764","sn":"/22360860229/wordpress_Aditude_Mobile_bottom_sticky"},{"banner":{"pos":3},"ext":{"gpid":"/22360860229/wordpress_Aditude_Mobile_inline#wordads-ad-169844","tid":"ccbfcf96-e248-422c-9451-9da90c3efefc"},"s":["300x250","320x50","320x100","234x60"],"sd":"wordads-ad-169844","sn":"/22360860229/wordpress_Aditude_Mobile_inline"}],"source":{"tid":"0c0ca702-ce11-4ecf-a745-9d7c34756b7d"},"src":600,"t":3502,"u":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","v":"26.910.1229","ws":"390x844"},"filter":"||amazon-adsystem.com^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://web-banner.ads.aps.amazon-adsystem.com/e/dtb/bid"},{"data":{"body":{},"filter":"||amazon-adsystem.com^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://c.amazon-adsystem.com/bao-csm/aps-comm/aps_csm.js"},{"data":{"body":{},"filter":"||amazon-adsystem.com^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://config.aps.amazon-adsystem.com/configs/67e3348c-5907-44ad-ab39-d2ac1369f437"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"_":"_","_dl":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","_dr":"","_en":"wpcom_wordads_adflow","_ht":844,"_lg":"en-US","_pf":"Linux x86_64","_rt":1789112451175,"_sx":0,"_sy":0,"_ts":1789112451168,"_tz":0,"_ui":"fH1k7tFD7CYgP1fu5zQTrehV","_ut":"anon","_wd":390,"ad_type":"inline","blog_id":1771533,"blog_lang":"en","blog_tz":0,"connection_downlink":10,"connection_effective_type":"4g","has_ad":true,"request_time":467,"theme":"pub/minileven","user_id":0,"user_lang":"en"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/t.gif?has_ad=true&ad_type=inline&request_time=467&theme=pub%2Fminileven&connection_effective_type=4g&connection_downlink=10&_en=wpcom_wordads_adflow&_ui=fH1k7tFD7CYgP1fu5zQTrehV&_ut=anon&_ts=1789112451168&_tz=0&_lg=en-US&_pf=Linux%20x86_64&_ht=844&_wd=390&_sx=0&_sy=0&_dl=https%3A%2F%2Fslawekk.wordpress.com%2F2014%2F09%2F19%2Fbinary-comprehensions-in-erlang%2F&_dr=&blog_id=1771533&blog_tz=0&user_lang=en&blog_lang=en&user_id=0&_rt=1789112451175&_=_"},{"data":{"body":{},"filter":"||smartadserver.com^$third-party,domain=~smartadserver.de","listName":"easylist.txt","query":{"acd":1789112450719,"bldv":22745,"ckid":0,"ctsrcid":1771533,"envtype":1,"fmtid":110354,"gdpr":1,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","opdt":1789112450718,"opid":"3dd4edfb-9e4b-4460-a41b-c053d57009a7","oppid":"3dd4edfb-9e4b-4460-a41b-c053d57009a7","pgid":1572546,"reqdt":1789112450718,"reqid":"b5e144d6-a963-4e75-842d-dfd0a1ac78e6","siteid":474853,"srcfn":"diff","statid":1,"systgt":"$qc=0;$ql=Unknown;$qt=184_1411_0t;$dma=0;$qo=5;$b=14150;$o=22150;$sw=320;$sh=480;$mdwi=320t;$mdhi=480t;$wpc=8855,8843,32133,11431,11441,44633,43302,43236,43289,1897,1901,1905,1906,1909,5180,4234,3962,3607,3710,3703,3440,3602,3599,3493,12554,12533,18382,18005,18104,36563,36565,38194,38229,38894,38911,39003,38918,39079,39450,38922,39097,40861,40862,40866,42909,42916,42915,42922,42924,42925,72164,73098,73327,73328,73361,73369,73286,73256,73557,73237,73474,73903,73241,73592,74114,74115,74148,74147,76261,76306,76344,76379,76385,76386,76444,76446,76448,76447,76449,76479,76480,76516,76517,76578,76595,76691,76701,76702,76703,76704,7900,8128,8260,8197,8644,8129,8142,8646,8130,8259,8643,7983,8261,8258,8645,74033,72304,19017,18964,19023,19026,19028,19024,20329,18971,19030,19033,19035,18965,19045,19049,19052,18980,19054,19057,20019,18968,19065,19069,18990,19074,19797,20223,19147,19168,19151,19171,19160,19180,19155,19175,19164,19183,19194,19187,19202,19021,19938,18973,19037,19039,19127,19042,19119,19121,19130,19122,18981,19061,19128,19198,19063,19192,19200,19193,19150,19170,19153,19174,19162,18993,19181,19082,19158,19178,19166,19185,19196,19190,72207,19205,20220,19658,72255,20244,19019,19086,21050,19002,30017,30018,21051,21052,21053,21054,21055,21056,21057,21058,21059,21060,21061,21088,21089,20922,20925,20948,20957,20276,20954,20956,20279,21069,20569,20958,20357,20926,20440,21031,21512,21507,21499,21506,21471,21514,21587,21593,21585,21594,21586,21584,23010,22930,30024,30022,30023,32078,30861,36528,36529,36411,40137,40829,43762,40826,76884,76885,40174,40141,42233,44268,42290,44493,73215,40163,76744,44491,40831,40164,43197,76886,31476,31121,31519,31354,31268,31405,31552,31529,44013,44043,44066,44098,44104,44063,44065,44064,44062,43987,44049,43927,43905,44101,43945,43971,43966,44077,43944,43893,43889,43933,44109,44003,43998,44089,44086,44058,44057,44056,44055,44054,44052,43981,43980,43901,43956,43920,43900,44046,44045,43883,43879,43951,44073,43940,43929,44036,43941,44030,44025,44023,44092,44093,44674,44675,30325,41170,68517,68838,68380,68536,68855,69149,69288,69317,26026,25426,25825,29987,25979,25980,25859,29527,29524,43468,25843,74925,75465,75751,75752,75753,75754,75755,75756,75757,75758,75760,75761,75762,75763,75764,75765,75766,75767,75768,75769,75770,75771,75778,75779,75780,75781,75782,75783,75784,75785,75786,75787,75788,75789,75790,75791,75792,75793,75794,75795,75797,75798,75799,75800,75801,75802,75803,75804,75806,75807,75808,75809,75810,75811,75812,75818,75819,75996","tgt":"brand_safety=1;wp_blog_id=1771533;language=en;max_width=320;max_height=250;$dt=2t;$mv=applet;$mm=205202t;$mdw=320;$mdh=480;$mdt=2t;$mct=1t","tmstp":1789112450,"uii":8658656252576694000,"visit":"s"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://euw1.smartadserver.com/h/maip?uii=8658656252576693800&tmstp=1789112450&ckid=0&systgt=%24qc%3d0%3b%24ql%3dUnknown%3b%24qt%3d184_1411_0t%3b%24dma%3d0%3b%24qo%3d5%3b%24b%3d14150%3b%24o%3d22150%3b%24sw%3d320%3b%24sh%3d480%3b%24mdwi%3d320t%3b%24mdhi%3d480t%3b%24wpc%3d8855%2c8843%2c32133%2c11431%2c11441%2c44633%2c43302%2c43236%2c43289%2c1897%2c1901%2c1905%2c1906%2c1909%2c5180%2c4234%2c3962%2c3607%2c3710%2c3703%2c3440%2c3602%2c3599%2c3493%2c12554%2c12533%2c18382%2c18005%2c18104%2c36563%2c36565%2c38194%2c38229%2c38894%2c38911%2c39003%2c38918%2c39079%2c39450%2c38922%2c39097%2c40861%2c40862%2c40866%2c42909%2c42916%2c42915%2c42922%2c42924%2c42925%2c72164%2c73098%2c73327%2c73328%2c73361%2c73369%2c73286%2c73256%2c73557%2c73237%2c73474%2c73903%2c73241%2c73592%2c74114%2c74115%2c74148%2c74147%2c76261%2c76306%2c76344%2c76379%2c76385%2c76386%2c76444%2c76446%2c76448%2c76447%2c76449%2c76479%2c76480%2c76516%2c76517%2c76578%2c76595%2c76691%2c76701%2c76702%2c76703%2c76704%2c7900%2c8128%2c8260%2c8197%2c8644%2c8129%2c8142%2c8646%2c8130%2c8259%2c8643%2c7983%2c8261%2c8258%2c8645%2c74033%2c72304%2c19017%2c18964%2c19023%2c19026%2c19028%2c19024%2c20329%2c18971%2c19030%2c19033%2c19035%2c18965%2c19045%2c19049%2c19052%2c18980%2c19054%2c19057%2c20019%2c18968%2c19065%2c19069%2c18990%2c19074%2c19797%2c20223%2c19147%2c19168%2c19151%2c19171%2c19160%2c19180%2c19155%2c19175%2c19164%2c19183%2c19194%2c19187%2c19202%2c19021%2c19938%2c18973%2c19037%2c19039%2c19127%2c19042%2c19119%2c19121%2c19130%2c19122%2c18981%2c19061%2c19128%2c19198%2c19063%2c19192%2c19200%2c19193%2c19150%2c19170%2c19153%2c19174%2c19162%2c18993%2c19181%2c19082%2c19158%2c19178%2c19166%2c19185%2c19196%2c19190%2c72207%2c19205%2c20220%2c19658%2c72255%2c20244%2c19019%2c19086%2c21050%2c19002%2c30017%2c30018%2c21051%2c21052%2c21053%2c21054%2c21055%2c21056%2c21057%2c21058%2c21059%2c21060%2c21061%2c21088%2c21089%2c20922%2c20925%2c20948%2c20957%2c20276%2c20954%2c20956%2c20279%2c21069%2c20569%2c20958%2c20357%2c20926%2c20440%2c21031%2c21512%2c21507%2c21499%2c21506%2c21471%2c21514%2c21587%2c21593%2c21585%2c21594%2c21586%2c21584%2c23010%2c22930%2c30024%2c30022%2c30023%2c32078%2c30861%2c36528%2c36529%2c36411%2c40137%2c40829%2c43762%2c40826%2c76884%2c76885%2c40174%2c40141%2c42233%2c44268%2c42290%2c44493%2c73215%2c40163%2c76744%2c44491%2c40831%2c40164%2c43197%2c76886%2c31476%2c31121%2c31519%2c31354%2c31268%2c31405%2c31552%2c31529%2c44013%2c44043%2c44066%2c44098%2c44104%2c44063%2c44065%2c44064%2c44062%2c43987%2c44049%2c43927%2c43905%2c44101%2c43945%2c43971%2c43966%2c44077%2c43944%2c43893%2c43889%2c43933%2c44109%2c44003%2c43998%2c44089%2c44086%2c44058%2c44057%2c44056%2c44055%2c44054%2c44052%2c43981%2c43980%2c43901%2c43956%2c43920%2c43900%2c44046%2c44045%2c43883%2c43879%2c43951%2c44073%2c43940%2c43929%2c44036%2c43941%2c44030%2c44025%2c44023%2c44092%2c44093%2c44674%2c44675%2c30325%2c41170%2c68517%2c68838%2c68380%2c68536%2c68855%2c69149%2c69288%2c69317%2c26026%2c25426%2c25825%2c29987%2c25979%2c25980%2c25859%2c29527%2c29524%2c43468%2c25843%2c74925%2c75465%2c75751%2c75752%2c75753%2c75754%2c75755%2c75756%2c75757%2c75758%2c75760%2c75761%2c75762%2c75763%2c75764%2c75765%2c75766%2c75767%2c75768%2c75769%2c75770%2c75771%2c75778%2c75779%2c75780%2c75781%2c75782%2c75783%2c75784%2c75785%2c75786%2c75787%2c75788%2c75789%2c75790%2c75791%2c75792%2c75793%2c75794%2c75795%2c75797%2c75798%2c75799%2c75800%2c75801%2c75802%2c75803%2c75804%2c75806%2c75807%2c75808%2c75809%2c75810%2c75811%2c75812%2c75818%2c75819%2c75996&acd=1789112450719&envtype=1&siteid=474853&tgt=brand_safety%3d1%3bwp_blog_id%3d1771533%3blanguage%3den%3bmax_width%3d320%3bmax_height%3d250%3b%24dt%3d2t%3b%24mv%3dapplet%3b%24mm%3d205202t%3b%24mdw%3d320%3b%24mdh%3d480%3b%24mdt%3d2t%3b%24mct%3d1t&gdpr=1&gdpr_consent=CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA&ctsrcid=1771533&opid=3dd4edfb-9e4b-4460-a41b-c053d57009a7&opdt=1789112450718&bldv=22745&srcfn=diff&reqid=b5e144d6-a963-4e75-842d-dfd0a1ac78e6&reqdt=1789112450718&oppid=3dd4edfb-9e4b-4460-a41b-c053d57009a7&pgid=1572546&fmtid=110354&statid=1&visit=s"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"_":"_","_dl":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","_dr":"","_en":"wpcom_wordads_adflow","_ht":844,"_lg":"en-US","_pf":"Linux x86_64","_rt":1789112451085,"_sx":0,"_sy":0,"_ts":1789112451075,"_tz":0,"_ui":"fH1k7tFD7CYgP1fu5zQTrehV","_ut":"anon","_wd":390,"ad_type":"bottom_sticky","blog_id":1771533,"blog_lang":"en","blog_tz":0,"connection_downlink":10,"connection_effective_type":"4g","has_ad":true,"request_time":366,"theme":"pub/minileven","user_id":0,"user_lang":"en"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/t.gif?has_ad=true&ad_type=bottom_sticky&request_time=366&theme=pub%2Fminileven&connection_effective_type=4g&connection_downlink=10&_en=wpcom_wordads_adflow&_ui=fH1k7tFD7CYgP1fu5zQTrehV&_ut=anon&_ts=1789112451075&_tz=0&_lg=en-US&_pf=Linux%20x86_64&_ht=844&_wd=390&_sx=0&_sy=0&_dl=https%3A%2F%2Fslawekk.wordpress.com%2F2014%2F09%2F19%2Fbinary-comprehensions-in-erlang%2F&_dr=&blog_id=1771533&blog_tz=0&user_lang=en&blog_lang=en&user_id=0&_rt=1789112451085&_=_"},{"data":{"body":{},"filter":"||amazon-adsystem.com^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://c.amazon-adsystem.com/aax2/apstag.js"},{"data":{"body":{},"filter":"||doubleclick.net^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://securepubads.g.doubleclick.net/pagead/managed/js/gpt/m202609040101/pubads_impl.js"},{"data":{"body":{},"filter":"||clean.gg^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://i.clean.gg/1a"},{"data":{"body":{"action_group_id":"182ceac9-adc3-2147-06e7-2c0aa99ea80c","action_name":"Events","bk":3,"cid":"182ceac9-adc3-2147-06e7-2c0aa99ea80c:TP","custom_fields":[{"apiVersionSuffix":"8c8d5c4c_d8f1_4863_abd4_cd331d4170a7_p_55"}],"details":"init | <EF>1","elapsed_time":64,"f":"pageview","ia":1,"jstimestamp":1789112450865,"jstzoffset":0,"ls":{"fd":64,"fs":1093,"rb":0,"vm":2},"nl":"en-US","referrer":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","s":"https://cadmus.script.ac/dy5zgrznaumwk/script.js","tml":29383,"topLocation":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","version":"4.29.36-aq-8c8d5c4c_d8f1_4863_abd4_cd331d4170a7_p_55"},"filter":"||clean.gg^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://i.clean.gg/1a"},{"data":{"body":{},"filter":"||smartadserver.com^$third-party,domain=~smartadserver.de","listName":"easylist.txt","query":{"cklb":1,"gdpr":1,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","nwid":3905,"url":"https://af.pubmine.com/user-sync?pid=[sas_uid]"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://sync.smartadserver.com/getuid?nwid=3905&url=https://af.pubmine.com/user-sync?pid=[sas_uid]&gdpr=1&gdpr_consent=CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA&cklb=1"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.72606746223197,"v":"wpcom-no-pv","x_wordads_smart":"render_inline"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_wordads_smart=render_inline&v=wpcom-no-pv&rand=0.72606746223197"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.47833098477406866,"v":"wpcom-no-pv","x_wordads_smart":"render_inline"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_wordads_smart=render_inline&v=wpcom-no-pv&rand=0.47833098477406866"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.006844272271532725,"v":"wpcom-no-pv","x_wordads_smart":"render_inline"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_wordads_smart=render_inline&v=wpcom-no-pv&rand=0.006844272271532725"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.4351425231976658,"v":"wpcom-no-pv","x_wordads_smart":"render_inline"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_wordads_smart=render_inline&v=wpcom-no-pv&rand=0.4351425231976658"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.47882355641745056,"v":"wpcom-no-pv","x_wordads_smart":"render_inline"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_wordads_smart=render_inline&v=wpcom-no-pv&rand=0.47882355641745056"},{"data":{"body":{},"filter":"||smartadserver.com^$third-party,domain=~smartadserver.de","listName":"easylist.txt","query":{"gdpr":1,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","nwid":3905,"url":"https://af.pubmine.com/user-sync?pid=[sas_uid]"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://sync.smartadserver.com/getuid?nwid=3905&url=https://af.pubmine.com/user-sync?pid=[sas_uid]&gdpr=1&gdpr_consent=CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA"},{"data":{"body":{"ad":{"format":"bottom_sticky","max_height":50,"max_width":320,"tag":"wordads-ad-618764"},"site":{"id":"1771533","is_wordads":false,"language":"en","page":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/"},"user":{"gdpr":true,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","uid":"","us_privacy":"1---"}},"filter":"||pubmine.com^","listName":"easylist.txt","query":{"api_version":2}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://af.pubmine.com/?api_version=2"},{"data":{"body":{"ad":{"format":"inline","max_height":250,"max_width":320,"tag":"wordads-ad-169844"},"site":{"id":"1771533","is_wordads":false,"language":"en","page":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/"},"user":{"gdpr":true,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","uid":"","us_privacy":"1---"}},"filter":"||pubmine.com^","listName":"easylist.txt","query":{"api_version":2}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://af.pubmine.com/?api_version=2"},{"data":{"body":{},"filter":"||doubleclick.net^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://securepubads.g.doubleclick.net/tag/js/gpt.js"},{"data":{"body":{},"filter":"/prebid/*$script","listName":"easylist.txt","query":{"fork":1,"modules":"WyIzM2Fjcm9zc0JpZEFkYXB0ZXIiLCIzM2Fjcm9zc0lkU3lzdGVtIiwiYWRhZ2lvQmlkQWRhcHRlciIsImFkaXR1ZGUiLCJhZHlvdWxpa2VCaWRBZGFwdGVyIiwiYWxsb3dBY3Rpdml0aWVzIiwiYXBwbmV4dXNCaWRBZGFwdGVyIiwiYXRzQW5hbHl0aWNzQWRhcHRlciIsImNvbnNlbnRNYW5hZ2VtZW50IiwiY29uc2VudE1hbmFnZW1lbnRHcHAiLCJjb25zZW50TWFuYWdlbWVudFVzcCIsImNyaXRlb0JpZEFkYXB0ZXIiLCJjcml0ZW9JZFN5c3RlbSIsImVucmljaG1lbnRGcGRNb2R1bGUiLCJnZHByRW5mb3JjZW1lbnQiLCJncHRQcmVBdWN0aW9uIiwiZ3JpZEJpZEFkYXB0ZXIiLCJndW1ndW1CaWRBZGFwdGVyIiwiaWQ1SWRTeXN0ZW0iLCJpZGVudGl0eUxpbmtJZFN5c3RlbSIsImluc3RpY2F0b3JCaWRBZGFwdGVyIiwiaXhCaWRBZGFwdGVyIiwibWVkaWFuZXRCaWRBZGFwdGVyIiwibXNmdEJpZEFkYXB0ZXIiLCJuYXRpdm9CaWRBZGFwdGVyIiwib3BlbnhCaWRBZGFwdGVyIiwicGFpcklkU3lzdGVtIiwicHJlYmlkU2VydmVyQmlkQWRhcHRlciIsInByaWNlRmxvb3JzIiwicHViUHJvdmlkZWRJZFN5c3RlbSIsInB1Ym1hdGljQmlkQWRhcHRlciIsInJ1Ymljb25CaWRBZGFwdGVyIiwic2VlZHRhZ0JpZEFkYXB0ZXIiLCJzaGFyZWRJZFN5c3RlbSIsInNtYXJ0YWRzZXJ2ZXJCaWRBZGFwdGVyIiwic29ub2JpQmlkQWRhcHRlciIsInRyaXBsZWxpZnRCaWRBZGFwdGVyIiwidW5pZmllZElkU3lzdGVtIl0=","v":"f2dba3e603b0e0c28e982d3e1b2b15f1","var":"tudePbjs"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://edge.aditude.io/prebid/9.19.0.js?var=tudePbjs&fork=1&v=f2dba3e603b0e0c28e982d3e1b2b15f1&modules=WyIzM2Fjcm9zc0JpZEFkYXB0ZXIiLCIzM2Fjcm9zc0lkU3lzdGVtIiwiYWRhZ2lvQmlkQWRhcHRlciIsImFkaXR1ZGUiLCJhZHlvdWxpa2VCaWRBZGFwdGVyIiwiYWxsb3dBY3Rpdml0aWVzIiwiYXBwbmV4dXNCaWRBZGFwdGVyIiwiYXRzQW5hbHl0aWNzQWRhcHRlciIsImNvbnNlbnRNYW5hZ2VtZW50IiwiY29uc2VudE1hbmFnZW1lbnRHcHAiLCJjb25zZW50TWFuYWdlbWVudFVzcCIsImNyaXRlb0JpZEFkYXB0ZXIiLCJjcml0ZW9JZFN5c3RlbSIsImVucmljaG1lbnRGcGRNb2R1bGUiLCJnZHByRW5mb3JjZW1lbnQiLCJncHRQcmVBdWN0aW9uIiwiZ3JpZEJpZEFkYXB0ZXIiLCJndW1ndW1CaWRBZGFwdGVyIiwiaWQ1SWRTeXN0ZW0iLCJpZGVudGl0eUxpbmtJZFN5c3RlbSIsImluc3RpY2F0b3JCaWRBZGFwdGVyIiwiaXhCaWRBZGFwdGVyIiwibWVkaWFuZXRCaWRBZGFwdGVyIiwibXNmdEJpZEFkYXB0ZXIiLCJuYXRpdm9CaWRBZGFwdGVyIiwib3BlbnhCaWRBZGFwdGVyIiwicGFpcklkU3lzdGVtIiwicHJlYmlkU2VydmVyQmlkQWRhcHRlciIsInByaWNlRmxvb3JzIiwicHViUHJvdmlkZWRJZFN5c3RlbSIsInB1Ym1hdGljQmlkQWRhcHRlciIsInJ1Ymljb25CaWRBZGFwdGVyIiwic2VlZHRhZ0JpZEFkYXB0ZXIiLCJzaGFyZWRJZFN5c3RlbSIsInNtYXJ0YWRzZXJ2ZXJCaWRBZGFwdGVyIiwic29ub2JpQmlkQWRhcHRlciIsInRyaXBsZWxpZnRCaWRBZGFwdGVyIiwidW5pZmllZElkU3lzdGVtIl0%3D"},{"data":{"body":{},"filter":"||dn0qt3r0xannq.cloudfront.net^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://dn0qt3r0xannq.cloudfront.net/wordpress-2Pvwql52OT/wordpress-longform/prebid-wrapper.js"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"aip":1,"utmac":"UA-52447-2","utmcc":"__utma=11735858.1573827230.1789112450.1789112450.1789112450.1;+__utmz=11735858.1789112450.1.1.utmcsr=(direct)|utmccn=(direct)|utmcmd=(none);","utmcs":"UTF-8","utmdt":"Binary comprehensions in Erlang – Formalized Mathematics","utmfl":"-","utmhid":712863394,"utmhn":"slawekk.wordpress.com","utmht":1789112450538,"utmje":0,"utmjid":958317720,"utmn":328712072,"utmp":"/2014/09/19/binary-comprehensions-in-erlang/","utmr":"-","utmredir":1,"utms":1,"utmsc":"24-bit","utmsr":"390x844","utmu":"uBQAAAAAAAAAAAAAAAAAAAAE~","utmul":"en-us","utmvp":"390x844","utmwv":"5.7.2"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://ssl.google-analytics.com/j/__utm.gif?utmwv=5.7.2&utms=1&utmn=328712072&utmhn=slawekk.wordpress.com&utmcs=UTF-8&utmsr=390x844&utmvp=390x844&utmsc=24-bit&utmul=en-us&utmje=0&utmfl=-&utmdt=Binary%20comprehensions%20in%20Erlang%20%E2%80%93%20Formalized%20Mathematics&utmhid=712863394&utmr=-&utmp=%2F2014%2F09%2F19%2Fbinary-comprehensions-in-erlang%2F&utmht=1789112450538&utmac=UA-52447-2&utmcc=__utma%3D11735858.1573827230.1789112450.1789112450.1789112450.1%3B%2B__utmz%3D11735858.1789112450.1.1.utmcsr%3D(direct)%7Cutmccn%3D(direct)%7Cutmcmd%3D(none)%3B&aip=1&utmjid=958317720&utmredir=1&utmu=uBQAAAAAAAAAAAAAAAAAAAAE~"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.04016216307000264,"v":"wpcom-no-pv","x_wordads_cmp_view":"no_cookie"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_wordads_cmp_view=no_cookie&v=wpcom-no-pv&rand=0.04016216307000264"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"_":"_","_dl":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","_dr":"","_en":"wpcom_marketing_bar_impression","_ht":844,"_lg":"en-US","_pf":"Linux x86_64","_rt":1789112450289,"_sx":0,"_sy":0,"_ts":1789112450277,"_tz":0,"_ui":"fH1k7tFD7CYgP1fu5zQTrehV","_ut":"anon","_wd":390,"blog_id":1771533,"blog_lang":"en","blog_tz":0,"is_current_user_blog_owner":false,"user_id":0,"user_lang":"en"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/t.gif?is_current_user_blog_owner=false&_en=wpcom_marketing_bar_impression&_ui=fH1k7tFD7CYgP1fu5zQTrehV&_ut=anon&_ts=1789112450277&_tz=0&_lg=en-US&_pf=Linux%20x86_64&_ht=844&_wd=390&_sx=0&_sy=0&_dl=https%3A%2F%2Fslawekk.wordpress.com%2F2014%2F09%2F19%2Fbinary-comprehensions-in-erlang%2F&_dr=&blog_id=1771533&blog_tz=0&user_lang=en&blog_lang=en&user_id=0&_rt=1789112450289&_=_"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"crypt":"UE5XaGUuOTlwaD85flAmcm1mcmZsaDhkV11YdWFnNncxc1tjZG9XVXhRZS03JixUXy5Sc1NlcUZteXlfNHhuQS9QS01oblYzRFkuPz94WThsZlk5X2VOQ19HUytKUD9EUEUwW2s3cEhSSExfNHFMajN0aXo3WkdXZ1pTLVZyUSs2RC1IeFVpREh4Ulo/QzFob0lnWUdBMDh2R3oyYS9EazNRUm1EMW0raWYwX0gtUV1sbV10cGJCUmpVfj1HWV9CeTRMR2xiUzBvb3ZLJmtacz8/SFJKTDh0bldJaHFlLTdmNVRRdUxFdGJ8RGplfDNETTNPTTJKW0xzSEVqbmJWOGRWYWQtOXNhRjdqbUgvXWlMSU95WFVXL01NWXZrNDliakxkY0lKWS0yUm01JVlwcC1QU0tUbUJpTE9ndTFtUXAvK1NyNlFBQUZhSWZCVmwrS1g4U3pXZDhDbl9TTlRXQlFTW0VpWjc1Qw==","rand":0.28111275769784605,"v":"wpcom-no-pv"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?crypt=UE5XaGUuOTlwaD85flAmcm1mcmZsaDhkV11YdWFnNncxc1tjZG9XVXhRZS03JixUXy5Sc1NlcUZteXlfNHhuQS9QS01oblYzRFkuPz94WThsZlk5X2VOQ19HUytKUD9EUEUwW2s3cEhSSExfNHFMajN0aXo3WkdXZ1pTLVZyUSs2RC1IeFVpREh4Ulo%2FQzFob0lnWUdBMDh2R3oyYS9EazNRUm1EMW0raWYwX0gtUV1sbV10cGJCUmpVfj1HWV9CeTRMR2xiUzBvb3ZLJmtacz8%2FSFJKTDh0bldJaHFlLTdmNVRRdUxFdGJ8RGplfDNETTNPTTJKW0xzSEVqbmJWOGRWYWQtOXNhRjdqbUgvXWlMSU95WFVXL01NWXZrNDliakxkY0lKWS0yUm01JVlwcC1QU0tUbUJpTE9ndTFtUXAvK1NyNlFBQUZhSWZCVmwrS1g4U3pXZDhDbl9TTlRXQlFTW0VpWjc1Qw%3D%3D&v=wpcom-no-pv&rand=0.28111275769784605"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"blog":1771533,"host":"slawekk.wordpress.com","post":1037,"rand":0.154167045059449,"ref":"","subd":"slawekk","tz":0,"user_id":0,"v":"wpcom"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?blog=1771533&v=wpcom&tz=0&user_id=0&post=1037&subd=slawekk&host=slawekk.wordpress.com&ref=&rand=0.154167045059449"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.8550792128278681,"v":"wpcom-no-pv","x_stats-initial-visibility":"visible"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_stats-initial-visibility=visible&v=wpcom-no-pv&rand=0.8550792128278681"},{"data":{"body":{},"filter":"||dn0qt3r0xannq.cloudfront.net^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://dn0qt3r0xannq.cloudfront.net/wordpress-2Pvwql52OT/wordpress-longform/prebid-load.js"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://ssl.google-analytics.com/ga.js"},{"data":{"body":{},"filter":"||stats.wp.com^","listName":"easyprivacy.txt","query":{"69":""}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://stats.wp.com/w.js?69"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"batcache_hit":0,"bilmur":1,"cls":0,"custom_props":{"logged_in":"0","wptheme":"pub/minileven","wptheme_is_block":"0"},"downlink":1500,"edge_dc":"cdg","edge_dur":440,"edge_status":"MISS","fcp":1048,"fcp_raw":1048,"fp_raw":1048,"full_path":"/","lcp":1048,"lcp_raw":1048,"lcp_sel":"#post-1750>header.entry-header>h1.entry-title","lcp_type":"text","nav_type":"navigate","nt":"2--____7_n_n_n_1d_t_1d_ds_hi_e3_13g_19q_1b0_2ve_2vj_2vl--0_0_0_--h2","provider":"wordpress.com","reporter":"fetchLater","rtt":100,"service":"simple","site_host":"slawekk.wordpress.com","site_path":"/","site_tz":"Etc/GMT-0","ttfb":496,"version":"4.5.0"}},"stack":[{"fileName":"https://slawekk.wordpress.com/2014/09/19/binary-comprehensions-in-erlang/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/boom.gif?bilmur=1&batcache_hit=0&provider=wordpress.com&service=simple&site_tz=Etc%2FGMT-0&custom_props=%7B%22logged_in%22%3A%220%22%2C%22wptheme%22%3A%22pub%2Fminileven%22%2C%22wptheme_is_block%22%3A%220%22%7D&rtt=100&downlink=1500&site_host=slawekk.wordpress.com&site_path=%2F&full_path=%2F&version=4.5.0&edge_dc=cdg&edge_status=MISS&edge_dur=440&nt=2--____7_n_n_n_1d_t_1d_ds_hi_e3_13g_19q_1b0_2ve_2vj_2vl--0_0_0_--h2&reporter=fetchLater&fcp=1048&fcp_raw=1048&fp_raw=1048&lcp=1048&lcp_raw=1048&lcp_sel=%23post-1750%3Eheader.entry-header%3Eh1.entry-title&lcp_type=text&cls=0&ttfb=496&nav_type=navigate"},{"data":{"body":[[],[4,"m202609040101",[31099681,95401326]],[[{"1":["ewzMSe",null,[null,1],[[null,2]]]}]]],"filter":"||pagead2.googlesyndication.com^","listName":"easylist.txt","query":{"e":1}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pagead2.googlesyndication.com/pagead/ping?e=1"},{"data":{"body":{},"filter":"||amazon-adsystem.com^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://c.amazon-adsystem.com/bao-csm/aps-comm/aps_csm.js"},{"data":{"body":{},"filter":"||amazon-adsystem.com^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://config.aps.amazon-adsystem.com/configs/67e3348c-5907-44ad-ab39-d2ac1369f437"},{"data":{"body":{},"filter":"||amazon-adsystem.com^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://c.amazon-adsystem.com/aax2/apstag.js"},{"data":{"body":{"action_group_id":"2fa3e6fd-9d5a-1854-200c-e9e437f1c6b9","action_name":"Events","bk":3,"cid":"2fa3e6fd-9d5a-1854-200c-e9e437f1c6b9:TP","custom_fields":[{"apiBm":{"di":[],"j4":"t13d1516h2_8daaf6152771_d8a2da3f94cd","sc":93,"vb":false,"vc":""},"apiVersionSuffix":"8c8d5c4c_d8f1_4863_abd4_cd331d4170a7_p_55"}],"details":"init | <EF>2","elapsed_time":72,"f":"pageview","ia":1,"jstimestamp":1789112444997,"jstzoffset":0,"ls":{"fd":142,"fs":1953,"rb":0,"vm":2},"nl":"en-US","referrer":"https://slawekk.wordpress.com/","s":"https://cadmus.script.ac/dy5zgrznaumwk/script.js","tml":29383,"topLocation":"https://slawekk.wordpress.com/","version":"4.29.36-aq-8c8d5c4c_d8f1_4863_abd4_cd331d4170a7_p_55"},"filter":"||clean.gg^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://i.clean.gg/1a"},{"data":{"body":{},"filter":"||clean.gg^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://i.clean.gg/1a"},{"data":{"body":{},"filter":"||smartadserver.com^$third-party,domain=~smartadserver.de","listName":"easylist.txt","query":{"cklb":1,"gdpr":1,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","nwid":3905,"url":"https://af.pubmine.com/user-sync?pid=[sas_uid]"}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://sync.smartadserver.com/getuid?nwid=3905&url=https://af.pubmine.com/user-sync?pid=[sas_uid]&gdpr=1&gdpr_consent=CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA&cklb=1"},{"data":{"body":{},"filter":"||doubleclick.net^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://securepubads.g.doubleclick.net/pagead/managed/js/gpt/m202609040101/pubads_impl.js"},{"data":{"body":{},"filter":"||smartadserver.com^$third-party,domain=~smartadserver.de","listName":"easylist.txt","query":{"gdpr":1,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","nwid":3905,"url":"https://af.pubmine.com/user-sync?pid=[sas_uid]"}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://sync.smartadserver.com/getuid?nwid=3905&url=https://af.pubmine.com/user-sync?pid=[sas_uid]&gdpr=1&gdpr_consent=CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA"},{"data":{"body":{"ad":{"format":"bottom_sticky","max_height":50,"max_width":320,"tag":"wordads-ad-757938"},"site":{"id":"1771533","is_wordads":false,"language":"en","page":"https://slawekk.wordpress.com/"},"user":{"gdpr":true,"gdpr_consent":"CQqYK0AQqYK0AECACAENCvFgAAAAAELAAKiQAAAUlABAFCogAKAAECAAAAIAAAggCAAgABAAAAAAAAAACAAQBgAIEAAAAAAAAAAAAAAAAAAAAAAABAAAIAAAQAAQAAAAAAAAAAAAAAAAAACBAAAAAAAAAAAAgACAAAIAAABAAAAAAAAkIAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAA.IKkkBxC5cTCFBMCB3AIIkIAwewTBAYgQgAAIAAAAAABIAIIwAkCAAAAAAACAAAAIAAAAAIAAAAAgAAEAAIIAAJAAEAEAAAAACIAAAAAABAgAAAAAAAAAgEQABAAAEAgUAgAAAQAIASEwAAAAAAQCAAAAAABAAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACCAAAACAAA","uid":"","us_privacy":"1---"}},"filter":"||pubmine.com^","listName":"easylist.txt","query":{"api_version":2}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://af.pubmine.com/?api_version=2"},{"data":{"body":{},"filter":".prebid.$domain=~prebid.org","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://geo-location.prebid.cloud/v1/geo"},{"data":{"body":{},"filter":"||doubleclick.net^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://securepubads.g.doubleclick.net/tag/js/gpt.js"},{"data":{"body":{},"filter":"/prebid/*$script","listName":"easylist.txt","query":{"fork":1,"modules":"WyIzM2Fjcm9zc0JpZEFkYXB0ZXIiLCIzM2Fjcm9zc0lkU3lzdGVtIiwiYWRhZ2lvQmlkQWRhcHRlciIsImFkaXR1ZGUiLCJhZHlvdWxpa2VCaWRBZGFwdGVyIiwiYWxsb3dBY3Rpdml0aWVzIiwiYXBwbmV4dXNCaWRBZGFwdGVyIiwiYXRzQW5hbHl0aWNzQWRhcHRlciIsImNvbnNlbnRNYW5hZ2VtZW50IiwiY29uc2VudE1hbmFnZW1lbnRHcHAiLCJjb25zZW50TWFuYWdlbWVudFVzcCIsImNyaXRlb0JpZEFkYXB0ZXIiLCJjcml0ZW9JZFN5c3RlbSIsImVucmljaG1lbnRGcGRNb2R1bGUiLCJnZHByRW5mb3JjZW1lbnQiLCJncHRQcmVBdWN0aW9uIiwiZ3JpZEJpZEFkYXB0ZXIiLCJndW1ndW1CaWRBZGFwdGVyIiwiaWQ1SWRTeXN0ZW0iLCJpZGVudGl0eUxpbmtJZFN5c3RlbSIsImluc3RpY2F0b3JCaWRBZGFwdGVyIiwiaXhCaWRBZGFwdGVyIiwibWVkaWFuZXRCaWRBZGFwdGVyIiwibXNmdEJpZEFkYXB0ZXIiLCJuYXRpdm9CaWRBZGFwdGVyIiwib3BlbnhCaWRBZGFwdGVyIiwicGFpcklkU3lzdGVtIiwicHJlYmlkU2VydmVyQmlkQWRhcHRlciIsInByaWNlRmxvb3JzIiwicHViUHJvdmlkZWRJZFN5c3RlbSIsInB1Ym1hdGljQmlkQWRhcHRlciIsInJ1Ymljb25CaWRBZGFwdGVyIiwic2VlZHRhZ0JpZEFkYXB0ZXIiLCJzaGFyZWRJZFN5c3RlbSIsInNtYXJ0YWRzZXJ2ZXJCaWRBZGFwdGVyIiwic29ub2JpQmlkQWRhcHRlciIsInRyaXBsZWxpZnRCaWRBZGFwdGVyIiwidW5pZmllZElkU3lzdGVtIl0=","v":"f2dba3e603b0e0c28e982d3e1b2b15f1","var":"tudePbjs"}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://edge.aditude.io/prebid/9.19.0.js?var=tudePbjs&fork=1&v=f2dba3e603b0e0c28e982d3e1b2b15f1&modules=WyIzM2Fjcm9zc0JpZEFkYXB0ZXIiLCIzM2Fjcm9zc0lkU3lzdGVtIiwiYWRhZ2lvQmlkQWRhcHRlciIsImFkaXR1ZGUiLCJhZHlvdWxpa2VCaWRBZGFwdGVyIiwiYWxsb3dBY3Rpdml0aWVzIiwiYXBwbmV4dXNCaWRBZGFwdGVyIiwiYXRzQW5hbHl0aWNzQWRhcHRlciIsImNvbnNlbnRNYW5hZ2VtZW50IiwiY29uc2VudE1hbmFnZW1lbnRHcHAiLCJjb25zZW50TWFuYWdlbWVudFVzcCIsImNyaXRlb0JpZEFkYXB0ZXIiLCJjcml0ZW9JZFN5c3RlbSIsImVucmljaG1lbnRGcGRNb2R1bGUiLCJnZHByRW5mb3JjZW1lbnQiLCJncHRQcmVBdWN0aW9uIiwiZ3JpZEJpZEFkYXB0ZXIiLCJndW1ndW1CaWRBZGFwdGVyIiwiaWQ1SWRTeXN0ZW0iLCJpZGVudGl0eUxpbmtJZFN5c3RlbSIsImluc3RpY2F0b3JCaWRBZGFwdGVyIiwiaXhCaWRBZGFwdGVyIiwibWVkaWFuZXRCaWRBZGFwdGVyIiwibXNmdEJpZEFkYXB0ZXIiLCJuYXRpdm9CaWRBZGFwdGVyIiwib3BlbnhCaWRBZGFwdGVyIiwicGFpcklkU3lzdGVtIiwicHJlYmlkU2VydmVyQmlkQWRhcHRlciIsInByaWNlRmxvb3JzIiwicHViUHJvdmlkZWRJZFN5c3RlbSIsInB1Ym1hdGljQmlkQWRhcHRlciIsInJ1Ymljb25CaWRBZGFwdGVyIiwic2VlZHRhZ0JpZEFkYXB0ZXIiLCJzaGFyZWRJZFN5c3RlbSIsInNtYXJ0YWRzZXJ2ZXJCaWRBZGFwdGVyIiwic29ub2JpQmlkQWRhcHRlciIsInRyaXBsZWxpZnRCaWRBZGFwdGVyIiwidW5pZmllZElkU3lzdGVtIl0%3D"},{"data":{"body":{},"filter":"||dn0qt3r0xannq.cloudfront.net^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://dn0qt3r0xannq.cloudfront.net/wordpress-2Pvwql52OT/wordpress-longform/prebid-wrapper.js"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{"aip":1,"utmac":"UA-52447-2","utmcc":"__utma=11735858.350235579.1789112444.1789112444.1789112444.1;+__utmz=11735858.1789112444.1.1.utmcsr=(direct)|utmccn=(direct)|utmcmd=(none);","utmcs":"UTF-8","utmdt":"Formalized Mathematics – Just another WordPress.com weblog","utmfl":"-","utmhid":2022479138,"utmhn":"slawekk.wordpress.com","utmht":1789112444200,"utmje":0,"utmjid":425900268,"utmn":305401150,"utmp":"/","utmr":"-","utmredir":1,"utms":1,"utmsc":"24-bit","utmsr":"390x844","utmu":"uBQAAAAAAAAAAAAAAAAAAAAE~","utmul":"en-us","utmvp":"390x844","utmwv":"5.7.2"}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://ssl.google-analytics.com/j/__utm.gif?utmwv=5.7.2&utms=1&utmn=305401150&utmhn=slawekk.wordpress.com&utmcs=UTF-8&utmsr=390x844&utmvp=390x844&utmsc=24-bit&utmul=en-us&utmje=0&utmfl=-&utmdt=Formalized%20Mathematics%20%E2%80%93%20Just%20another%20WordPress.com%20weblog&utmhid=2022479138&utmr=-&utmp=%2F&utmht=1789112444200&utmac=UA-52447-2&utmcc=__utma%3D11735858.350235579.1789112444.1789112444.1789112444.1%3B%2B__utmz%3D11735858.1789112444.1.1.utmcsr%3D(direct)%7Cutmccn%3D(direct)%7Cutmcmd%3D(none)%3B&aip=1&utmjid=425900268&utmredir=1&utmu=uBQAAAAAAAAAAAAAAAAAAAAE~"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.5959820149867512,"v":"wpcom-no-pv","x_wordads_cmp_view":"no_cookie"}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_wordads_cmp_view=no_cookie&v=wpcom-no-pv&rand=0.5959820149867512"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"_":"_","_dl":"https://slawekk.wordpress.com/","_dr":"","_en":"wpcom_marketing_bar_impression","_ht":844,"_lg":"en-US","_pf":"Linux x86_64","_rt":1789112443954,"_sx":0,"_sy":0,"_ts":1789112443784,"_tz":0,"_ui":"s2/jyCIDIPgXI/cbDw3W4dQc","_ut":"anon","_wd":390,"blog_id":1771533,"blog_lang":"en","blog_tz":0,"is_current_user_blog_owner":false,"user_id":0,"user_lang":"en"}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/t.gif?is_current_user_blog_owner=false&_en=wpcom_marketing_bar_impression&_ui=s2%2FjyCIDIPgXI%2FcbDw3W4dQc&_ut=anon&_ts=1789112443784&_tz=0&_lg=en-US&_pf=Linux%20x86_64&_ht=844&_wd=390&_sx=0&_sy=0&_dl=https%3A%2F%2Fslawekk.wordpress.com%2F&_dr=&blog_id=1771533&blog_tz=0&user_lang=en&blog_lang=en&user_id=0&_rt=1789112443954&_=_"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"crypt":"UE5XaGUuOTlwaD85flAmcm1mcmZsaDhkV11YdWFnNncxc1tjZG9XVXhRZS03JixUXy5Sc1NlcUZteXlfNHhuQS9QS01oblYzY0MrUVVlSTdVb294UlUmVmNRR2gwY35VUWpDW1YlbFtKajFfLmpTeFFlSl1RNyYuLzA/eWNnbGRCNFtBb2NQM211MHFTZV9CelsvcXA9c2ZwW0hCJWwwZERmMzhxLERHa2dKJk1USmRQQ2cyZl1ML3kmLStPbj9INVVYNm8tZlJ1cUlFOS0yeD82fmhRfHI2U2lIVn5NODNBWnNRVmxzaC5QVS1aTDJCOCxMPUNKYzUlTkUxdVYrU0VxZ19tNmkyRF1Pc25bZ0V2b0hJX3w/Wk9BcUZXZDFlallJQkdUP0VydEFaUC5LT2FbLUVpJkZ6MzNRX35COVBvRVB0NG8=","rand":0.16762295686304918,"v":"wpcom-no-pv"}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?crypt=UE5XaGUuOTlwaD85flAmcm1mcmZsaDhkV11YdWFnNncxc1tjZG9XVXhRZS03JixUXy5Sc1NlcUZteXlfNHhuQS9QS01oblYzY0MrUVVlSTdVb294UlUmVmNRR2gwY35VUWpDW1YlbFtKajFfLmpTeFFlSl1RNyYuLzA%2FeWNnbGRCNFtBb2NQM211MHFTZV9CelsvcXA9c2ZwW0hCJWwwZERmMzhxLERHa2dKJk1USmRQQ2cyZl1ML3kmLStPbj9INVVYNm8tZlJ1cUlFOS0yeD82fmhRfHI2U2lIVn5NODNBWnNRVmxzaC5QVS1aTDJCOCxMPUNKYzUlTkUxdVYrU0VxZ19tNmkyRF1Pc25bZ0V2b0hJX3w%2FWk9BcUZXZDFlallJQkdUP0VydEFaUC5LT2FbLUVpJkZ6MzNRX35COVBvRVB0NG8%3D&v=wpcom-no-pv&rand=0.16762295686304918"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"arch_home":1,"blog":1771533,"host":"slawekk.wordpress.com","rand":0.3088796426032654,"ref":"","subd":"slawekk","tz":0,"user_id":0,"v":"wpcom"}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?blog=1771533&v=wpcom&tz=0&user_id=0&arch_home=1&subd=slawekk&host=slawekk.wordpress.com&ref=&rand=0.3088796426032654"},{"data":{"body":{},"filter":"||pixel.wp.com^","listName":"easyprivacy.txt","query":{"rand":0.13719677487133208,"v":"wpcom-no-pv","x_stats-initial-visibility":"visible"}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://pixel.wp.com/g.gif?x_stats-initial-visibility=visible&v=wpcom-no-pv&rand=0.13719677487133208"},{"data":{"body":{},"filter":"||dn0qt3r0xannq.cloudfront.net^","listName":"easylist.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://dn0qt3r0xannq.cloudfront.net/wordpress-2Pvwql52OT/wordpress-longform/prebid-load.js"},{"data":{"body":{},"filter":"||google-analytics.com^$third-party","listName":"easyprivacy.txt","query":{}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://ssl.google-analytics.com/ga.js"},{"data":{"body":{},"filter":"||stats.wp.com^","listName":"easyprivacy.txt","query":{"69":""}},"stack":[{"fileName":"https://slawekk.wordpress.com/","source":"ThirdPartyTracker RequestHandler"}],"type":"TrackingRequest","url":"https://stats.wp.com/w.js?69"}]}}