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 =+ tt ]/ Euler_Partition:threads=2elapsed=13.474cpu=24.628gc=1.068factor=1.837zXZִF! =]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? Z|~fX 5:]LV`.afQt8ՍKwuSlГ|:Lr_o `u-hQ~@A]oҿTP(`˾J9# 5IP;$'MN8΢>,l6&<ѱDjoY9ƹ*>2&)\O*AV߳gN\J+5ELMXL]p28~(d1I#;\qFc &UD8R;:tgPͱEU3*$ٔWxmR7=Qq4!ܓ5 :a,.JRMf`Q;\o"yʣq&VE(a~ .s:KSMں5тS~ygc֢AqdgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W&n䮃ZRgR/yޜYQ;|l/%!g"˚2[ߥrqh~z2.Ձ݉֞ũ3`;Z3?^Qc,^y>$BqFW> {sgYZ7zXZִF! Ov]ŗXi%;+RKjl?Ѱ{CtAvƅ,_'5>` 8=f ߊP)X/"{Uf=4W2B4AVv )y7=^ $H@hEBmϲRfhZw:Lg ۇVR$mW=gT\v̟kxȠP%j@]w'w>/? arpvib'M },(`Z"Bb$ CC[`fehz(I12}9~iA2^2SNó}&e)kЁ1U6's%HD>L !Z^~CXwFEN[w}!}ܘKP},ŋ3d J =wGBn1},QQx9>p`buV X,$Q;.^ J!cj W8&NO„43C |H 袚5MdʲjbtWej5j'r*~IU}>* T|39gt `7IWw>!*5&Y"1vͲ ($ih XnOa1lxٓr{ݏOU>a߃kt 6X˅r۽!I=y,2 ЧgU(xXzvswc"oi7LKH{5(_QɯF>~@@&.#{Q}&QV# SkU!67l\~P(5"4!b{~f$ǖ MJCRvJYaDa ABWhXUZ~1}|u KThI8Ruƾ<lڌy)>M\ꚉܥ{IJ *L}#q%XKe8aHڵOo#Exկ3"\ Q4wx0= ̞#Yn9\ZCC_xgM'T y ߞ^WtsYءViӢ32"Ϫ~ˌ"嗖N0وx&t gYZf12f212ec7bf7ab758f0afbae706957515c62aaad14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad + Euler_Partition