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 VV'7 t$ ]/ Transitive-Closure-II:threads=2elapsed=14.701cpu=23.200gc=1.092factor=1.587zXZִF! !]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyU<=^Q~} S)hO2|ʟ鵵WQT=*9Tc ņZ!~Ʉ3'%# s9ŧ%)͐%M(WgTz~| Кd[b/tGh[↋atzf^_`d2B?5F1]b_ eMz I{1y5~JΎ>ipK_/ܝ>{RR٩RAswѽ&HXU0Q-/ri@#9,Z%̞r*\> z2?bWl|D w1x@F>yp$ZYDuM1 ] IUVP;vaqƇSKD{NV=s/_ # F gn)LcL k^03ؽ]\ tU]_i9ɓ;.&>*[;^q R+2}b7e a Qy;1 B:$$;R߭'-Na,Xʯt60W3f3vٲ18|L HX&~CZsL G/H5{?oI"܅{c ̭gM7>@<[cOq6ǟ!WV6rh4v&;\Bt~M9 %Xˍʩo8Bj(H8fZb嗻 HLk*z@\&G8$m GDVvA*^SQ?iRhP#*dB|&@Uِ"Bu5DѨ>HڷkgˎIxbweT`K\ZvM\̝܌j_YtaTݎ2Ugn@\;vsm.j e6#j i Ag`wVm7XC(!k+-QBVSwf̭QY{+qV-i}ƿ~ 7uD7@d6茄oWZAJυ$Uy+FY1e\kf f[ pW0=K?][>|?5`wz~yЅ<{YӯǂQ?z ;Ntbo"&n-FTN|9H:Xˡlc#p?zzGrweĈX