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 ,,Q' dLD ]S Zeta_Function:threads=2elapsed=14.153cpu=20.356gc=0.448factor=1.447zXZִF! )]ŗXf1-/6vRZkBO&+'/vҘv;,^&5ZBbTc9߫?-M*F!!E-7ZSV/q*BN-lFa7U*hOY[ % #ukatZmsj9Ez2F ( nZ U^YnL9הm|݀5x6dxes6Pog_f.ԓMWC'0\<DO\uD7gYZ7zXZִF! `]ŗXiɟ ؁#dԗm.o8S0֟%eDMOhDmbf5IlȫIz\!9 1@lڤiCz~ IY2DM: $;k"d@$pF3Nŝ{|Pt< la7R?ْϾ(Ԙ-.wD|'@R= )yIu'y^FCʠ0YU8,9^B\`KPR'^H*Kxg8כȍj Ud Z,Q2YN`^=:iG^CimﳲhT #2B&>t-2DP}! 5ϭ) v ihya?~6!oԆsn~ka5;Xʓ_Ь$ pȣGuT 1;yƿcL72/+$bʗIt U#:3hcS_[rІN Cz6C6m3k]Uw'>eԟH{:5ٹ'/kH^ .wÑ o^tȫ/W L "g{y "dXtAIUVt!kK\Eax z`H_|?Q0r,$4~fu/ w}-zgt> 'g5 .,#ׄPJʿƒïiZkOp{4Ll:,zhUf O! _[Hd :jĚEzxi.KSg!oŒϕwٙ{Ua^V`r;J@_Ч\k))rAx;(I/|P1/: |]^ Jn|Eh-[]j|6ngb"bz2둄C-Y@M.ZW_S 1cTH #M z/̨eP#~shn\}kNMCpʎǼ8zaV”Syhf3lT$0{/`P[!PH~[}Y`9#ʝfm8#ͳE:Gɝ3 FgYZ683b7e619b5220258a37711ee624605b68ad4896a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 c382ccf41ab8971be7e30191e1f54a96cf9fa69e 64c3bec3253ad4a0ffc670140ea538d209780b15 ' Zeta_Function