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   i# T L ]]HOL-Nominal:threads=6elapsed=6.262cpu=13.096gc=0.616factor=2.097zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ0H~hj8FԒI#P`ǦRer&R8}D30 V{NPo}vt[W$Fޖj7jHP-۞?"PA4n*iThZ65O#GE'؉BS 7ԱgYZ7zXZִF! HC]ŗXiɟ1ʹv)̝gb_ atw/Wo8# SmEMTm~_I }YZ7zXZִF! ]ŗXi%;w YG oRݘP~WusyaI(y@ci8.߲nˆf8:*9Kh;|噝LԣQ˱Ωzh?.胸Z*m[7;'x0Xm$RdI+UFjJz'0 "Q̣9@|iX:3G*T +<bKfspC 64<]x8Kci\Q&(qyfXD6>Iv\ln4ps\YGiC~a-G]DG.Χs5].c-됧P ޫem Jap167¤(-}dt L฀ 5;ʘCJ3"yNJ.;6K?7%YBVҌv/BINK 0s{X<~(Fu(=2},^̓6-/Fo{Ͽ8~PY {I`]]E?jsØ<ىf%tseG6dΈ/LY1@xB?%LiP.O _K.Kwy d&??*zŲ]b3H?PY}3`U6dNF g-n' wwQ Շ f_c tJԭs/v(in',T\Q߸9] T$HHAAQEVgYZ10c42ab9be436262905f03af74ae27eaac5690629884737fddd3e6081253c712523f8ecc142c72ee a26171661ac87092335660b10885b138f2715297 4635c60c913dcc5f9239b81dba841b472bc64dcd8ddd9e1af97c820d1f21b7ae400e14483abd3a0d # HOL-Nominal