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  K3TT\ ]/ Partial_Function_MR:threads=2elapsed=5.868cpu=8.468gc=0.296factor=1.447zXZִF! ;]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&U~IgpH:K' ?Ah~yG*rOd_BrP#l^I3ghmpyOܕ,PKҟx3i_:q/=eD/W$ YÝHwޫp0&1IgYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gML:QӖO )a,6Y^BD.#CFFnBEL5 e>=$XP>:1&~,?#f Shb5c)D@5ޑyQhgYZ7zXZִF! ,D&]ŗXi%;i̹Y|hugrG_.~fzk!"# 'LV@*_#PQ"FĎA1Oc'{H4m<](Z"߶$ktEWW}fC*w=AjxE:fAġeBfąwi48PDqC dd"Cڑerc<uM_Ae${yJyw s0 Ouȍ&:q=) 6 6 `[y!,y# 1?q;M\r:3T8F:H<7mE"4gZcWB67J*DwZ":3ad1UxXgS!`pf>%s3\t'̃YŲ7jz,\%8Sژs}PNƩxp* S 9#(Z;fnX|BCvϙ#65D?*+P`Y- L`"ԏjLzw "[d }1E.z%OvvθWXH/,-a1rK•>ec.F-]cZBE455kS_C?x_-|߯}z0ٜqB`) ah6;xXbO^ݺ8j^>!sQCFMP[͝zO)c#N*Y_ |N j:5,IRD.+L!X 3gYZ6dc0b014059d4a430b377d1f53b9e38a4d42363a273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 3 Partial_Function_MR