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 % |$ ]% Stern_Brocot:threads=4elapsed=57.992cpu=86.756gc=4.812factor=1.507zXZִF! F]ŗXf1-q恈͐7ӺV 1̙ GMji  G{?c]Ð-4- sA b"xԻ'yQ ӳIHSuj:OQelhLKk`^X´+aR@J;SFJ[ߔb`>I;T؊zXɩ;+K3s'+h|QčGhυ`ޚ/֧M$+ 9q !g!ӳH|3&~zB-(y`b>;Q)e|wܴf喘\ཌྷf=i( ' IqSWZ(1/4|O~&j!z R"L[Yß:c룈cѷq&MoN \(~W+-~t gcnZ[1"(j fWצa;P<]Gz&.rO%iMI*1F(<*d]en=֨SZ#b\3I|>Ahe4K_2 H9bx.Y9.~6:};z,M0z 7:J&P~DY ]SCy!#H apq(F I+eW~ O@,* ZEny 5w.;.jڛ rdU]dE)acol$C<9.>˥"q-wjS6E!|y7Avlk)ۑ@eb|H˥k'>73.9H)!UIt[]VIw2wrMj`\ڜQ`&Vy9I<2a J\*`D-b x3ݺTzۇhI%Nwr BR3l%L?*pesp\*C2//(9fY8?}e!PJ83:~@tQ9S]m6Xa6R?2NOkuzsjRCDZ;+~L~Q3T< N_|q|1i%s^̡e!d%5cG(G"nQU 4Js~QؗDbNYe 0 yyj~j 8v~TS뱄g+VQz=~Z3˨Bg̺x"Te M~>pz0@ÅԥCIyE_>*J/e$ʏ8c;tKb}Ua<:x(QBk q+ꂬ]2\ ) '|+'NhC_إDV [q9~kH9sJՊ;vL:o4MhqtTΏ*J_c!ZhLy]rː;Y[aΟm5k["`mMKߋ0}ݐԅLdjuD[AeZ@qp0 GѳG_& q!'wPVHIg+|V=k&DjHŤ'3S3aYS![olu!)x;!"cO<]ONZ|'8aj