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 kk% Lt\ ]/ Derangements:threads=4elapsed=13.107cpu=41.316gc=1.280factor=3.157zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn7 lSR 0!"1X} l$H_KOpǺb pnO\wR$.fw[o[,5jJ &J:|rP1IIF9#:Xv-;b$ 魖3_[j RfB!%bM 1Z7 Ń/ų5/;_ӧ6B K8KSf:g" n9UW5/ɯ` Ԋu a5D;``zaڗ>Ne_j[D4VBirWvVW.<1qP6=ZݿW 5E#-p?\Eʴdxcn;[otμ Iûj ai4H[ @kVҧYoؘN"4V-Am3'PR/=-Ftp,yGeقyę{UAֶ!BeB"v\oS!f$1v`dS?s:ﰛP𫶼1.7Cά,ųZE.N0KvFu}\Źi?l]lmIʜ+JcgU0(Qe akħ1eogYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4*nK2sgQeSL+hn[LͅNAf@Aվ٥.t7͇!>14w w%OU*oUu#=8N._< e\gYZ7zXZִF! \3e]ŗXi%B)dpԃ,1҄F JR"p(-vu͈3H5GS"i^ڪM[|܇d{VGπdOheb]ۃ0ZV'[8SVBa9n:RfZTVSPђeC'̌D4'g5ΑN;$`̶qTVRT?K::X Bel {+#L$󱢟ph7rwژ;<*eP'+3uA?EE/Y,:4wLn,&jr4/c56<-?^7Q q^UGvK/ëL\_}g ҝOZ :lRJLa4o˔GM  Y('Ef>R|n/%De?t싩.ZCL+tzuU45^"&bekm7!u?ϲ J1bZSfNOyPeqVXKͪw߄ NPܣnA1#[g.% HI'lE0mYvG)κe5**J 3X9\l9#m^8귰/O $_VjڟјΑ ؅#jznw~Ӄ^Ԇp*ߦLbDmUK.|Rh+V` 㞘ϵjr4Ue0IMcGeឪBwѤNWij?4+StYF %i(,l1UB=َ鏣4䭂6ogb,*,zsS^A)XHO;d>@☽ @[ ?٢O*BU3k *󔅏:?+܁-V2n/"a^bhٕ vA8АRřYdUנYq([qdA/M{ز&1 Zûic/?)8.N16X r~" eh`g}6֒ǣh{  sT5TRUUD-)=Z1%ZqM,eĖ /٠OǙo(3Z1xlWoJwR B簸ϝ 0?b ȍ  OF怇ЙQ!Wɕ, NN ^G")54; ~6Nؿ%zيj^F0@4 PvYڹ [JP}*w~r>@ۢ@ .jűAS|{Ri?pgn 4m"ί [C2е K J˵]Maj|?n_ߤ)& B{< 5ogYZa7da97bca59e5363138c9d380a544bcd963fc09676b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 % Derangements