SQLite format 3@ .;  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 SS*% t< ]/ Derangements:threads=4elapsed=12.519cpu=40.800gc=1.680factor=3.267zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn7 lSR 0@Co"QD2W tg1Բo[ FoCQ1D)gRv0cTy-&RI%M/t, {qoS4ȂBtr+Vm\4iuǻ5*T1(_n ٟDŽZd4U +DZ/!de_?-ڣ>*TN̉ uz'*@tߞ;Tїlo5Bm)XbJZ)X+lRٲa7C%PLx=A72SصTAVi݄+1E]{CŰpІ'c9G$wmG5+`[[= <$P^ i>O(9`=GMF{PeT\媨:aVH(p}f{CB7e4i@ɮ g/s~%(2Ԫ27уlGB Bar_GIj=G Eբ4CY5 JɳPjKJ@t|?ֿ}X66cL2jEǍ%},`#y-H)߱gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4#ÙJֽm Cۖ;>W-eE jXεˆ'~DӰzJJȬ`\P"9oOX}]p'\Y k1xgk);}To8p⯧mu7ˊ:gYZ7zXZִF! YZ]ŗXi%L TmIB I{eU^/VYuǯs"܋V> b-q-Ϡ=6\v$ԏ,#X"%8A2Pw6rrPā-4w0$oŚҬ1-DԐ9Ch^Jr77wFr RZ*Ts}a/u=KxBxlw=&E/\wIf1X.cW,x8spY-L^!A㣿%q\I)L6VSMueGdhADQb4 nr |>b"D&bٿ=ZB%=/p |)ZQW}ªs:>VWv$ ~fР *L#eAP`~ET僄 +4uU`3r⪉+=2t*c'p_)p~t>X" ae&2jpDHS!cy_"y\PE3@leW%RkM%5X0:2P14ٞ#arf͍V%J&xBMnb1 K`7|rgk~4'ˡV))ڷ} 1];bUo¤RJ;3"t H5,!4Ձ.HBH Z*{=jp#jA{^WNV uRH ~`zb _n8NϮfy(ʃZM-2.nFTEIm3MVe3^ݣͫs!<\/y'O7@ՑaS۟GL'7 j򄦰˂*Fj?16s84Jt~WIMhKs!}nVUR^H!W1Neg@kx1h3RURMg*o0 w§vO+B 9B˚r(-Rۜk:J5D@1OR'=|\!qV3%W 0d3OQPi=>b Y&lmF]7?>݅-I,b;`oǚ "a]NmI\hOֻ@Y47,T XYm/?O2I zD M{d"ȂC#YdR=3x MQ+_k4gf#c 1?Qz\qYF&~U2!LAej" ĥaVzkbYʄߎ#9m "8t?kG@kNa ۲ıgYZ781d074814e59b02226272e3d14cbe69314cd008d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 % Derangements