SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  ut< ]] CCL:threads=4elapsed=5.600cpu=8.040gc=0.276factor=1.447zXZִF! ]ŗXf1-) enȈA$jB80l,v8-qFN}seG_cgG#άeъ/e.L;6So3AIs"A*a@$gռnhy:XقDƚA?pѝ /'0zdcS?g(PgYZ7zXZִF! ]ŗXiɟ 1FE`u$b5|XxdJ'е=NP[l^LUvpgM\S+a1N>9F:(ٸ6Yvytk  7֒oӽjEB5m[# ZxN1*I lBȃf&B1(iUse}e'nNZ*yƖ[6Y<'hY`IO/gYZ7zXZִF! ! U]ŗXi%B:`K[y]`PK4lb79ŝtw:v#랥D:<&aqhpcөӋ#}pHK!_ـE~Dksq:eˑ`DqV6d3,:ۥyX pٮ[ۋB0H,dgb+0ڃ""/'пŎx*Ԏ.8u7J &Ǔ0䪻g*4ښsLGBk)dhZ<[m ;0`?XTn4ӌg4kxHh5}ji谤dƅ'.׋-zO}jSP9WK@~Jit="bgdb6FM$ߔƊ ,k֮g|/4BcaH$~b{9r_1#lHH]!dn)Zet`@Wp Qu]L-`(G85:j|җW{>͆\jCׇYCy=yߝ|"n]<5+Rp95Ęx% r(PVҼ.zvBnOchc8!^zО#oP=2DFbGf1.YzXd_#iXK0mk)EW{4&i] ’3X=f.g7d`>A|C4xi(%IM%܉+oT{;CȋOi Xqm6QXX_ xzEZCBgsCgYZ58be6631b1702d70fe5b5f1282e5eccd6276f83113f786b8f4762c1203e3da5c15d634b6876ecf36  CCL