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 u' tTt ]S Zeta_Function:threads=2elapsed=13.831cpu=20.160gc=0.520factor=1.467zXZִF! Y4]ŗXf1-/6vRZkBO&+'/vҘv;,^&5ZBbTc9ߪ^_ oYf{`m$e.aW$6w@I~dس*/_l`Gɨ_psǓ"ocԳB7\̿305X˄seї>2>( m82ekG73AK2zG{s/ה@ݖ/5`XSO$iAuKjlW_һ Fs Z8Sd\kE-ze,vtx6P퉢1adgYZ7zXZִF! b]ŗXiɟ ؁#dԗm.o8S0{k4 )3e d kA pΠ/ogJhA͛^9~?4 Àn؆x~o1aȣ8$l 1=1Sk# 1yF'!&=gaۢHZ7r$5AŵeͻyN^D翘7l%, WE[OI)acs)L5B_1^~se%Do_IﮀVdj^n%_7O{k&{C 3/мpK1p6:,Mϭ>m"uY}W=7z\1!7Μx ;A Etr8 HK8rB g{ReޅB ƕhvaS:9ɬȚ؝jXjŁ|6Mд򍍄OA5g<1ܻއd"$P"?PQ)Z9>l^*>/p}tnW_ .IZI'4v]? f~|u u2ݸ^H>8 B$ Zы72C6Xؖ6U %quYhʾRZ R= x6w@Gva@7m})jո8U!nbè}߿wGy?7bCÆf!*vCE,R*UNd<_70}\Bg#\E`50 "PiA 杻lq;0KQ382F \/.jp$`@&jVӨ!aOiYhJ$v,O*C^QlHKs)i*3 (  gXgYZ683b7e619b5220258a37711ee624605b68ad4896665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee b16ee08ebfca5967a571197bd3aa95bb88e6c232 be597b0967f2b465853774cdb021fe82cc275801 ' Zeta_Function