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  4L ]% RSAPSS:threads=2elapsed=21.796cpu=40.744gc=1.648factor=1.877zXZִF! d]ŗXf[&$'ٙ]Z}_8K&,WH Yj" &N:߇zB]S/=N)%-rWF-=]gQFj.%#9zcТ˪3ڠEwȜO)^.Aό"7)R"xɟt }\,Ejb ئHM uI3^BooZ0 n.ԼזmjFpAc`` C뎚_%)eب:Zohߊ+UrFca q5uĞqBK&Kؙy Z5Au\czH Zl';W6TZ;uYzKgdaX_ V6ЮQj _4A]YA4$JCSIeYG2\򝀺s2u}W'I 2ݦ{tW̑IƴR{zPtJ,ϴt9|x)9s[wc} ,CZM;|)Ok=R6\*5aevGl=yC͑k@06@rI*A^zs@>(Tar (ƱgYZ7zXZִF! 3]ŗXiɟG@~W/o&EbB%xHqCWȆ0G?ݖ#fv8MB?Rov>.XN, >E Q isZޫm|-+IBEEKg%u֋(zϚVk-xPhD`S&,$b0QgѿuzĈ"6jn mGƗ`\4`iּhW8mvGPq2иHgYZ7zXZִF! v6^]ŗXi%>g`h ZmOŪ)u4F[&@5w՞;Ț5ycֈ6s %Qp$J-uūUXu t,f|Qĵ.<-Gϻd* 5~eT@}y.XUk3gK \gƶGZO|r ݆T6!!j]yn\Qڧߑ$t{͸,RӗeRP[*Q=өմ`^nݵj8#`w .Mґn!a nKv87iHl,O*I"|ynl;eIԍ Yf X*=TnLS݀⃐C?Hɶ j; P3l%s{5HL_D_6!?mICC*9Q9z!qSW4EJ f$g5dQ"a&"urk'vkE'ulXtnl8zPwE *afE+NN\dP?a[%,IXs柔ۣ\vRm\#g9VtM);Ҧ*$f- B@݆Ѓ WT|ю\POf$d_CR1UR Dt`c5ٱ7>Kc)AOuh&a9vhLmƊѼFsWnf4@/:  zz20GIn;BS CnOBpZS;nsNVbvZz$wBhg8Qzc֩IdP ۍPc}R{$ñATC3־&ljLy`3 {}wA~O̝|ЏYJÀ~Fϋs~>EfbcuHUC!N Vd3 4PJ6x\qѪ?g֌dJhhẅ́ lQ.JS ## khi*U=},}>Hh@45TÎ?E&0g/zc!2r~PIw /n7WʁƻwH~K9FKjxJ/Np'y)jHiE쐸b;NϊUS;>c/ɼdݻAh RUV0 xSl5J_i@cٖu"ܱjjaGof:Yn-0ijuE mꋱgYZ9474b5ef3731a8f22792c93c3ff3ebf98246308d0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 f8d9964663e20ec65b7acd393e357a95264709af d549bcb0b6bbf77ed24ea151aea6d5e37ff26ba3   RSAPSS