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+ ,t< ]/ Euler_Partition:threads=2elapsed=14.179cpu=25.440gc=1.096factor=1.797zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jOBI.~A7PuOv ѥvE~Ԣb܌ionB!S{&uZihR) ovD6X>yj)Kpx?A>u+Fܿ!Rcj/)-0T S'gW≥L- Xaݻ-dAXMQg/?<#,ӎ{VA0##Gu D?׌hVYVcMO&?PY?/5= s^kbeŅ͍0^Mֳ ~ݣԏم/wOYoIAy|S=@{DQPd| jSRR ǑeYԚHKmlm̕HkBy2!,Ƒi/T+: \|HoZgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W&aMGI,kij?ja&/;3jaaH~GMd6ӗMCф/ JԈl(Nj& 6jX 1k2IO™P.Uw?Sz_`gYZ7zXZִF! TX]ŗXi%>gN~Tz@Tpn,i24vjoVf" {^v=\0j),/ ܒԽ[, xtطfnt*~WG/eBo:nE[D@RQ& mי1O,68֕N|T-,gmKݡtoΩ}}xڟRUuM@ CT'4|[OIU,<guP nud FUXN*J&mV@xtV/t٣Wou^gt N2VرD%2:-8^a 0Rrkd9<1ڰrsѩ6:I#dKx,;E0y WW6խop5u<e0kx (~ ##u]2Mwz#rؓ_RZ ,x H4=z6¾'? &&ehq^*>BkۙvG.]yccs cHk{卙>xalRC>Fֱr&I׆#(Wx(Σ u l;A6u^- _i :hX`˳x l Cۛ4K +` | ռ3 1J9oU`]{V&DG)@.bt0bq3Z0M+ |vxtHs"mUY>gOل9f6R”=D-8 ;3*R2ޚf?vWKZ+bkGjpڨctP|G7ր[@h5:8]x>xxO<.o7m_[J]"K:7 lETvmw=՝S+.aY[".[A3 {6ӹ_bM$M Ѯ;jl?onx ]+o}Ӛ uk~mqχvy5Lp\aꀸĩ2SldyP V&[N3Ɩe΃Y=]k5m禳JxIPVWNBj|+,rt%9,NX9ɬq\|4vÇI;d [?Y0"SPƊl%7úIPJ*o+q{(Q-+t ٨-fgYZ3ab1e7157ed064ae2699552ce915d02b6e2aa6080779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f + Euler_Partition