@prefix this: <http://purl.org/np/RAtoc9gvPKKPu2kziwXaWHQS0FtSSOZbON9uyl9x9MsEw> .
@prefix sub: <http://purl.org/np/RAtoc9gvPKKPu2kziwXaWHQS0FtSSOZbON9uyl9x9MsEw#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix dce: <http://purl.org/dc/elements/1.1/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix ns1: <http://purl.org/np/> .

sub:Head {
  this: np:hasAssertion sub:assertion;
    np:hasProvenance sub:provenance;
    np:hasPublicationInfo sub:pubinfo;
    a np:Nanopublication .
}

sub:assertion {
  this: npx:appendsIndex ns1:RA5Hrwu8TNkCHL0BfXwESTa74taN3RoK7k-JuuRYMMadY;
    npx:includesElement ns1:RA-7djKUIAAIQRFBJcEmTI2Ze0uUZykXyAItwTptv1ps8, ns1:RA0L4LP-hH87a-mgA64m1Vusfyo8nRmAPa-E3nQBYZUOo,
      ns1:RA0UwT_hearVkFcToZE_MzSEhNjzsGjmvWemb7IWQNxvY, ns1:RA0elvym2tHdj1Zu-SAQ0QcN3fBmcLmgpBXUT3VTy5EYA,
      ns1:RA1AbK1Hp3yf8h-pM2pN5ZvKWvcU7eWh-nOEjyzB0Rubw, ns1:RA38rM_9OzjeXWV3R7IkMISyGD7zbfet5wORbZ9P4t29Y,
      ns1:RA3FNWv7psmN1kBTZxhDZVxFfOkobDOtYiu6Df22xiN_o, ns1:RA3KSU4PI2IUy_Y_IeJ6fkfiseisLqDNAL73gl_QOWkao,
      ns1:RA3jtBPSaMhL0bPQkJJT_G8caLTwo_feHoIN__Pomuc7U, ns1:RA4GLNwPf7K5v8o3rFsh7tpocEI0FK45jsynsIeaKEbCQ,
      ns1:RA4_AiWpNW1btfh0WCHF5yUlxZw83OvEDWOMSAu0wrOc4, ns1:RA4_dgJV43lH8_PhGdeaohrv16MyeK0bJKDZwthD4KEYg,
      ns1:RA5Mf0rzyPPnZBzkxBuhcS8I2MWeLVwXOgt-5iZ1330bM, ns1:RA5batAmuBtO0nSPfULwWvWMTE6qsdVjM5cLBcygk-YCY,
      ns1:RA5iWQhzWFFhg0IgvtGxz8k_NWJNcgtsaGrfnr-i_hlMw, ns1:RA693yLCbNKNCvblBUntUDPddGgz3cRjnchASkEI7ITFA,
      ns1:RA6BJevt-amTPjVAQoKa0vkQWBTmRHYonXW8rA1onCw-c, ns1:RA9SnvU7gE3rKl51HuMfFWTrRq59BKQTKZaefxJa4-wl4,
      ns1:RA9Wgog-LdeJKPiT53vjPCc42BJqKjiFk3e5QaKygT67g, ns1:RA9eGgL5KGcvccYU4Oigq0GE5dKPt4FzstxSBfKzRmeZk,
      ns1:RA9q-_5U9znbb01X3LdH_vvUkr5caDfga9Q78inwhGU4s, ns1:RAA5Takv3l7mujF7P2YDGsZLyfKGYatQNjIOo8ZnYvioE,
      ns1:RAA7P4qcNVxa6q1xVRy8AM2F8XRnM3qbMzSnWGnmNtQKg, ns1:RAB9tesEeroMJ90yGoM4Dj2qQZ7jKNyDEe89UiBcbTUIs,
      ns1:RABOUNAmHBLb5MeoyjdkJ1Jqzu7asBm5CxLgqKW6qv3ek, ns1:RABTaUavqvevvKQlpsE6nUSAR-7v_x1UPNYbN7-G2uhCg,
      ns1:RACGjtzfgB1Ol_gRuUHZJ9OiMbD3M9GO3zroZCTd_MnTI, ns1:RACMy8PkpTtyNdCn5QDSqu9BLJLF4XalN22c-UdqImDv0,
      ns1:RACr5XFnS9DZihSpozkfGTg8hp1ok9luI2RegkvFOxv5g, ns1:RADCoImXffUHnLf6wQXsk774WNzSRMNOd0OyQf8fvsuo4,
      ns1:RADQM0MfSr8acPU3zsJ_Tj4vln-Nl1yLNjDskANnd1sM8, ns1:RADVjeWltzp2Kh2rfNZtK1jD3GuoijFc5bRB6XUrbSngo,
      ns1:RAEH_hI2UGMrAJl-sah6_1vTosCuyJNi-R7REcZwFtUBI, ns1:RAENuPPs32Jtswhg0cC-dV18O_wlrzMUPf1gXmZm4xyhg,
      ns1:RAEtgk8sSdVNSEc5gx2tE1zn0kUUdhByDT2pl_m1XI2O8, ns1:RAFODcQSpJyz0o4s3OCIVeP1SEhc_qB8EWKK8lRhw9JDc,
      ns1:RAFhf2hwmjROQkweMw4qNAKi1wke_SLbrVPNadLsJWpu0, ns1:RAFtOhOz0LdS6r5RaXS9tvuLJHfJZTt54yBmX7omV__oc,
      ns1:RAGCfRRXnP1tkygb6j2gLzhoS4oYbfw6fe1MHwvn5EAx8, ns1:RAGSYgOg2WpgnbnybUQGSjk-rHJF9GNXxbKvOSU7zTS28,
      ns1:RAGjbEq03i4wEzoGCZODHZFCc61eGWGwAg2QXW7Du1Bro, ns1:RAH6RUnCV42OWTdm8BJ31x8n1jsG2to__f-QDFy1Zu7hA,
      ns1:RAHLRPq-LADjZkilWznFm_emK9OI7d3GaxOIktPgx3JtM, ns1:RAHhWyaqK68rQdnT20bNy2FJssM0IqODFDsotJg5qebuk,
      ns1:RAHoS1pij0sZfRiab0ZOuR1h7hxaESUIQ3sS5GshNIvFo, ns1:RAHs7wnRbAIAuEpRjZYQjjkOE7HrzXUhSf4Sg9LP_gHXc,
      ns1:RAHyCTp3P9WSKoCBIxKI1gPA-oCwKL9QbY5Ck9TKVEKlg, ns1:RAI4izwCV3EKk4KAyk9VZGL9LUi-LyX431p8CY1j8PVRk,
      ns1:RAIBvFUwWvVoi8sKlTWCdB_ISOUha-30yGmLvZuOmnfZo, ns1:RAIJ_MhXGzZxvGcukF6dpd3i9_fH8LjU_QhYYeswi0mdI,
      ns1:RAId3VJjTmso4NukNWgtKbglLvCvXzU7xisobfG3jm96Y, ns1:RAJ0f3ukai3pzFcNKGc0a1KNN0sfO1-MjNKYIzcbe-b0I,
      ns1:RAJBsQjI0kWIDteAS8fQ4eT8LMpClMAfp-LJ-qb09L7rU, ns1:RAJK_mH96TGXcbwljaewc6sHSXOal2TXF3HbyOgOZbHuo,
      ns1:RAJQAXtrDRXBHfZbJXkZMTUatDtdBCOGQXRbarPj6TGjY, ns1:RAJaWT8Lk7zdIMg5gXFv3bozGkBvT_1M0rs485tQvaaD4,
      ns1:RAJamKyJZyh52AoB1odEQEbeBx821b2g1mcYBUs-FyHA0, ns1:RAJeyGTumIvWdXsKqUWSWgfVr6uL7pYK6yBHBv-x-pcG0,
      ns1:RAKYD6Ywgig_a9uR_vmgHIeGl6tcrjspWGedsfbmgob9Q, ns1:RAKcB7fTEtMF9ilACzIvu0OIJbF_5miHqOaOA6ZCgoVn0,
      ns1:RALOUf4yAgiUsBBmvsmURILdYKb27Cc9606Z673fIRdl8, ns1:RALdkP7p0h4RltkIb8xW0mbdfpITZdewfPEna5uUoKV_Y,
      ns1:RAMVDAvAAQmQVMdQiKnvz8Upo5ZKUpZ9yGhxIegjTTsVY, ns1:RAMVFnL_UJdcnEjfsc8jDNMxxkwUtZBi9qMk43WeL3HRA,
      ns1:RAMZyBvvB7Rl6g_uIG0XJPpxQqq4PAdrTg7EPaGVm9SXo, ns1:RAMb-CuFMa-mnoX0WVWgqjwI3NjMAdOD7dXhUj2DAmRQE,
      ns1:RAMz9jBWRCMMzgi3a9OKCyklrSedcoOCgwk3Ow4aw0Hpo, ns1:RAN09N_TnXJ2UC5V4gKVbPh5npC7ZZUnwoiwP27lBw4qM,
      ns1:RANxXe_szawaf1gdEuAECzUPuVQOG0KmtVO3IDNIc4E_I, ns1:RAOcoegCw78BhS34UquX_lAX2L_Y4saocj_IFXNv_LtEU,
      ns1:RAPd1DqP4gxjocuzGSOVDjVpbagHHz6qp20Itq8CZPU1k, ns1:RAQUxw6gSG_4uvLRuJ8WHRqVV2C5o2vSGaJ6P0fj7rc3g,
      ns1:RAQXMhOmGWiIhMUa0HEnr_YWLkUdv5ViHQ4IsEmKoZARY, ns1:RARfING3Q0PCenN_dhvOuqc0LmxYqvgvtnqrNXhpfaLMU,
      ns1:RASMhXKtYGU1yV3X3hoi2Vi8FPuK6IhDVPo_OeLTw7bH0, ns1:RASSJQZYt796zlkcqEErweibPQXVjZik2vN-A6TQjPnaA,
      ns1:RASUKBzz2S0W_dJMo3f_l0svPATz6M9zdpGuTXpYBSyMA, ns1:RASm17FaD5tFU7Jd54lHv6Vec5k2adYFnA_plm2XBRAXQ,
      ns1:RATDbny155FYAq_GfOTXWQB4vaR5bmM6YWeuOvoqgma1E, ns1:RATFoX06ELRUgvBf7m6rDC5O-elTZiHHKbDIAkvb3I-Wc,
      ns1:RATn3tHBlRq3NMNC67hGGrwX4v18uhr7uaBwRT1krJEHs, ns1:RAUQtGxOKktyJPvaE6SKSMK_9S0IUeW2pygdUs2KbDRxA,
      ns1:RAUqCV_6SrvdQUvkOXiiyWsXG3I_VGRT27QoWQIjQjwzA, ns1:RAUyXejzHRTqEUdMH0_MjnKcPs8LgChQKiA3xjrn30oKs,
      ns1:RAV1sBbsHIIYfnr8XF5wl3fBqOt7v2DTY78hd4m-1P_pg, ns1:RAV26nn7kfFZDMsOLu2VfsjxrvkjKFvLlTzV2rg7Z83OI,
      ns1:RAWBMQgovGKBTWMmE0Tx0aQa4T7pmpmphoWEvLT6Qm0EI, ns1:RAW_s_kwX50UrPqoNDZWR20qB3kcShCniyq3LWeyfCvaI,
      ns1:RAWeAzT9zlsOY5Rvoj8LLDFxazPnPJvBjIEqsD2soE1f0, ns1:RAWnRdJKIpuFODahnbmiP0WhkXCMEBzi10XsLYSomWnn4,
      ns1:RAWrKjSHxg6OaCsSXdz2C1S5fMoMXvR0rGkXleTJW_ink, ns1:RAXJAZD1hr5G6oj718mIsxrjSJNB4PG1GCO2DK6-hXWw8,
      ns1:RAY8ngozg2sKLNVmu6VepiOHvcsVD6maJS5LKMgxnbKJQ, ns1:RAYGlLuKZWTt3eodlGjiDmsNrtHjgU4eniiOezv4lAf20,
      ns1:RAYJoqCxjGp5QGKHyyxEJpjL4sbQ7-dvrSkoyJNLuRCtE, ns1:RAYexb2U3CzFyRkFQkybvl1iGj6ishFb0_tSufLkdpKvk,
      ns1:RAYsZyt5DSzs45S0KqH113DJORkKe3gqw1_gcKkpibBdE, ns1:RAZSuT7X-7XFOMz-xtISCubYnWH4oO4xuZ-FHO-7jGhKo,
      ns1:RAZaLUdHx82f4cMuzzG3CReOuElBzXlQw2V4hp7XrFPEg, ns1:RAZizkOBQBt0gXu-TWLVPwWNFxAsHgO2SnhZ8_CHhyTTc,
      ns1:RAZzDcpeCO8iiFmWsBKOxB-sip1Bfrpc3ekCS7vaz-hoM, ns1:RA_5e4blDZLwq4KpnfD3Yz2kl7IsAxoO9AFVKADPBE7Ds,
      ns1:RA_f1QxIOUCdLZvKfy1BHjS68ZOxsFUClRq24rHdwf_iE, ns1:RA_wCeToZ4sUrMffmWAWamUSJAWsXP13M5KlwhtCmsEAI,
      ns1:RAakqjYnHXArH4rWLZV-bxU_2FHz0dBcb4GZ1WI6wBTMo, ns1:RAbCWb2tgeJBRvI4QTSMCMVCTCfAsqFDN7cE-0GEZdJfo,
      ns1:RAbV2g2AjtbD_n53nwC5B0eERessUJbrZO5PVRzM6ioC8, ns1:RAcQejVQNxeTP1IYJKXy_yS2znT2btnBGylDzy7TuVWEQ,
      ns1:RAcZTMLv5ARnNdu6Vj6nNbtx6MaBfhN-GVN0dXjm85iL0, ns1:RAdGZYtJw_pNwEXR1FLNwjZgMqbke_NBEYmulG54a8o_U,
      ns1:RAdgozPIV0vlf1Zs4lKFDZ221H-atiOXfock7KhGiJbRI, ns1:RAdifHkoab49s4bNiFXcvOrqTyg6ZoxTlcTS5LfqJxGUw,
      ns1:RAeqZIPDHvkLoi_O-XRPrCzBDQtwigv5CkG0M2UO8_ypc, ns1:RAerds8EHWsNrLUwnzyDZrqcBl7uXTHxkm1h98MtJR1Lw,
      ns1:RAf53MLoQ3LS-jcwfHLktBqJY7mWFAkS_66oCbCJW0Ycg, ns1:RAfy-eVH7BPdBlnKlve5o8ZLfseHCxXFxVj0OdeOwvRh0,
      ns1:RAgLYijxrGXwrojSBy75aX4_r_F8Z2qJ1FfKI5JiQQoZk, ns1:RAgLndEhVAWQL4KUyl2GKFmF7sZDwputqWilTvA5k2bWI,
      ns1:RAgM63_FfgTCSrVBWcdi9FL7VOnHP3tCd4j_YTYsph_Kk, ns1:RAgSROC8EgxQhzTq_MlvYylcmJ0Xwjz3fRYBWyiIKl6UQ,
      ns1:RAh0UxI-HQseaz4wKxvvn3TVufOC1J6MVjiBA8yShoHEc, ns1:RAh0VkhUFARuC_FZpmlicX_xsdglgbyQFMwHTxJ3PDubo,
      ns1:RAhCC5jIZ53GMbwFnrIlxioTaPCjiCFnK6HrdDT5VspB8, ns1:RAhO1b14SOo96rXmJFzT0M1ubkzXWgvKmhQj-cKcCvTgw,
      ns1:RAhfvcoO5WhHuNEV7Uzn7uquI3qeiqVp_sNKsrKWxS620, ns1:RAjzCmd5NpLO7QR1qfkE8uJTR3La7XcBqDsAfM9H2BwRQ,
      ns1:RAkamowRzfYK1Q0WDVxKmp09RfLaGmfoe2jbLgELYs38s, ns1:RAl30KZub-f76nJ2KkYSOqMqZ1n1rm-s7kLV0ktjRYkhY,
      ns1:RAlMS06O1ybZUqangqEjq7IMcPhs74QeWPGc5PPIAiELY, ns1:RAltwUcP720oFpHDTdckj2TGjhIDAj9sgb2Ui80dsPxEM,
      ns1:RAmFaheoCjD6-pG92YsSPy7kb-DwvNBSky6xV84JgLxAk, ns1:RAnCC0x69P64MwYH9Yr_UGggIx1qDIpDd5-HsIVO8qG7w,
      ns1:RAnEH2DfXftMpvfLxTJCUgKmf1gFoC2O3bdSh1AVfI0ZA, ns1:RAnRDe5tB9qKa67_GjDBPz5ufvBHO9HAnM1xKB5lsIyF4,
      ns1:RAoKmqni6GTeeYYr5lL4lHUFmXOs70TAfpmz_bArW6x6k, ns1:RAooOFaxqkNBdXifief6Kfi95kmhcB-rzJHuh9_X8APYQ,
      ns1:RAosV9uaTSBA5mDzIsa8CrCpiaPqY33AlDOslOpk76SrY, ns1:RAozEWNgo5UjkdWdpZyeAiwH0YUtGK29IC2R9UMh_sEPc,
      ns1:RApmKxXbkF0GnRGYsqR-rQprrL232QZuOOLgqKRHnABtc, ns1:RAqqrsJuL-PmU7M4Y-16Ie7ZefuPW8__cVQUzO1epJwG4,
      ns1:RArMAQLzI-uruVHkIbG7sPNLuSbkNK5zDo2wMwRMdyzN8, ns1:RArTs04xgH_OYQPDn5Rz8O6cUJpJwRM6omkXjuDd4jMrs,
      ns1:RAs4dlkNEqvvQiskjOCg5VNPEdbdB-LMG1UDZbmJwKF0A, ns1:RAtnI5X18W1nSTfzulTMKsSu2gvNaNfwRFAn6MWVL5nqE,
      ns1:RAtx6IAw6Kh7sStnX4W7qD6t8agfpjRwe9TulNjyypGDQ, ns1:RAuQWhc6jg_6E3xylby9J8pYc7_AToixLfpznQSyhnHqU,
      ns1:RAuhsv_gtZl9I8LhrPLmOOejC-WguhbGTDv3RSi2Zz5S4, ns1:RAvjsbHttm2o-Gfh-stuQncgTzJNxkSlpEuloCzrcR6wg,
      ns1:RAvp_ZYKIks2Jnh6UEF7vxn0UnM_PrV58AL9qzovtcsHU, ns1:RAw71nySn48NA9oFN9T92WyoOZVD8af-JHCQcDmG8OGa8,
      ns1:RAx2I3l01yqXx6xVp2Ntok_pt7ro8RmAS3s4hbxPvXbF4, ns1:RAx6HpLY3qho2gUwgtl2-cz3zouILxUFXuuDkglwbLDzQ,
      ns1:RAxYImktvBY_OEtmWFBfj1FXASvWjZNjFfHVai9rXw41c, ns1:RAxmTvTvjY9LlfTIArt2iWyzNX48PKFE0YzwRuPtjAJYE,
      ns1:RAxms0AZJy60SwiOtH8KjWKcZz7TB7vHlZQcgkSfHF6GA, ns1:RAymfSwcjfHnACwOKGp23MqrDxNBTvAfifIhTtrDGE98o,
      ns1:RAyuM3WtbV10sgPxqvVroMFrjqb28H3sS6yZq-sCrrpkg, ns1:RAzw-5B7jP0Qj5UVkljfM89mkj1jDQRSzT-DIKtoMtUAQ .
}

sub:provenance {
  sub:assertion a npx:IndexAssertion .
}

sub:pubinfo {
  this: dce:title "The set of all signed nanopublications as of 24 July 2023";
    dct:created "2023-07-24T16:44:16.543+02:00"^^xsd:dateTime;
    dct:creator <https://orcid.org/0000-0002-1267-0234>;
    a npx:NanopubIndex .
}