<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,"Noto Sans",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;padding-left:1.5rem;max-width:60rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{line-height:2.25rem;font-size:1.5rem;font-weight:500}@media (width <= 720px){.h2{line-height:1.5rem;font-size:1.25rem}}#challenge-error-text{background-image:url("data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+");background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme: dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="360"></head><body><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt = {cvId: '3',cZone: 'sourceforge.net',cType: 'managed',cRay: '96522177604238e2',cH: '9XX7GLFJSnqc9lPdA7nP2E_em0onxb5Ru3P0vVvTv.c-1753514387-1.2.1.1-dklD3tltNLi35mGxvStcUKGjeBRd5SzwVNIxFsWU6pw04ou.K0FnPJsWbxboV27f',cUPMDTk:"\/p\/xsb\/src\/8487\/tree\/\/trunk\/XSB\/docs\/userman\/inspection.tex?__cf_chl_tk=XEsriBPKt7jmzwjNiLDy7NLzs0pljkvEap7uSEgJ3R0-1753514387-1.0.1.1-3.a8gyUETu4AgSmqpGGpQBSR6Q2YkdLgT6LFGbn4CXc",cFPWv: 'b',cITimeS: '1753514387',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/8487\/tree\/\/trunk\/XSB\/docs\/userman\/inspection.tex?__cf_chl_f_tk=XEsriBPKt7jmzwjNiLDy7NLzs0pljkvEap7uSEgJ3R0-1753514387-1.0.1.1-3.a8gyUETu4AgSmqpGGpQBSR6Q2YkdLgT6LFGbn4CXc",md: 'IldeEbBwfAINDsLCz5a8vpRmjuuwbUJ2Jk.Frgmbcxw-1753514387-1.2.1.1-IGvWktmct0BeIrfIAv8IxDtiNyBvCzVZ_SIV_0cWkTWFtd1qejuh5C89IqHlaPKKYrhx4wexKg9WU.mpJeA.8TECMW5YqhQ6pStiKBg.nPN0.KUOn8J61CEovIG28D7mNj3bPmcKxI8kimjnBbqOzf0rlFC4DGE_2CUQ1IqaVb5Pm2Y2gQnkAFcx_Y_ef0c9sMYXMAd3Wg2v8lP7jMeNseI8OUGEtt1J6nT2URw6g0_GWd_Y3P7Mc96CxZyaRLNXEg2vOWae_Tk4.ndQl7rAOBrxrqkWRzJAOxHDZ1DVe4f5znZa34_MKfrMGxuOHphpP_89AwJKUWTL2OBE.TpZgoEFYbTiLuonyrpWQM_WY2x16eJUoyV0kIS8ALBgESS_fYxCzFORlwB.2sYRuDoee_wwn5i5YzccGdafyVEfOUr.Cd8.ZWxWu94Qig2ZFG95KX1srhV5q4i56T8DsKQh0DDg8Xp6vQr8A2gpxmc9p_ngjdh2OH8YnYFc5S3gzyLOdUGaT9pmme4m3hZvgNPgn6OKJvQ03ziqUtodhnhQ0RL6k9kzCAfT1pK.75uQSxyGAt1c3Lnx4PkaJyO1A63qmBF2tYgkGOPTZEapHgWMCS_G8o1aDAGGEPi5qGA0WwqyoFX9JzS4q8ZNSIaN4t8SZMIW7EL4j73EQ5SNDFxp6Ge_igZXwx33ADUDfsHstzwr8CWwLpSlDBQj6dnlnqOq8TjJlJs2eYUwXANE8N_rppXuivvQcxtk2ack47mdNxoFlGRo_DUcuftJgVKfLnbo4C.y5z6KmrOfhx6DTAjkNlYCm4U_nwmGg_bI0ZqynYBNEL_fDyFJvzwj890y.v7QXp1bcdYyxiG_ZjvEfQbdfzNAKr6glpXRJK_oX8h5GUJKgB4HqZYV2SuxmjwfyCGKLunTtJ1ck6Ti9X1FSkmCsp0Abo4vX0zl4wHAqwgOCgs4kJ9DgYCP59iqTrGh.pu3nlQBeGvCL.E7yplwBF3bse0k28AyrnFY1wBnoSKJYmz1',mdrd: 'FuZMHje._M0n86n2Bwco1DwnVJuyGp6PCJsCF8wu4Fo-1753514387-1.2.1.1-JqlyeRnBVJTtUOLHiifuSGf38jIi0NTfXACA2PVGJkwuPRZrTh0uKQgrE2A2mAUaQtmv2ZqsrFKbD2kABFIsek3eGpSBRhQ4bjw8pyo_Nv5Qwzf8HElSzun_tbdPDHiOnWfwy3K0ESXbzRIZ1Vj6SpKtq7zX1TDJFDrRSQFU73_rMFaF64QA9QdeNaLVQHoEzB7lGcHnCa4BfzLGXTi4cSovW5xUteRTrN0rvh1IFf42HSH3oMDzj880EDMtM_1UJWRbJENRioxQ9uimN1n7WT2uPKSW7nsnvAqK_69TAtxMrdWZlXDlX3NReEX8I6YLPmhZIPchBWvNjqF3s0k0qgUFuMg2WRvdq772kbNWnPiprf6w8DuclnsoAXcQCHsHpYdJuPZe44YNUwLjTA6guTBKo5plo5St8xsgkc6HwVELSYXZ9VjYoBJ7G0cjplel9tS2jzv5gx53pCVuO0HQtYtwMBbEBiKIm4zILsMMCTOlnh3UQtAGj6_SpqApPbjNTzRb8se6j2.VBt4aXVbMWMGduyl9qeNiZ29G7valTNw.AvH4fltakPSX.oXSyo9H6W6MwvWJ9y51yh61ZqxBVLuOnEEN1oR1kkTYaKrMfwer6fkwWeA3WDx0cvdy6oYVO6YrEdDGjooFGmWdnCCGv5Hz.eVpNk_uAfOuNKcO.HlX_zD3NS8GNDR7D.3CETKMO3Z3PCjWCeAVc.if5PQRE2dNziJFBv0GsN4_P6HV2Maz_47_BHRsgNWVj9YxPksgzfNGoI.DVQKRe3.tjGK_.W0fnxDMsux8MGeZc2wIf2gO2cosNq4ySqdSGfrSQEWKTRG7JZpHhaqq35Nqbt5zU2aV8USLcd8BwOF45YRpnOtXCo2pOgJrUy2TIHq8ur104KJH.CS1mK7psSEib.LAl8teRU8mnq_e4.aAu9kLW95NVGA9PqGKYaqyZQZAMvdPRQx6zA939Xxzwtr7OMADNMdiV0Ng8sLrnI.TGw6n6v_Ukwx7TFfNeMsmNRD_6si2rvhQErAVD5EPMUor_Vj5i7QqUU94.xYvv673N6rIBtUh9GQua_hB71gxnrU4ES0umrjyMSZoCpxUPGBpRB1hJx1SQeCnpnT1ufutF1wQQcau6NYoHcsoHL0okaea6EfGSYlxW.e1HyK1gtTvimJ9jia3KPSbOZeFFo9bdKAXvTTYshhvBLMeurnRCNViLq1FtXPcASZX7uVDHf4JCGioLJ._jW9.s7o3UZpXsMYUpziu.pQxH1_zBeWULMScW8URMvtwPe3ojwpqpUIvYOj54WYqJ1MzsBzchBmIpXE74MuMtOuPKZlEXfl4aTSghw78yW3WbgZcemfQNB9.7unKggMSQ3Vh9Ttz8f31IwXwoLLuriilHLh7sFJPJRI72u0K9E.NlRT9xo55.aG4SC_WJFJdheiG2xYnddn5D8biDNKRh_Yz4C_e0rPUndXEuqR1hyWRtekODJrrP2YCOdI9V471Aha772iADFhTeJAs0AI2t_uwAcSso7Au46yskHs8uXw6Rnydc_GeoPY5gkWHGxE.OAl0UPTyz3.F_u5AR0ue_oDr3HCAp956pyCpsvBKSMDjXiFt79XZ9qKZOjGVdTjmlrK7mThc6IyL3BLSdKwgWMouwuqHwZoIZ4ATQmQv.5sA3uRAbOSYdgTpJqMUeodoVuy94jfcMCnQ6wFHsC5kaY8LYdWkJrnsph89BjxNPIb2px45n8Z2UMF_rvbJ403wm80F3EiBoVaLrVEzapbf0Ql6r4F3PvOlmFclZ0hFsntawe0pS26bsfKfCKCsMYdqDIbppsKhi999h2GOzclqa1kHrfYr_profDpd.60xc_EpGrnBrOUo.2VNDcaXGJ92K61tM8qKjNz0YrzvMI7L732f9v.SafUIrB3eNhQbWosFo800EO7lUq0DtkRr.A7K7gZpTWJS3AFKDBLvQLiOe1FWXSUi5vdgVLr6GODYqkOJqpJ9JQ6SF_N0gG_.RYWQXS8O4JSMVJ7VE3Wo0LVkOgMEbtIa7JRcOKzOfgC7hsVgu3c0vSughJ1x0uy8qtBoaHJWBECxvbmEapLrukJDUjP4k8D.amCLUZRVdbFqIcU33g684TR0OY_rf5Pg2kJKS8SFcF.J.nYv7XS82EuZkftSM9uJnxpnkWQF_C4D2bFH.QhlFm0NkYyO9_iWJuvuWZLrf6Cl8UjBb8cg0WWkFvT7.l2gQGAoUW5RMs84G5AvMmmesDVRJvYMQvfcTaYIQWI.aufK7StfQ0uAQpMfhF_mg_uM1KkFe119qbsru6loaXPoiglylzn8tVPFMUXETuxl_l7MlNFudOGBfUIlkq35zHGe_IVAHzVeOYChZ0jJZ00Ti1uUgN94R.58Gefo22GuXGx4mCteslwpMzaL68ZG2GJ6fDo8in_qZ8BjJyIgMb_ZwVFvp0DzIyOJmGy0UQpulRzzqg0fGWCSfhW8ybsbZ4GZZrlrZPh8Fn.ECmzkgji4d1RiHifr49hik_KMOS.uLZSZ7nxWGKkHui0xTxsHL90dsnpqJgwpJxN93.OgvduAVTIh.v5jyxRzmYz6yH5m8T4ZtOwEb5iuDL128oCEhjJQsPyRSzbWxBaO',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=96522177604238e2';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null,"\/p\/xsb\/src\/8487\/tree\/\/trunk\/XSB\/docs\/userman\/inspection.tex?__cf_chl_rt_tk=XEsriBPKt7jmzwjNiLDy7NLzs0pljkvEap7uSEgJ3R0-1753514387-1.0.1.1-3.a8gyUETu4AgSmqpGGpQBSR6Q2YkdLgT6LFGbn4CXc"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>