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 OO.% \l ]/ Derangements:threads=2elapsed=17.421cpu=31.620gc=1.152factor=1.827zXZִF! f]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx'"U HW"煮Q~pE8E T*Pj)j2d, HGe)TC3sl *, HLIo^20E䡵3$MS6AQb̫֯ ?+-PyBX~76XoEjV ٲ9´iI Znt:]:m֬2~ lևI^,i@U|f5 azb\7(`H@"1;Cs %Gr'NE}Q}YEA"SRvdp;[/ ]6L`Myߘlۦ)R>_u]RHq2oC-Lbzn4ʗLguKx QJtsK{odsnhLH<]IF:[W.~.|_D{翛CrqZ; j%NgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4-Ȱ;Bu', HTB#9*+f;Y"֯rOS`Ej`uV xM ˿ef CNꆨCREͅ GџVn6@^0S~YgYZ7zXZִF! b]ŗXi%;++Iohs7L$(0Dn蹯Z_Kڨk[Dw5hq,Z/g䈨~D=<[b_26Jdnq:H4cK&WgrM xEhoݣ$PN!R HI,-~ejvͷT3ge/^=d.a!KÃLc8!7"mMOTMh _YmلS ~4Y|\:L,|d=27%WSkpj2M~]|3Q^>M^5ZWE @Ţ߆-@v"7aPg!Rց@:ޞ7Vs8h %?@3˙. { wK6ZM9 (r_Դ3esz) CLPͱZih/\Pu@@n5E}jU,9vbNk7ۨii+smиsFSŤ6#2 Nm~b9E#$RoMblvgXXo-Zrk^4fi! [L)iJZR.}yB3{\iy h hݕBcUY|D&CknAPV؈YpH,A;Ι@3w)mR:<89Q4 UEC)yL1.^[{Tf˾NA8`mU'j3_p)Ce@u1!HǐP̑wxuóִŭ֧i%n@S<\LEgvjiT BVjY9EqVKi{^3e>{ "= "4*c #SiJ\!E$}OӛyP*kdf?  %%CgYZ6075395647d9e5405477e36a065e94d65b71800bd14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad % Derangements