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 ww% t ]/ Derangements:threads=4elapsed=12.211cpu=39.836gc=1.424factor=3.267zXZִF! U]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkO6ҵ ipejd<=bpךLnvQp0s]*nmFO>Z1bA+wc-E;旧=q/#89xC^'b.5y>X}lg}pFA/!3XF:E~%w-*QVjcܻkyۓ~hrHY<8JGCf@E-rp۪c5޸ybɊ?A;L3!v$D`-יChQ8<@3Vriۍ]6X\0oPt$v`@+hrtcYyrǢIHB~U?lo,f# C]e꒯vYΚէ\ebvmD\ruq 3Bdd&4s5Àؠl5Z 7*b`BH%ɯ0K:m}ԎY6SR'-HMGb;P"Î2 [N&KTg۵"?{K44˅!YaՌK8)XK8y8}ymeX$hE0f4/Mfs@lh-q-gx_@9(pAQ?bv4Cd$\ьw({#U89Hҧo!p4Ovr;\YOJnr;QzW&G3嵹k۬A?ǕVybZ샱a+q r+BCFrNʀiJN5=ܽњkT)zL\h#\PYʹW&VV={TJ4 1\+=!IOf-DyuIEB`u+e?]m)Pˁ<( .$\Z(~,{n6lձ'C] ccj2D b%Cr8.W!xF.e_m]УYJLc(KJȸ澱 [P+# TBYzQ{!-AʦH1vr B*d%NaHd(z}%U1;ON)K=T]w 1<4{%yIvaS,= VT5ԥ(ez(q\Y 2 dF0^)s}-({(4;|Is ρw ]TN=]82-ϛ6k'ԗ< QD5RinuM6Rɀ,Y<(0SV˸qH1 e`Oāktd͂B"D XF*8-2M{4jp"AG5N@e ):OvnWl,ho΃(c'ELFkTG~Ib.6lsLbc,IK:Qn\C~A ?E: y6Q8cb[&j-)`5l,!.Zl&K<-И5n_ Z0Wmg3k,&BvFfj@; ;H: .gYZ39e03448b2dff67785e25abc10c54b0944bb0dd14e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 % Derangements