SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 w+ < c/ Euler_Partition:threads=2elapsed=15.422cpu=28.176gc=1.156factor=1.837zXZִF! W]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjxJPC=#7/!`_J9fjʴJ <{OQ'fC"h/,F D3%UDS7q|,RS6rT Ds6Z4ghcFFA8ur+c8-. ɞ,c1X ؼ`t#?5~9i!RJbAU:rcL5WϾdgQoaR'.<6PEB!(X(CRHĤW]ADQSB,}zĭ+;j"瑳4-#SO3wnLnJeճky& xz@[`sf}p U6A&&D$E|oip`R\tڜ>e2*ˡ9qS 65z`bӨ!)_G" ۳ߺ9m6olzFـy&:xԱgYZ7zXZִF! V]ŗXi%3g=Հ l `+\'G 8IԏVKY~O*=}* BAʓ6+9*B휸ԗp?;t08V )W;lgB0=՝=v#Iǡ=)5C܃ K0 `oIL-O߬[ꫭ56}C! COH"'m#>8K'~u!`ӧN7ZBH` LH\*7XJer~|lL>UkºbcHD..+#:-4H20X|iEpHQ7SX5xi =7@kFy5Ueݯkzx@8y- |4(E -[:scmu9\EZLBDSrVSse6<йŋ;g5?P[bMZ8Q=r !c88%*?*q8.ǢT/L]B׀b8g;uSN:q8ipMEFWHAŸϭ˸tÉ+.ɃWفJ%Ix&.ehON =m;ćXG@ Vكdѡ9͔R ;;[If2d'K㱑MyMjim6%@-.Wߢ{yv!ϟ,<{T7QV8y f%w03eaxEFz@5hTB9Ed-Rlc)"|xpu|tvC[BLXBnHʍ B7meR1ulH@D}a9qriP^bьqw7 JuZicJM $dϯh~ʨ;'4FēSs\8lnpLO:bYK[쨜Ş- {gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 4dc5dcbb173c1d4a56ace0685a339a50db42973f 7062f6bc3330331442ee719da0d76412d11266f3 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a6d881014016ac510413e96c94577bf126ea335f be04bd4097d198048a83936accc0a0b3bb132513 d406b5237c82709a11613edc0c45a93fcc03a74c ddf7f141cbe49f6438d63bc3fca2b36b516a85ae fe3d3c8b2a587b47ad44872e673f9926ec16a563728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 + Euler_Partition