SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  @ @=# 4  ]]HOL-Nominal:threads=6elapsed=5.896cpu=13.616gc=0.644factor=2.317zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯}NRvB缚kKք?4DG$X/Fu5̬A8o~}pC3f6P#VHO /AIU w-b+6gm bB85?&M_6'ػ̡!#} i/ gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Î_?^Ygé^W?)A+2`I'{J}YZ7zXZִF! -]ŗXi%> rSzq46XLcɭmBxp:eVy}d6^c\|@<:bȪx5`dbT,| Pұ|m`@5$]GLOKTGz>;% =T UnJ>܅7QH\E{i0[~8/a"m s<hHK]BPxZ zၙAoقnAdRo4]|BCg϶1S`_!q%MKz+ :`߽WcԶDDP>?jϯk}uR7C7D'6v7K^."dב&IfޜNۀC=:V=l`hP#\a%J~o*Y$%-\gQu rgGm'fȘᙂc`5 8-^~pFt>HGx\?@O`Ȁ{VXǒHt?#Jth5FޜW׷*mqh[YG@9kL]F4sCsMXsAi5DUh;wSDudn DqNr}E* Y9=( -~'N!u- \JnK B)50- )%@d8vDG??} }>T&gYZ18b3da0a3d4fb54dbd275297df4d65cbb8fe67d8c04e1f3fc68c567f1533b0f5b3b34eb18e002e69 2121a2057db2e3eb3a417401cf669cfa7df5de5b e131cd3f43bfbd9c456d28338c322be42ceb2e19f76e38861b4567fb4d522ee473380c4e24d858a0 # HOL-Nominal