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 % l ]/ Derangements:threads=4elapsed=13.257cpu=42.260gc=1.652factor=3.197zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnthJg9AXQa.&r̚ݷPX!JA^0CzDJCqXX> ] uC4.9J%ߑL|XF*j8@ӿ$HtFm9-!sl| G{0B6* A=g2]% y2mTF+ihjPHPW٢ye݌-eЄCRcvͣTmlda3ׁl cpY vϠ.0ܛD }(jW!\TD _In5Uۢ92\iU^ܺeFP὇/YU QBT~ڿBDzB8(Cs7hm)=60{?ds~ќxJT* EΰKo-3ޱgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd43{<c2\CY̝!!zS]ns-C)% qdtnS7or<*l#C14ƒBuAPn(8LO;  +jAN jZPAS $PɥR톼N/?A U۹;ѳ$kk66"*l7.Z+lr\$ C+4~aIȰH4zVL8Yr }Wy_7rN4CP5xg5B E//%>7KB&7v J"Ŭ g7V;Ơc*2kLr4]~,FdW+Wh>;ϻ,nMUC[łt&dJz*.ۆbᔡrYvLIxnpO5)203^ 6?ohҎ) m$ @b+媤2;A sxe&Æ(DfnʁF^a%?Y:h:w%ؙmq:&3)aUhhk"|i?M /XQ' 4}-gq3|(kPiZm Im3*<:0%ekA~.Y #mD(gɽ|Y\cSAʻL=;A윺~4"`ð [M~wE HX:",i~Kf ;|217cզm` *,|iQDYvA##8cMhx}f{ܾqJ\8˕gZT /Y$M))"nN9$ϰc.ҨevuՌ歄zП"QqCƹf @_l SbtSfyC[%0SsWeQ\ WqcgYZab149e7c82e97ca070bd7b62a03b26685cd69a4fd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 % Derangements