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 ) t\4 ]/ HOL-Statespace:threads=2elapsed=17.486cpu=20.224gc=0.852factor=1.167zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[rxS,͢pGcXM)I!BYfg(0t Ԏ.'j*&Tr\i2+ 8Lz͚ Q)Gsrç AgYZ7zXZִF! ]ŗXiɟ1.F+hzl-M'-MzɜQDA,Qǣ{ĢӵCAO6^E(!UB`L,x* ԤE/g|- t~T{^jV{ʦr t빶OeT?yVEA@)f9QѱgYZ7zXZִF! `]ŗXi%;ULHN.fڊ2keyF,əN9eD>=u2FߛNՒ`7ԝy`5A| )SkY Rƒi1;Bifd֒J%;ॱ:i! M.<dJ`!/ qx:R \YQѧ+^1Vin N qVQwJD29z.ϽӨ/q7c7lFQ S>Kf@U5ȸspΪHk0t/3ܛ.ɚF@9Xʕ9Oa3|R4GO`znF Oۻ?7Rb2^L{VJ1k=펈 ڌ9}l\&jN]پ+XexP[B6;KܟFuro5ss"n\z!j! 0@E'緟8`hl+>~ m.#{QrEՑB!^XFY%IPxIly4k9!y0tu>mrg{?eNb`k1eFLP/q[‡ :> 'pO>wd=, b:mɓI+|}N~UI{ŒUx;:Fgl&^U-AISlNs ϽQ*u7 `jk #M3ƅK)۳H,[ ~>sv{йs_&|hVBz7#?C +itnӚ͐j]V;lRHrvev\դo :Fź$WA#`zf =}IX8K]F F韏RldU9w-]D­(b5u;KoӲ%6}; KLlnkyB/Q-