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  lL ] Separata:threads=2elapsed=15.286cpu=28.692gc=0.728factor=1.887zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S٤g.Qjd>IjЛ|ۄ`9hS3z ĵuirlɑilu%, C7x|ʦ :XnM"8QϥΥΗm;FCR*Ӕ͡-dQkNL]rИ.dRħIQF ՟!\H5`T(A6!]b+]eڳ%)֤NZtp~Bz`4"aup-G.T]s^SK ɝ1tpF~x~4ICD`gm"͠>UM Pw՝"4< L(4iP 4?r吷ҠgYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰Ko1 4XY@xhL)^ oL#ki 0)BsRHծ[5U~牊se$L_ujQy׭U@|gYZ7zXZִF! Y]ŗXi%;C] =LgSqMi#RĎ=ZScT.ǑB[& wZG1|p/c/ŽD°͋x*qYS7HE[W/_HQz`oة|I+A72 D8}NL\> +X tөN5h9-)+(nj){pri}t>%,:\h%SH|ϝ\1 /tΚ=bn(ah}7\FotmЕJ5Q4.O!TWp}UT>\LB G̰ 1 rߌARb?ي%`87 ;b@B<H`jaBMZ*K=bk _vfr(}j k[;ke-~$:sŬMf`,icNuW\>ɕG/yAv!"k/jN>tx#%@'(0[qTDFe/|o$;̯^7c l+8+Ziy_K/9t k\93ʕbLw<DmVڡ"0eDAt)BJ*S+/D Wu D30&s{ SM0NbZ{7E#6A&.H5ߪ\ff$4zX^=?VL~FByf?JIG%|@w^9> eHƄmekkڭ^3&š-Rѩ+&ů,~ s*u[W!Ml!N3Zu !NvC9/=T4!׍W?疨ҭǵxFxj9mZlE5ij5pu7cVJ擫\~*Nf,KxhmƏBu9U¹C]J >(͑O3A,߽7# '܄"o|B@g([E6 3YI2F{[70 'hB#Ļ7\2kro?o*y滷f-?nCVOhy<fƒ;veK̺SIJ8=v%88?P ľ>YVSUV\'5 X]Np:ezW+(,p.Nnn)kRkSK5r4\g  jѱgYZbd4045b25e5f09672a227c8e8f497b9943697f4ea70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c   Separata