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 @-,$L ] HOL-SET_Protocol:threads=6elapsed=24.201cpu=109.024gc=2.324factor=4.507zXZִF! - ]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM; }I!Z XolI@L {p {kf|\| 1 JfAs!vˊNЬhz |[1M~Levh գ;Tm2SilV삉x]U]a* O6wweJC:D:6Wl*1維M|c ic11R\;;5DF ZaĒ pjA [8yQ|V\_St,M@:^ - HOL-SET_Protocol  B8ဠP/#-5|F0a ûó9d[D3;'k΋A\5j/:(-) ̂R/B /xl}u!t6HNdwieUMz3'k1( _[CkҮ4YST(ٿ/\>ϧU*e쭳f `KcAFˈt ^1kyvӌ)`|?I[6&65`/N[A &k<Ѣۧ1f.F s)2 ˛eZ%Ɇn"ԆYԟ00bu  ,~(y$ NsŠ$DҸh+ܦ`#náR:`|K}kXV^kyEƦk.4N0OϮ9_Xa.Xy>V Ȩh&`RQag5\unb*^QO[pW hcxɭIaux? H^[\.d5,3yJܸUYH hϦWNoc1[8v!*VTRZuF kK"ӫ6L!2J\at4kZ:gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTtI/;s˦Cr#b]%媈E6fmuɫL/<-zM(A-\{޷u38`K8 &,`gt뢯4~]'CvBLG;trO<ޓu9kLF |JcJmngYZ7zXZִF! t ]ŗXi%IT˳xܙNOWu0Én'_!2#'nUOZ9`8х9G$xiY4Ww|~ Iu<zaU1&射gq;5b] |;UDtmҏ1(ɋ208Ǐ/xߛfuM`X_UVWJ`nG.*g>xGʫaكr91ӞZ7m@{F19Xo(/jfW۽i~aD=s[2%P%)aޟW@r=I_RuY<7 [&iN"78neFt,Wpos6P'p1Xf@1*_t SWo%9) gv/[Swdtlt^D Awś(c@uROUdI `m"{G25Ryl\c0*&h誽N8ܠVsg_}cuU{S,s1#zɆO餱nJ=ò{JS#Ik9ґe*qR c. S)} \zCZo[~C4 ?rhH`Q3I<;CA[L9 C5^ّ'URK*jˁY).J? TwU3E&e0UAU~[eQf n8\Ϗ!<`'Yd6h܅\8}Dߛ?q !/К;&WcԚ[]Զx|`)ugޑeⴖV" J7X;T5#\Vga ޸!˻)_2ҝweELrSSY~.u|.ym)9>Rƅ'Ȍzфtk-mGSҸ$s"?h#*&<: Ce^Ϯ'M͖d$+tXIjq?d>ԎA/+C ?8@/ʅrړ lI9]b.'"#g<{T: ɶ֖'LńָbΡ$m[̷O"Jmnh&NCr<޷4d5kRvيK7xkv& ¿rvEҝB^ ˪R m~;ܭpqKpv0uӘf a'K;b]ޓ{ {a*"Ll '>"t܎]-lb a;Ҕj8ݶ=IjF.x@L\C"<ūzS~S1 W'`c}ۈjtTGeUsIV>PUjPYXUp!fg(Wv ʄ{PtLfӟsQ|1I]o/>`?CRr6*XP9ʃV(x.hH&/ZO-Ykb1QPfkԊYYg>Ν%EO\9"(Aʒ37p;?8=n\[g4WбHj& lô>j |B? rM5RZ:Q[RKap