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 !5 d| ]%]DynamicArchitectures:threads=2elapsed=13.561cpu=25.300gc=0.892factor=1.877zXZִF! {]ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌ͮM;&gjo+[Y6<ι[tH's=H +?^'6cc ,<,Zf5ʋdoĭcͭ s<&5p:s w7^~#%کu-xwJ-K*(tߔ%< J\ٯ'R` @^ݮԯ 9?"P Ui۞XXX^pmq m߯ O$⚁Z7s$,!XՓ-~ڟN\R /?wdXԝ.\Mw&2@J=7Q_$"{gYZ7zXZִF! v]ŗXiɟ:340Ψ_իX+jެDu?.jT yFa﹜' z;~Q8g6!sCĨnv>Z9մ*#A&D&>gYZ7zXZִF! V]ŗXi%;;ԇ{֥lp|Qx̮^ ; @9HEvݙSe*1a@=`"kh$c`V3~ecCj ;u3ɜx_to(WH[CXIt [d0s# M jNA%2|~?|WK!7MS8otɅytF HmFPq7%{Ԑ}7m3fe̫Z6Ǖ5i줲HU#l>v}@ݾ7 eQ,S%plv86>uT4D܁GŧS:~<=W'Z(.<ʇdy˜)I8-+DeCM->儖Yx3X2Ә[gekRܓ=< ) _U#Ћ 0B$*Ţni*6yT#1E{v3ͪ>#b~fW'k٭ƅak INwP\ߘK ck7rs\jU6儌*qUL [Js[]_W";v80J!/-xUۨJTխvYq(FbwY5nkɑ5~CZxERwPu51b)z /@B+gYZecbc73ff0dac2b1b68fbba28ee8b8feaa888bdea79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 8d5164e5d73c9776ac23d9ac7921c2466aa7b653 e27d1b72442e95d39aa37572b522b411926c2cdff026c2c826c0fce373cdd2d0766fcdf1b5a272dc 5 DynamicArchitectures