SQLite format 3@ .;  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 {{ 4D< ] ZF-UNITY:threads=6elapsed=5.908cpu=31.760gc=1.324factor=5.387zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ƞ8qUI(Ɣ z0W!ʩ Hv+2!|\ɯZ"=V>4Lc ((*Hwca}=K$vq0?آnQф,D9-['i\~"f4` JAvɜ; NMJ nqk?ut%gܐp;bgp#Q &51In0zw1La~E~,g ,5T?t6Jm`mi*_,}^j%K{Ji NJv'&Y4霜[FO.!M(zd+3uᙣr/)4INO'?`ov}^4fux,K>|]R BuIhn`.<ԛϘ0j7SX:S_M̳)U>n?SrfiR im9;^Hz]گo]bDbETW!|vU,J "tϙ ɒEp''6gYZ7zXZִF! hZ]ŗXiɟ9 i:4V;}A<<ګMP7h !gA1S8H|Ã,:jϹKG%h ajt[idGVsNf<eՂUS3b'!x!McB/2a Up,:uyS%=]DQN u}lp^%piU"l ']6 zR~o[d6m/4NYOז{l4Ĵ&ӆ*CI,voA렟?Q2-;yM叨Z^*t%qPw;Х ܱgYZ7zXZִF! !]ŗXi%IlmKI[u5C"idJNQ%"qAExW=P*) Yqsu-,=_v]i(z_M 60@/P?{ Z\O ̕-NMu;2-F0tIF耲7k~'F6V5u4Uyn{fBz_쩸*e3w}(2.w]uMҵ$戣E,o'i .I2$~tr:UK; +PcHYl\`͝`}ˀl,#4m%plD?Ad r\dPbneEB,]Z鐓~V]6xkmrPz3lzok?5:x?DZwm [bB%)0oO!J0FE3FjhZcYu!kOw% 89|_%n)ݘCtca%Sksڂ,H`ԱKd2=HeM.]fl$}4IDi9x;2LW(Vf6 ^ JU6oo!}ǍרqM,eJkz`ve6?#;@=2 k#0ԋ'jM]|Hܻ)Gu?X '&27x,p~ꠚ <̮J0^vѢX=eN>dKZkhPGU