SQLite format 3@ . BBh77otableisabelle_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 ##Z% \dl ]/ Derangements:threads=2elapsed=17.479cpu=31.796gc=1.140factor=1.827zXZִF! g(]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jT_g"56zbQc5~Hڃ&DLI^gaLp@w~$s;syԾzh_ڹ}=VLmV8Ł%$tČL0#Bu}@#X2 ˿vpa9-ݡÝ(IdDu!I4Kd1Ԣ02mu(t9TŕM[N/ZO:+@GE3pRE?ȝʭpW(g$Abzs  ^_%=v7[R2vu4a CBkOE~#0" *gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4h741̳W;nT˲\My 鉦>j[=~HkƤaQ늞yl܁<e2].B? !PثتȢ$]S5Rޅyz>GZJ3@zPgYZ7zXZִF! `\n]ŗXi%ή++m(ݜ_b9'k7,D%ńE#(Ӊ;hN-p|6g+dU7#vYu4x󃌷.)c{_<[k2Ntzfsyu.ZrܮU/pYLId[cfT|C@_)PZ~ǓɴRU'fRR2X- oQDBb p%C}q۟=Zy0Wl۠DS][,xE3^Dci( N-s+c1' 찯g$ Xg@UJSZ⠄0Q j- y٢i-ofyCRRc##q0i}9>~/#ʻxxsg h\?EBpmLKR.3ee:g ~]2j.!pITTe$sܯ5ѹZ`WT699Ϧ_-i|Gdͼ溜 :_Xc0WjD.NŻc &OnaZ"hҙeW^tp?qѶzl/P nPBD$\SS˧ n/\=Q l?Mt\ok\@zb|\D_JC3p (߈;3Kc0r',m+#G@WT1Vst͓m0W2aiX[AzR^M=+C4j[4-Ml# ܿ7R?vڜ*+ܳo/@"ojܚ?2K9ti&Jɘ"1$#_uv3TpWǪ ] IЮQ4F[aYަl7\5ܱ/5c7쾄JEc![4$N/7 FL3c,9٩vc}fko52/"Έi4]9Qcٴ[H6p rWl\˄1GUBeq! *G-jNo|cua,q0i]˪xsXuJ##B |1iRRzy.Px4af2"Ok7$V8 7$WgYZ79967befbe903ed07742e356e2c2f6d16e92e98a00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 % Derangements