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 n% ltt ]/ Derangements:threads=4elapsed=13.486cpu=45.940gc=1.508factor=3.417zXZִF! 0]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,joEdrڿNڑ"{1b@@W}9Grމ7#KlNf#Zj`VR)=K \p@M . u-iUȥ.RWbqO3^&o,Ă z25([:)4QӢ"@ z@2Bu߽Ou D0i՘І KKmXyjc$X JQ8T~l,3צdW;A9x 3COAg 3y$7@[Pxu&6aPt0 ,Yy]>PndT2hF#Oi:1V/)FCYNFq$iE,1_cM/f龥+&+ț~xpzKNrF¹7?nUС7|CM f1F c_ĜƢZŵo{ l]W{f)%3EtRwD/awݠ*m6uG(jD0nJQpXjP F?u{??gTQ խ{=]9 $q"@bq7s?_|~^H7JgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4_Jc>l%8GtUQhhA |}ΥySEFdÒC HPy6~ltɷ ݫ@~6E6uT{qe)tXb*4-{_4`S~#8nYgYZ7zXZִF! _]ŗXi%Bhu"̾ tIGzfO,WgG:L/S._|tVkP⨘M9Oya0AZ[ZE >@__D$u׻+!TA<89L%k!6J3v&s0+'8l mF I_dLrZp_r\ނ"y'‚`߿-1)I427zhS|X sx3Dx/x)\1w5!MUM'}[Q8/l54yΝx6f1Z,SznOIS]RM(T^xa_"+ڋCBrsi oXAR7N/3*.*.?tݢ 8hz7=B\c<^ՒDxႝ5t!y8.B+Ln8M'^_.-A~Q.-YEUNo>?䘚)\8:jC6RGP0aL[sc2HS@37 nجnbMxhs0 .ךZSʟ)nf5<5n>WP=*C%Hm~]UD:GFHiuY04dVxY4RJOkޫB:RxWt8B]KLA 3GjYSs;4kZZ.G ;fs*MlCEpcG I`7Z~Z'30Me[{q }o$!$|gs@*Rrbk҉]O wxZD :Z>XLɲA4:xDHV:5᯸psU3JOfˏ$w,|0P.CUHUԟJpQ֘:+[u]2__/:y]ݑ ZG_r"z%6V"65k_t٬ AO/kZw霽 s10[/.ٗ+b',#ÿ$ /0P-#?Yߗ<'I2bzcnw`2PP"Հ` ??m:c@WUN$v+682XkDPl6S6f)2<jC=gYZ986ebc29aae01af302fc67575ba7409cb2a02fb73853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b % Derangements