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 v% Dl4 ]/ Derangements:threads=4elapsed=14.003cpu=44.980gc=1.588factor=3.217zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkNS-MޤdfJ757|ה2P!hU'6Obk 9B2k=lA#FzG*X ͂-Γ͛*$~N;RƱrBBx , ՉbާN;pBhGaJP[0yn/ P#(2Tǡ:!g[D [@C (`ExܐJXa>>d^}E,$S.[ o<'ICi"%Ď}:Ǎ-~Oi  Ah|7nՆDCdMc6_aMlɨ.o3/CGߘ.(!lt:8a4$x;PcjNJT?[Uhگ \ "]h翈3ܢL饒P ŏ?/Z |>4po.Dv"w%T0\3qTAq1DkituIi o ^4`00ͽ;ksi#׳!ɻq״ղZ7}d3jIqN^H6Jw{=/J;%X֜Zbx7?r WYH㸜po\۷HXWֱ%@;'Ϗ}сŽ8 ӟn gYC3kEn9Ҕa 2Pzƅ8J[grfmklRD׋Kz-LI5IS[ڍHv$m蟭|1Z*h!Zѫ>vm^kj2 :1N.&0U悸N\D1-j`ۀv-Inͥom32$ۈA?ScẮ?0^Om]qO֣z*vH&0r/iJLJ>KO#o' ӈnj̴Ft[28SIwNږ͟HA./>: ߢCX;lszhzggGYHu~~XЮkZo7mނӌmDIڲ)3~#Q)StY >Bܚ{qD֯{E'06G;K1.X cOr?43 Podi";z0m"dpz_7hs. H_ġӯЇ=E٦E.KCgZEg 8]l߭薳s09~|#CRs:0V^٠mi]oKCl[J\˞fVJGXYog-C >󵴟?ȵ7p =Fܔg yJ=!lqT3L9JsYOxnTa}8BwQT@Ku2P ApBocZL )rzzlͫvb&hD2ĖSiIm׆H}PN>J&AaOC^tEz|L9 y'¦ѺkG6 BڟiI; e<.^>B7 q+ ;tgƾ+! Ø- P׸觞p:9OZp#<^n;;$̐JM? Ŧ5OX$µ ֒ѓ@+YPo]Q~2M3c&g4@8g7OegYZb120b688a82417bc52f9e97a945ae63ef3a256364b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 % Derangements