SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 5# , ]]HOL-Nominal:threads=6elapsed=6.598cpu=14.880gc=0.880factor=2.267zXZִF! - ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ4NEemCUqo_#(B%>')Ig$ڇdD>-KOs'*W?7 T5'd c~rRR{*tsȗjud[yr"Mk\yWQK?ch0۞Seu :[7ŝǫF s*<,U3G7d;gS@#(R@W߼9WxJ;`sגn{yu!*j<T6*L\'S;TZ @3C3WT;h6T_K60zSf瀔 Sa:/X9 ٪E:Vĭ:;d6i %3jd{pT]{8՚jғ <Ҭ>?,c~%seѱV$Kyژ/fzRBL=T_,]9TUч9 K,GJN*w^-K1ʫνźM1n` 6`#?ӡ3jiBLR몦C WM"(e#K~LoZ_Ǘha,c2&&i s|KaKW wEi K)u( D/&-HVZ|iUJMugPKڧ?c@+QZ-cNi{Ef27ê o~'3V,]-e6V9Q&Y&wy%'p? 'q_<;e,ԯ H9ꦤ,yY79ł:ꜛy_HE\`mu^ODMN ddWعw3b#A%On '"#hڳh^R2w Obi8ATMgYZ7823ed5334c7a8c469eabeb752ef4ddd0b5c4ba85d3df3e9a808a2e76c9506db8ef56a1f0ac90c5c 99522e89eae0e0595207e8a2cb989772370d8b37 09e907963e953ddde96fcf978bc234dc629ac5c9bc6ad6394cf00f107bcad6a3064e668c8936d195 # HOL-Nominal