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 q+ ,|, ]/ Euler_Partition:threads=4elapsed=10.056cpu=29.564gc=1.076factor=2.947zXZִF! M]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkt8GYDQz6%*|OJQ$jf;)%QUPC.;At8mgށӃTma^Cϻ9ɝr>;fyFNU\g.'XKRP_H8ȚnʤETqjȗ  Q(dњf=@ I2[PZp1%q_3}^pӾ`ڤm+c_D U}gKIXH.CkCoZ'E V|9Qb< l/zY4H RG4 "92&)9V :=| u_Auq ҳ$uRƹÓr>^x,1#ó `)Q2n\cT]b5*]mD7"~4UFhw\[S9$ZY3jq\^E'],j#Oz> T~ӳ';H(%uAgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V$k"C Tk?MAOƌ85?o&)8qYAs7E~?%Ùh1-n*3@̂wN\T~hSvQqdUvWux=>Q956`gYZ7zXZִF! KM]ŗXi%GV@"Sd@' ݈QN:ϖ^VãPn0xׄMdN# ivſ!xuҴz~{AښYG*}F("l{bu@mqBf/h?x%B@ovkF)JLkgG}XJ?X]k"yOJtCTVMOXAuѤ'˻5jޘ:ULBYWwY9(aյ*_ `!jZgtFH"]Hʆݴ ?uÉ!ۃ]+ʓ*gС (W*?qF!tK8M$|J=X\:LQX~W*|^OO7f4Awˀ)4\Z~c)O(4;Ba55}i\=,Ft_hH8agˮ׫uzq5mJ4b_f=/ŧds2H6΁`X'qPdÍؚai74i URx=u}O반ovpRLf֓a5}6-g&m)$xL4@<#%&X){ijMK]"AՊػ2:y}\w&LBj3z $R]E/.ͯjYYK~ i-gӼ\R_lʳ$\a<dC+1>lPP!" 28I47yf-^qulާ5BMهLJ^jEHxě#YhGk+xb$.}aH=hrw,'Ӻ|&G#ʹ 'ϗ# `R}lZ Ӫ iРNV[nn'ɪ;o,.oSYfq MM 6p%{Vo"Wֱ(>;w(aFI/L}#ӆ. _wG=߯Ys(aќ%\AZz[_ 毫NyPí"Ӏ8|E0xf}DkP׻e7?tL ?)p03 ;m|/*1 ,Bz-:ZvƾyV,nGoӷ,T#*w4,/,IrGcJV3zS/7 Jw,$ P Ud=/kd=Љ;{gѣlfa]V́&<\ P]ӽ q|q{ 9 v ΖMugYZ8f15002a4bb34d00cb612cec5c8f9b19a81c21654b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 + Euler_Partition