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   ^G d$ ]/ Bounded_Deducibility_Security:threads=2elapsed=6.516cpu=10.520gc=0.408factor=1.617zXZִF! ?]ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\aE,J4"1,%dy8r~!Gx;#V9&C*h]^_"*֫Hr Ar25ܶ+QewuYv_OyL 8Un|oɾVWd?jv O;~߆{+4t.?'@`%h8QYA/!)q&Y)%r7!xΔMW7U(gYZ7zXZִF! ]ŗXiɟ'MK8J|!W#Bui x*OR^o>AS6C9\OWj7:]ա WRcж)ߌ=b%'38jI_Ə͓? ~gq0iz*FӒ ļPM#"0;gYZ7zXZִF! .I]ŗXi%W~h`@jjήPILְ YP(B]*ͫ|§z+5kWM/٥ҪMĨG^%z| $ ">爫#8w$wJ;taSљͧ=R6͵,nX=6@/۴tW[ oPoؔnd t%r$ZIaEl:$seGB]ڽKy#3s#ϩV^@FD|55 ^zMӿQ/X/ 3` ,DqW$U7V~Δ'UtT8[ r:ꀩ6lCF^؁@a46D_1{eQM"V+,LhL^]@̑BjQ@ "to@rXz]zgYZc0d77e8cd4dc3bc82b6ce0f65cde367dae7a66d1d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e  G Bounded_Deducibility_Security