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 - 4d ] HOL-SET_Protocol:threads=6elapsed=20.384cpu=89.192gc=2.548factor=4.387zXZִF! *]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaа`(u4P3݆0E^N`!jGR u8E瞖 9429+\^TG5![)Mn0Bn6I="ֻs"k#iտ]YN- VZGOXWB48ٓ]3a؀^AC)(8.M뤻zNpq=ok0γL.x lWCT$ioiE,8x8@ef p(SS62qq. /T$,ܜ ,J@R:`-< 0<%Oe敜Tvlos f1###?{vQ"]7$5#ʽLQ>K: XWUW\6Rn^~14Q?vMqJw%4 $ Nt|!ʹ96\sn2MˊE06*G{ϖ>IvaTÕ$pT`!S);|5OJ'$cnz~jΨD\j 0C[;pכr&1ؕ" EcVLBty>fPxpBuTO~*7 aa|n/z^$oyϖy]bnm U#8‘lx\*5ON)4 5ˡ.QM`vEH^GsFgnD>86M 3zocAMo\MAOt=O+ĸ$jcY|`d[U#PUigYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTcN9zZ,`alB6k(^ؐ+%*ו ȝ{/$MR{Y390ϩoNRhUSQ&77|7>|!d@փqXz绦`DI _)?gGJex[ AĤ)YӒ0&}[_Ǽ$gYZ7zXZִF! c@k]ŗXi%>թ5jLHvgSrMUJZgP ~%kZ ۡz|L:t$-8q2^cÙo$P> &Q_f\3( e/' $B[Px67K\(2"(*O xܧL/tІt1AM C.w5'ڔi׍7|w+A<܉DXZl !Y78XS@m`eqgL?L»("@N)ŋKQxj 9>ZK)o"įDqSەhcwj@/v}¨s! ȱؕPŒ񁿮헤˳E뚅jKNzG62 -xc`1\oaRg,SpKve8gQR)oV\SW~Qi݆)w(5b[B=5-,D\bQ*GŪ 15&Kghnv9߫5ႪgO&p 5;Bjݪsg5DI Lm 1ѵ֫ ְ]k~I+\HO-mlڠ-N[.T*(ם>yݟ#T e"c+3kw܂6!h}B3TUEq='?-:->-+B UMT(5F5?)jLt E=ɳj#bpб ɣB{"Y(yN Cs'q4X|5#&%l-?8a+;Rɂ=D롬@ ڌ .|&V lxpjۡJK:!5x*?+%V[b;h|guqT/o\Ƕhtl,1׎JV#O9 "SVssuUD/ǟE@9M&Z7"鳧2-WJn|}A`B<47\Dg|瑗,yi\kl%q)g/e?z7Ҕl/]3bŽ=Ec c:\qgjZa. Ȉso<bᐫ6b-y&Yr' F(fw %_ &V0K:(k&/ffR;bgʮ&3!}rGsoLѫCDڥQ;ILD 3޼(@EUE)DI>ȁr܅`89R N״4bp䇨w+*# ', h++d"3/y0PIgy@G6/LE~0xFWw4w/"?Z>>$,UbQV߿#F-fN@!ӟH])i 6/Jz(xR~s H,4e>گ,y7(378# R"t' cVZ>QOdP۟Cβ3l#;#y 1 w=!Lc3{3x`hZ`v6n8HXCSՃ񒮯yw&1(pΗb +PR" f3Ź&s7RK!ڣsHfE:`jފ6=YN"UjJ^u5ힱ "0Hy`{8 6tc%=yU=zR47/Ih7sIfTݣbR@ ?{s-NZ0Q3͔XD.׎S6~vkT.y wRi׀'v>^f6!5xgYZ00af5900dad2c864008741ad964cf5661b03c4decc6d6598ca48f4c3791a98b19dd5cf828358a33f c32e3c801900c6f94f6ade7ad7b143a3950847be 6f2a0f538ba8b7b23b9cf8347448c34abc17de02 - HOL-SET_Protocol