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 1 l\ ]S Abstract_Soundness:threads=2elapsed=13.909cpu=24.964gc=1.320factor=1.797zXZִF!  <]ŗXf1-/6vRZ\vW>_vIOqۻ$CHj$s_% Ya^E' EIgb~ *۩#.U;4 ; ~tA jdyY f%qfNv@ѲsUP #}Q^T g켤iҲTYLhGtC[v$.'~t!n['Ӊ#Y )t˦TbnT"dM#`;0`;̓GP gYZ7zXZִF! o]ŗXiɟCrh(;Lg!I1b+gECv ~wx0;eS[e9l[ŵ,"Y^~#tm5W GgYZ7zXZִF! He]ŗXi%6\"ǿ|S*(TCoJs4#Tq#+O2.g>LCuDXhe%Gj1ڜܼ [6q~ yGJǯLuZQ]^7K2z\ZT ,/afƀ1gp W6Eޘ&a ֍5)0Ǎ?!0FL<,ƥT>]Q s5a"5:k^ WxkBOO|][Ǎп12 t!pR*1*#>Cz[tg?h1A;$_oA~9apWBx]E Z1[#HWS#n4TČ9RCܣB{Q{} sSd1!W8 ԁANN[ 5pZ$0.?SM1X\"ۨb Qbz_J$-!!q (kz4\c7`v8Bw`kwhL_#S7rh@v1EjO@kbu? IT=C^r? qZ0eTT7I7Ns-o %>RJV=?"9^ 3Wp