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-T,d ] HOL-SET_Protocol:threads=6elapsed=24.369cpu=110.440gc=2.284factor=4.537zXZִF! ,"]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;,hx[(l[*l,zDu~N=n_Yr׽- n?Xԇh zEOvI$4!&h:.j( d$ MVzjJU8k. `e7QCc5KRi˾3$DڔTi#)>NZTG.MHH*L5p-(R ч8XrA~Tluͪ - HOL-SET_Protocol  ( mcasSj\W:͈֊$y?:T><~$׎ڎmEg˘XP'<_ˋI baqŦ!Dg ǸLAH-x${;q C]=W|Grqk`G'pY[yc@5P X,G#~.VdE@DJ7y?\E h?ҝgpV3TG@5LA슮Jލ0n\ ~An,QO- +)T!<6l9j^8 T XiEWU,bmqFnpKJxJ+Xinw2ñgYZ7zXZִF! R *]ŗXi%IyFrQ7I[eWO5'l c )]R*#>#;L'zT{G/7&#죢`F4ʥb|7:0f{<\cr0f֢_v<a@u+3lT$ =N X9ĒȠOcNji ÛwS8*eQ/ֹ<:Da\U㪀>~`K\ mq Pm_9s8p083!gM|h'&elJ= C[>̐&\SvwA`" &0aP 3.6tN>"uْy^. u@~o7\&f% <4LqHW1 c|Ac9%*Rt Ŵ- Wxb*:\Hy q//mbp6;'[HbkY&6~5|'Ğcs< Z@Uɖ\1v{BHxS$נ%ϵ'L"ί'/E=l-/7.k詋(E؃-=j "ޡ3=:pP.βcSTM|Ǘ/o k|8ɔHY~E]"($7l&(^i|;+"p}H!~fm²A[L!^QS+`Z!N(Z/z'la;Sx pJvK`}ZIѮtu i&"bkn\H,4ϑ7⿧83x7S̿S혗 棞--a.M" y AsQ)Iַ=%ELst: )f$h7J(7 I< Dj1M,%J5HO_yVIpXR6yl%X5YJ F%OP|wM:QBUF; 7-Kg7j"O4/xtt[J/k=i1%o3~mD@3"KO?&MLQ 88\ "%Mؒnm猔57m? 'ȷ@Ч,9)P琸 BXr<{aoyUMdޥvk`QSPriß7~$7gXDcӒ]igYZe0ebc32c17d1a14d23fc997bbc722c634a79ca59b71b2aa485767f91425b025d2acb6b14a80f48dd fe032c99cb4dd9300104ffa318b3d3be808bc47b de61e68e68af1d57b2532805aec602483b3d5532