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 //N% ,l| ]/ Derangements:threads=4elapsed=12.746cpu=39.928gc=1.336factor=3.137zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk/ENS--rjǛc_|#ooDD|EMu)pa"6d`mݱ"s3~<S,D:8E (‹ьXJqM'-Bqe,+^!kHAGlת9x:2XC3OJǵ͹ǘh.W `-~&O:[|}W!` e՗DmQIs]r.l9SN϶?!!'wKizݫ<AK$\!z %@FZk8dY6KY :!E/3\I fz,_p߻ٴLL $/:gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4.IncGqjhDaA~ -"ܨ yaȪ۴BwFu Z`n^knbj8 NJ}{MvʶA3_+wgYZ7zXZִF! \)]ŗXi%B۾2beG㴨x8^oK:yiK oNKrF至6 1&ץOY(G|`',N{W4LmF\BN v].[&=*1)\Αx;wje=Qs1r{7;DAYjxiF0C6L0?>njFnsU=KQVVG]?"Uh7c!s%QFckoRq:as2u>Uv|J3K&qgwհ:L6hxPi12q}v ғV@0[Vz(0SSKVقӳZUG'Riu+uwހv04ʩ[ [ͫ(hFJw z+ r8gN \:l27BDf("BSlkKp7Y\̇X.SOCf{u;[(po]vȿӆG'|@9II%xu3 tǤz =|e= lAK8kn~()й ;.clkf%/q h9p*T^+䰝ƻ_7M=͢$Ll:l6Ŕ)f$$ΔT9N~bd.bcu{uA-^m=ly,^xr6)_lT8p^.[bq9<dn9e lCo:yJ:zi[l]$tO3L$y:XJWz $sȑ%%DwMzunEd*^ρGZS@#P{GX.3kE.| Ȁcc\?[%~kLY'r@ςz8cZ!ݚ.PDF+~ I{ױW 3xOjE d hnyٞ.DUv01xo(A{.XHϵe''U.vjO7X opPL}Nޅ 0Ԩ;Ky&*wKfEA{G5-:&l~&*ʋ >Ij@DT KA쳗ÑhA ]L]3^V&O8jhhcӡBy= ""N~ 'Bԑ)v/餚$ ;Ac 4=42)ވ?:pScFP,ad#/ujpyp6[GlʶAM΢R17W<]W0/ OمYw̮ȃz$xX1]-h1)Ti d^Z}TpBn?SWG:MKVs?rG8 p*ng*2匙ҹ;b5o||W6z_F2 !Q+~qJJ ìee[Iخ0J {|7EP&5;R5ʐz5 4>$Hh*ߐ#\ n'gYZb411c6f949e5af0c428696e369d666ce565b48df76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f % Derangements