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 |+ \t ]/ Euler_Partition:threads=4elapsed=9.726cpu=28.016gc=1.052factor=2.887zXZִF! ']ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjVZwJzI9_\ܨ:-1_x J{N^z#nQ꧄P1Ys #2qW }uYד?]~ " XF✡^n6p @$/LA6-U:jzO=n;O_L4 H)P;/P2?64<_:H &FtE;PъhD,4$vHT5qq` ;OIlj PG!}aB݊rEn{5e5Fk cto67x`ӧ .MPC{Sma]RHnQH|1'q<;5<28Ƕf}>`dc &g`PZ,óKC._ 2.L4q$x=TiWa?MWlU9$ uW_)@hy  gYZ7zXZִF! K]]ŗXi%EbbpH © ܔ/Sx`ϭ3D /R/^T$ܛ??ej#vwޅC_׿iq9;hHJ.5UmCMRf*G#: X @u+{ok% #@%q3먟nȭs I"FDJR?$xB=3O/sXUTNႫ8Qje9W1|:^J{.CZ1> >6ufhȚ+55f`1,_9&xw `,E>Oz0cnii4u9>JPby#Sv^ P>7`Fޯ%d0-?ȉO!n^G֮ Pp$娶z?s%&q> dtpxgڝOʼXUcd&V9qɥWۜ#>p$̓ӱH o611B: XuPNv|fBFtzBkU_ КT>8Xj"``|g"es «O"d y5>HcYk*k/ )֟"Z8k,hM ~. b D#o Jc(o*mdծtx@L2S,(\d3mȆ ,y@̳ahz*&֜Sq`Kx:7[ԧY/b4auAkKMK$d}X7$B"/.l$:N}G-yV΄dL ~b qKR,2>ONPEᠱ0EɈ^]HJ T?C &'o8Qj-a*C_0 XUhXD&$CgM1h?Vd Ef`]J/^2uG׏S u,+9U Wf!a`|w#P.k!(θfK',ԞUEeAVO(2p免 r.6/oHI84{nOZc: jU ޖn_ƱgYZ3ad0457f4f82185cecd6757945c22ababa925492eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 + Euler_Partition