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 n dD ]S IOA-NTP:threads=4elapsed=6.450cpu=15.576gc=0.340factor=2.417zXZִF! k]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#Twf'g ]R iPҒ߸[\R6ːjȠm!Yh;ӳ'0f6T!q:l,f0_{.׏xJ.˫srX#ek^1H^n3-+P?Mr5G^T =}<#5MKa}\k- ٳB@¼31E9%veb{;x]4oWrH|.]qĜ  VxsH%m ABymgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz#J^ꙶxC$fa-ηJ3:]iw5eȶ>x3fI2.shPWA.H˄G7T8Ԭ ><}!3V`dxz?xzY{R&\ztk'tA(Q nyM&%,@?45#ZaDNcmgYZ7zXZִF! &]ŗXi%L YjQ+Obu,\h6LfХPbwy*N:82Cj_8%7YV{&D8bC?I P?s4qdy~C]Ime!~* `oR`@&EhZ:3 nm20;TiɪtP^ܱ]wwPi6%+U/AG$wN jl'Zt+x Nd*8♒N~㝳nǁU2/'t o/2J] >iQ)/JvenclNLdG{WNp%c@K2nh 0pZdϢ|Wt ŧ-kG+8w33C'BpPQm XP/0>LtGB)Q41Y댎e0l_*ڐCc|~'(²ijc|WFbwʎ0s:m389o)/0" / ;>Ք6rzיwqz궧(}&C¨| A!C$ܫNc aVٲ)eA ̈x 2z(Pr4}@3,(G-ЪKNm?'u5Z