SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ?- l4| ] HOL-SET_Protocol:threads=6elapsed=20.885cpu=90.956gc=2.344factor=4.367zXZִF! +k]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaбGqmwycӆͮ pwLQT UWGaF=*дs[;Xehߞcddv&2w/=3$1J9%ܡS@Xe/k ,x$#sN`|$˪!a7 ;cL+CPx,Toz]I ϫ|S8zRՐxY?AXJߤ,rAFw q{)* ;0"?3Kv?Ԅ(BrȁGǮ5 Raw*C &1<81{P}諩!qwqK<_ 8 ŵ@$Csa2$gYZ7zXZִF! e]ŗXi%@Z懪+^F)7ƒ!h^Ox,ݗ_'.DU1c0D޲t.DZ=ߕY\G+L|+KM躥R|-k];uwB?-[a^,o\YGbF2y8lբ߉鲸Yc[ zʫO@X K99z:.edLngv\R8MC/e8 zgNE>̖(c]cMF)aĘu<$q>E.\IP0xoV*{Gd%3fbUAlm0ID}㢉Gy';żZLs6`f%^o~āq/@|{:wt)Ƈ(4p_b֜!TwbA;T猹±D|ådiYM}:ݼr`Np֩bwu)t˝D~(gP8+ ?+zxd9Lybt535<.E荠%$k#:"۾:h/Ls>Hji_$吔f=ldl rqa%ƃ~jK)E瘃\X<{faP{[w 3SG}3;? Օg^j[t@s[lFDgYZca69880c0150b2a6fec8aa74b60e60e26d1ad0787b8f755608c0663a4aab9838687dac5bc4543ba9 7bc41950d8bfdb019ce94301e3599edd937f09d2 302a74eda41dfd4c93c222dedb77dbfeee81f2e0 - HOL-SET_Protocol