SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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% ll ]/ Derangements:threads=2elapsed=17.114cpu=31.972gc=1.368factor=1.877zXZִF! j=]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{n/їbnJ$]'"@[V~kD[85B14v* BU qI!'x;#1 Z3 (FL/LcҢs̡ 4KΔJC<."٣ZD-~ֽ#M/[ckV^}o="]3}vuo9gtK8cZzBYGetZ(fj~hSc\>!~j\0Kְ.m(bF KuPU1s(K>`0M=| ?}DŘ_.sv.ÍZp57!WVjj^iNGVa+ZRYffcLz51Ϝ }vHFJc{N%< #:gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4Ѩ|<ɣ=r,xH^U2N> UgϰsBdcDo#D/pHU{pW<Bp{vnM†w0 ݡ5 -5(o/R9qW`ǤBY;0Qp"q)p9;u+ {MQ.Jwq*֜Y~wnJۅ6 <ñ #h AsLիbЮHcfI|x\鸸9#Swy,jzbGE@Z1IIry-p]t8 boڔLs^I)}˚FjFi Ձt59vIj]FyS^'Q.N%`UIY~xXɣ u[r9b?Oo[T!|MC\$\5JtLԯ6bV.Yߙ61nHFd ҳK͵" /^, Ok&J(p#(#;۠F\[;[( @-63x)EOMq( Yf5sA@`^Q>k[@dh܅e|pbE|tQPM/D!Gˋhv 9' qVL `ߙ]uf"SGT' !{qf|ϣ  P PrJ"Z#Y6GSOQRM.r^bḘva>2Rxu[A x>R P1 #Y:wF ѵW:w% @%7 iTXHLÔ 8_gn:-赕Eb55Nl4)\u$ާERO+d~0waïK [W0k#K6h<;i֣ EH<"cibjX,&- {\.b`dԎw"Lz7C pZ?O!vͩS` "Hmls8 BcgYZbb7ab5b5a7556ff9bccc514aa2d8fd8033fdb47197833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 % Derangements