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  = =8+D  ]S]Sturm_Sequences:threads=4elapsed=36.618cpu=121.544gc=1.752factor=3.327zXZִF! Z]ŗXf[&R;~e3_eF dtA:'gh~{gE'>GBc3ۛ #Pɱ .V$@kᨈл [fT JI3m-kG}.ѻʣ΍kH2ճcffPRp|2.r" 23%ś*BL8Q?V/U ̔$i<)⻌ q kaPM2NxRM=eL)@5K)݅Jo҅g$_6psn>Q> :f?^5xA '^mJ$_*ꐾ>NJ >BImYƤbf`[2щWdsFBk 拝38d{lI2wFթ؇(0B7 + Sturm_Sequences  6[]@kcV@gghd f7']4R-JiaUCh }V2M9}-Nɹc -r}n3/f8MHiJh<޹?d4 z#܁t|D )I+;YA! }G} ~IB 2阣?4"TOHoCC8 볮[P5%>gF,egYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ n&LX2 xn9a͊Qӯ0A~dvkbt69g Ժ¦83$lgy`4Q->ZkD#BNܦX;g(i"$0~_S\6$1`*% ,g"IJ8댦¯# f squoM}C^gi %GHEbW!X> >sQM3gD D@<)Icܺ&LO lQa-ΎSXC,T)ssp >=rB;tTtV+ˌN3$a ? Sa?naP.)w4WdpC NcKRvj\~Bzw]KlVD2AH 9> }! qڢÓN~xZc vIBv;XJtGyCùd!6d ;h(mRiW#JX͢pÊ}~U"ZeS+XP ; UuCz~YTotA 9t{3&YZ,D&?ߨnvx 4!DƒN-K7%ElDNt ކyCIQ۳EOZ)â,/M.Au eFcWAY5Wmr`~wbg'`*D0*"ƧJ\JZλuPn&@ͮZ[/+Pܼ2GC'Ou+U Q@H>efCf|g5:FנNqLpcc,|VIY452#(o;wK5<<=ͽ}cS0E-n#Z?$:E}He рЉ10 ?Z&p'SW6J[QRw;I=!LK3joJmHvS\ 2S#^K&v"{!B͐h,t0HN g9Om7~]>E 9/ի ҇ [Fek)04$SAaf`};h2R#q}X Oѵ_`+(];aK ?;H)]N34c%-)&;;#ae7 &ٟfgx)&@13 ``~_ÓMֲK_]Al*좶 8$ï.;I*&9}G_T封]eLəV.v7g鑟5{9 i:qdğ7sxbȱEfUc3(dۿWD{&tV7K ϭ<|k;rzC[_u.0`TsѢJQ8"r b9Dד7>~u?䏖Ah,aPQYih{ÈsO"=`onLI\i̬!n nO+lE&F(1s_0D ڒޛ_2U:= Ix3INї/&;4mtR\ f$2>;4L'X4@6%#H0xA楬:%{HKg4w(1V4X [mV O~ @%?9X:&_䉔:Nݽ8\nޮ漩ٞ.Ec)3G(|յi Ft6/A{Z'd Dv#wN;O!/#-;}>8iv9w[ܓ\DdR R[[Y!XBk)aPeis6 #bQRƒdBax盏܁>O5|{(Ɣ`A `押자̕K8'z' 7JBg$}gٱ P;6 &/(5V $hE:$.J+MIo)+EOOFһM FdD;`_ a4