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 [= $d ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.996cpu=26.496gc=1.364factor=3.317zXZִF! ^K]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXLINrЩIwێfaV!HA$Nh*ms- R|ݸ1Y{9<$i}uZ@ԫm SߝW2= ۾者C/JmI81_Cbvs Dn{z6 +rtվӫ6֨bi2J}Q +2%G'މr%lXW7K3>Bxoi󀽳PMWBltM<$rגjPDETQfwKlliMK"u{B*f(:H"6EvZc[dg7Lǫ.R.x"N!`\-èE#iTꓪ1ĥv=J* ] "0J~T8Ap5 FS='PV⠂n'fȇݴ a@PgYZ7zXZִF! &]ŗXi%>K:]nM3]vvuv4XƼ4$?$pNae'vcM#Ip9{Fʒ2 ڎ|^қio`lK)]:<GhAy^[Kߔ L** %mTʍƗWВC8(xy#﹇Lp4KWY:2[L'O'Wr&+N>*NGMlɟw3݃PvmA(Vb *FNZ'[_ʽ^/}](M~4.@ w,E0\b~pDv4+!ӗۂ`3up%3^q :Z:0f[#wmqON._Dn\ >\FQhjm=fǵ%1w~=S3̍`fյȹ@9dؗS#5@E^YyCnh{2Guz$n!gROQf9S)#LcΛkΨF" <ַqSD"մի!q/έ6TAG0k7ˈL}0%eW>ߺ֦r=ExT^{H׽>; GY!ݎV=UIP% 6%$969:+>+&tŝKyHV-(WM(gYZ1e4d1d6c96361119479e7f7da668d47b735cc5a3963f5dbb395fbca1ebca428683961ef28be59393 27d8a2f2e6bd96d232df533b2f806252fe1eae7a b25a7482d85d598bd4d3ea67426031228d90b41c fff08a645afff924fc158b698b94cf7059a97de8df820b131d4da876b9248e686fc3b2e718dcccfb = HOL-Nonstandard_Analysis