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 ~% ll ]/ Derangements:threads=4elapsed=11.607cpu=38.312gc=1.540factor=3.307zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjMϏuq B6RidCD EK g0E Vty7QբԂ USE QgN伹:45 @:'3Ee0N %U^Fjm_|¡z z\7!3]5 fhK:ﱬ| Oi漢lC,`wǞ5<_ɁaTaB;|w)zKܱgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4gd=uZq[&]9&M_ 9OMmZeQU⚋; Ci7N&8ٌE/@yjUDtP} sP:3][m v8iw)I0%4aK$!+wgYZ7zXZִF! S0]ŗXi%Ebbm4|Q ne6`vF$Ww; TᶽOYтJdпr>@+ bϛjk0Z5 (g0̵ @ Ч\W{!/΄K"z TA\U?q.#`Ƥbsb{揸ΐ^kf]i%꨼'/Y&q'xh-J(GoP;Sj[)4՛`tSs:(;qsw}yYOѢ8 S 5ֻ[&.LzD`Y<0 YǫY^T˹: ׆k7A]anzAFoe{SLgdVe'93kWqjDSWƽ4 I0mfEUwǸn  ;:Wۡuj1/LƳڗR*W/ԅSD4h;njEm|qu %|S {xFK=xuY?eb9Qݬ% v2X@N6 ȗ舑t>05Y?s59D걄LbL_SQh z3{;'OuX`LYo=H@|kS֢Fɧ"~5U(iwVs/JևJ7CP+i0B< S!RA\/QEj&spX–]7Dhx>1WY,pd;l(VDpQ`#AD&;T :*>ZE]E]LU$akM*,R>6ms0`=]HfHmў Vͭ$K:x1]G`AS>uڹ^F~[QPuHF ByʆL8 IO hq C4Oc@hϗ1@0** >M}R ٱgYZa8e3c6e5da8d90f047d935eba6abb4add8f63631eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 % Derangements