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 ' 4,l ] Stream-Fusion:threads=2elapsed=9.557cpu=12.136gc=0.488factor=1.277zXZִF! ]ŗXf1-/6vR[]`\Tu}M-*qtjX`"ny#90l)/2ԕSMW>EquF9_\nx?o`u*{GihO;Dh߅! QkL6׷?r >xNϏ0Ug\H򫜆x[eyJ%1Cȉ~avdgo6vTp59C&#hJgYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(v`h͖q# BZ SЀ9q{8^lMt\ _C+MI+~fN|x'5]U>5MgYZ7zXZִF! <]ŗXi%ή++ͯ(+?e$y JNpb1KKV1{Ia 2]޴^=qq_LecHߥAqJE?Ƀ}cٙc6c'@1Ξzzk',cp5hBš< l4s9<L(P]ԓ5|x|#߆E/pT۠1"\v^㓼*2؁pJv/M '/Tt j/i]cvPZ^2D"]jz8b#ׇ6=Iȅ+E.f$9^&;Y$sd`ąQ;޶%XDds5LgTOS+"U鷊7$i"Hz۹lHhÈ;߯+ n"37c^b5՜ "?tPW/&GϒM)++;;:Jr+sa%yRyʒcCh_nrپkopy+l Xz{6})dϠ@TJ~&]l!P͉9A-qL2x@,l)ZG"+@ |.]ϸ"( q'/"x{h,)_=qBDNě.s?/hQ6e)Qb`vh( 3c[дef]ʸ,i2 +q|#a#3v=&ȜNm-Q,TY\݆A-@"\M'x-6aEQ`Oށ][ٹvVJIB?¦!ǽIaw?Z=Mj-zOF+yTgYZ67eb8aa4e4ed46a379ddb8bb3c0191b5dd8ca76500b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 a4b4985b91ebf3c08780c325dd267ae7a781b0b0 ' Stream-Fusion