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 hh+ Dtd ]/ Euler_Partition:threads=2elapsed=14.647cpu=25.768gc=1.048factor=1.767zXZִF! /]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(?p?OJ{rb%6N}d XTúM\te]'2r^{ 1ր>QBͪU+7(X*1kQC!MbИ\w8/G%i1Xq򚯮(~ܫM@;aSh Vu]d6PFs_/>h>H>f Y11=q0rd4{p ?n3(\HK <ոX˞C^ 1]E*,Қ/u^+yځ4?m7W?[OCUn- |[T|^$@Ҁ߲<@)-NR"hj)W6g&{O3x/U='>f^I0\F$Bdd|\r|m?qPP1dx(<_#˱gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W'rO!&nr'dq"m:^X/'T#SD 0+.>k3Z 'WVټWÑdL;#cݝή#CA۷mOu\ +A gYZ7zXZִF! T8)]ŗXi%;CcFt7owfHjTݖWPʰ;,CNf`eR=~a'QXY:V>\u6Łdjwd%Ivr77Q`H G&',$<Ɉ5OvW/hI$KCTSCnfSm4 nw<%ŠLlelKFw׫JHվNMH;`Wk:J$Urӊ n얚ڦfOVrG3Z=K2&)f:;fZ]- #mdv<AEuμ7kN"ܺ)@W*LH߼gv@84ՏIV` ? w(+z'v-X]/v5Io͚Lu!O2#.q\pmtv!{9M[ t`.7('~I(1)m47pi@?¥Q R#l?#yFS!V Xrneʭf-߯P>he<}jxĮK8bgp[[+|]VXѨWQq8P"4!9}g.9R'n vϢ&T" ?XۋCmY݃+ b2"4oKGPF0 9o5֐=5Q>W} tP̤ħ.{Fh;0C ـQp)]-(.k_Ʈp4my2yH|P I7?T0ܤՖ㉞"l9"?(֜kDϙ<(m;!> K}iM/m,ck&v&ry< .Y6Pzh6/dIoT2 KC!LnHg +&kAAMG3…Le޸_%!NO2z3AIaJM[NNEecΔ~k6CSct/m$): 6ҽWTN_MU%vi{i rK%b{۫iEK!s5d; CPb ̍n\(3D|-woF[k i=nNJ~Q=(|7hM|8gz^J,,ޣ1sp@Lk80{hR;"q22 G]S ~[ !mGAeaS'FP+}dzz*/Q)-Fi \ fgYZ8e235356f5c34e7082af93edbfc3fd28a4d79dffa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 + Euler_Partition