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 v% |l| ]/ Derangements:threads=2elapsed=18.584cpu=32.464gc=1.204factor=1.757zXZִF! u]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjodҥV>(b €տԍOL*eh+ii:fފ@*H?R\zD/oB@TM+)IXbd-G,Fc/8|V9;`q?{:\?X%L9b%]8ઔ Gy.GM7 zG޺UFFxV{VLVz7P\w#F9,N bB3uKC3KI h5YrlypO :d354".J9N5Q^ ;_#]Z"3go*?Oڨ.ڵ"ʐR3"_wȥFM0 B\)P\KV@`(gvMJO#U;]t)j$ϒػ!Y3o@Aj?ZƲQ3kZg8oj4wS~wѲ Kl+6AsiMy*ܱ>&eY2w"@(%D%R X NlʆhKXK{ GOrp;;#M9_SmC:[#jlO^׿?>M40m U'^#:4yy!ookއ-:i.JPw: ,lXS w(F9_\ӪCiXEMu' kE"8, q-‚.wgjFv4)6rE2̒7Z h$䬬K1QujÕF1mRu9&RvipSHD| JO{^tɃY6f :\8bn): R `q0 l挌~E\ bdDi [O(ieJL뚣c@$%ΐ8d2Ք8MΩ`*5 E:v}5oe−:H |EtNzE3ywpr:ۨ'ZΧh͜YgR3eb{ǀwb! .hN(ZZ*TJfc#*&C:~VlXFқxtzI:FDw"IFcN$ @A\~P9~ag7P@xO+$zVQُ<<LTLpA_&j9 u[>F_8l-gFeǀڢЛL:|mpg6%5ˮzf&U6;P'fCڋQ ?JgYZ0fe4d3e216c6ff041211168efc49b556d307b491a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 % Derangements