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 ?+ \ ]S]Sturm_Sequences:threads=8elapsed=20.968cpu=84.020gc=1.792factor=4.017zXZִF! y]ŗXf[&R;~e3_eF dtA:'gh~{gE'>E<-d᭰Ω 21lmi&%ipϪ7>2'BtG XHQ?l{5t@>%:a"6VR$ y1Mü3Dz+LԠ&Ǻ1팹>Qb19g`5N`m*x~iX;q85|\9Q#a]o:[<6 a% +p;H{uEaW" |H2/H%p:fk5B7'2ьI[4m=V2.rKXA W8/,ۜl!ҝ R:@hĥ6n%cnn K9-ʓxnXOj| `ygBid-aN IVM؈Y2sG3&9~#rLsj_p)lC @ K0zW煼-ˢP-4Xl`4OpxhlBH r"-s|pV{$)Y=wPA <˱gYZ7zXZִF! |]ŗXi%>t{,IeV9laKn57~fBXSrfa5gYvpk8_S&-[_t`0K 7NdmC@4U+hX'$INFso8`z)'gK?].׳/tc.!vi:(+訿鹡(&~Z16@- KoxFWM\܋-=sJ 'q1|1 [cݘp՜Lax.4vͧ7[ lm͸|X1U/ MU&X㾍יȼXpJ-f;3SMZъBA+ q-i n>XcKoPņy٭%&w3Hi/#w? c&2dnT_?>J7v+I8̖JL;.egU՗^Sw;r+-Zz?esm39'z]=-4!!oYF<ԑ"R"o7!ɜ+~lIa" fxAONx.Z v33dz8=s_ Cd"@^*#$ޣ~XgZ%V-}FaHĽ|sGM9Y20#׵s Yɍ]u՝KRȐBNR?LMr~F9&y{1Sfz&O،~!K~񶯺&K>/~2 ]*l<3xX[AqhS^Ph!D;ΉG8bV6VGM`OJB;;~HӔ/I#VGI q$Tsn+l7ʽ8Г<t",V2zWS_(0O;VAAjʢX,!_$gU012:Ẋ/->a /8-_/.g΢AEGp}, T` 2O{ +7<'!x&WO2m,`W2!)Ok=ۃ(>>;f> jWnm Kimj÷O cY5n|`oMfDvhe |@MǪ=:= ia ٝ6gYZa9658e9bebaf5dd01275bf9a81a7ff2498e9d0fac58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 19b45f5ae2df88080122fe827653eca7fbdfd0425c4960bc307c3ee50c8221b50b15603c549d8c09 + Sturm_Sequences