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 d-l$T ] HOL-SET_Protocol:threads=6elapsed=23.077cpu=104.780gc=2.120factor=4.547zXZִF! +i]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;tow0F%.5;x%atPae 0-CiÛyl';VK!!|>VASeѓ\938ɟ!q82q>*%>'ը_OU2>/w0/D$:)Q47y\(JrJa*R[@TGOT-2,:|!Me@(  gnLIe7rፗ1:qß(i3 - HOL-SET_Protocol  h͞UO ʲe-Q~1 Vy;wJ-Kj pIEV^K[5ks^YtsEgkE8G _ K˱ 1S4 ikJK.' !M20!}0CzY*u ? + @7iOjvC9; bn6,PPC!icaؠڻ8S||ŴH0pWh)x'N;^*^MGDvd$ 6|>| )5DqE](^F]o/ -Ak!=L aA{f̌?s!x]`El_b \Y};8&tw[S g@jw-A, iZ[{h!6 {v!a~ ]3re.S oCgfg%qh^m+JT&qQ=KT%QBV>ԕUGFSXrZІ9qh/X"N+Aa7F`M>?Xy{gZV[d.q`{`]:yEG/k*UY~!͇6"TsT&9VR)igYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTc"m"Z,hԂ.?RZg"plDKq)^P_> ycMdS:Ԗ a,F5ۼBXI<x`ack~!VY׀ZTmcXND_}$֐i`b07MH.N6s"WwmngYZ7zXZִF! ]ŗXi%B(XnXT.KuT,7rac]6`Bs]j>mվɠ$=+3_64/m& ƒD4k Qy^&(=D|P<ƭE FUnxNwx>z#nB3تIMQ$o%]5DY䧖X{z6`;B<*iJibjn%;&27C%sĈw4(ibӡks4h&!!0l:>Vn6!2WrVY&قNs3ܐDHz- QX%=y:h&=TοXtVq:q¸{oɈe[qEڠ N+?ȋݹ<pB7BFOLyz{v { N$\7k~jGIP"YnȜ :Zeol wHFwTqW )w^J`ʍ'v* CƲf2t00x2[غB򪶖R ,ʧpxjčBٜ[J0 iڶoWφ*7G&˽б(mI^(ܙqo_:q&ZQR1g̹0r`LEq.Wp D$`\_^_¸)Eɂ38F0T0N2v(NNA$|ѨB=0J2X|?dǯB'/DcnPP!ӆ<ڲSI  r] Xb,&t$VsV~Rp`Wza r< s դN֔- 2B jcԞPv`2Ƈu|b@wÊՇoӟ 7GS %t#)Y<眸Yќz[Թ6~eeoR)/I~rǷg [ _b{KezE@ } xk4kUFŇCJPqfzwCO;× oǦzJ!?@8+s"6ʞ[MPF ͡榜8L`mgIA#b~S]'É ŒTZ}@u*8ױpEOpH۸V嶚lL`^<(euz3! *Cn)>gcYPUPDz5펕Yk ezpe\>*ĭcj,'gwHL %|ں_T neqxq&u&O[$|HIs4F"/'5tmR{آ4}BT]wy20h1 ,≝om;_κ35Jcoq8SP Ƕ@kA^MZ "_Hq$<6 U ET^E'(i ּ+H2*o qI L7|nj{71jfC@iE#IF5dEM_*agYZcba4bc9e511acbaa37eb836131067f8dab21470bd6c847931405fa336fce077665f38125e2e96ac1 91c0565cebcc5e75b6ce0f995c80e54f320cc221 23479072d12535e7a427f45af43c7f53593218e7