SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 HH)# ,| +/]HOL-Nominal:threads=6elapsed=6.028cpu=15.680gc=0.676factor=2.607zXZִF! ']ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/ 2m\bQv'`{kJs†պ`xiav@nIvɥ\1-XM,<ƻa" /Ҭ= RSyf lQIߎt92Qp5/rgGZ Mk(4RoWYfDwdfm̭1&<gKVko >:Z5Nd?gYZ7zXZִF! ]ŗXi%yi >"l39Gɗ nBr G%5&bl~N3|bZ>JBThiL9dYw7qr#{5Cs_iQ|Ƽi KO=v,%WwT.dB%I@Tg2Xad1]ǔ'&SsFqB-4aD C'g΋W*sHCǴxH>2keK-r:~+Kwki#h<΂eV쑪ٗK nl<;n9)`#Pl-NAHY _m޹nD>f;705#ۯH!ȞӦ? $)ثhrbV*|>s$',`T6OD]kݘ; ˑI' N/m @ٸ&F h3})}}Uhbh%3" 1#cn,GVg|BRj7uZyׄĸ-CBV-/ xgGd@-XCB