SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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=4elapsed=27.758cpu=93.524gc=1.100factor=3.377zXZִF! ]ŗXf[&R;~e3_eF dtA:'gh~{gE'>Heo iX@)}0iN9џwz qS^XTbX)b7o nY!y L]%*%;2?9hU Vw@,זWM,Awt36ޫ I_1 <$T煙oSxjlDQnGKt_uE} ú^~M>xKFp*$&PiTNj4Xdy*4iemKZ"/p5/19q + Sturm_Sequences  Ԋ)Bq'UgrĖ+sav#JIRɗϝ[ki w:5ʑD6bScZrwnퟛ %ʫ&d%A|]ous/h@CWڳ6$tR>jё^b""pj|0@%jpgɑBUOqk@4Ec۳OX/x Z@D re,&,a&|\1\Aփj0%p[$=ע#/ÏS:Gwk֯:T˲ =L`fS (7bPB+$?iYf uL[8 ogYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ n,pP* 74f׀ fAM &a $oZu~>d7:E928E>M昰^ue;rsXc(>Jvۢ4sŰY~5"1oN,a+'$_EaRPkㄜ .[ 7@*;P n(n0\B%`L 05+[HQv&OpJ=YG6(^*q?C& Lz9IZ\ߜ>=O4u 19aMcB^l߳zs;w޴UEӳb.6o>P"OLpO-͹;+lH&qϢGT~4lxk @Ί#El4D3:/Ü̡Rr#*'[aH(Ƨ Jz:=4,5UKs^%/uo9>,) O"PQ,:W"VH:G!ܱrq%ӾՃA27h|R^?(4ii"4! 4W\$JJY=Sѱjg0fn*yQ>XUF̟~*PmE -zq\e iUz1TX^XW@bQxxkGmYZ C+.RGZM|%n4~fGXJ/xczP@pw<$鄺CӭYq<mDf-5jovRwƜ^xϢHQ Z#1)A'TD\wPŗ=fؐL|dI+:՛/$,ߓ;:—^DFÎl^'qo4ud'IcŸ6X -F):8wUoVf/ . ׾4 r$f mˮKX>x1[>Ȼ54?nliҷp5 V7qҤYu ul,G bK#EV~3*]ر0NΔ*6Η)tO=]Ɵ|Wfv5m"V~m*^;唿R"w.rḀ!N<4KGqYӁ|A?G]YSϥf;KcB鿁d`rG T}T-ub.&R+kzPx2E :bG'_hM0:feu mwF5YV{$NJ' eIzqQXPuxE8m:cɋqR:z|®p* ˣ\#UkGɓ7% el7PͯG=SxG7@I₌OOa CH3} yP ^g2usQz)IXQJ'O4<<@V]nI8ꢆico*E]cS+[bi+Mq郳Vxt?&mV J6vg6f /[.À.Z*_7AbPp s*l|j܇ゲ,1vJwV4  ۶FJX c}gˮq.朦#t޻Ra&`cEςB}"sXw0O >W,fK2xuGNQT$!^OV1; zOέf%t kSl0;yD5@<{yRaS9{k,w*t*o{мJz*J2V.;\]I{~ .N=57 1Fg|;% 8r Zdq,'Cڂ?!o)w؁JWKiL>E6':Ψo^T܍$6cdg\/#d%{5 fu/KS_(@:56_"Ud$KaW=Ri%u5UG Ы"-šᬅ^3lֹ9'Ўdn.IǶwnnz: ,UzZgdm50%G("4DM !ND 2y"4S@lo1)س2TPt98vlxtcJ̏fs߳NJ:n,m1ΑCDӸ*x!IPd-4@ObaFc`.IKļ9)=ebԌHG$wyWc`KKf SQ::^(.*:C1!ſj[`,Dv^`:Q_Y,ܑ1q4'cX'y>E[>ca)Ey|cb20}ntg=ʵc~(6K{ZgYZ41ed56de63aeb1f2ae371481d26cc49fc7b8c991ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 5b482eb4bf65e70d402e8ef0ecc74186f98d1c5b6cd4d696223c088c0e56c0ed856bb3be798982fc