SQLite format 3@ .0:  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 0-<$ ] HOL-SET_Protocol:threads=6elapsed=24.194cpu=108.244gc=2.216factor=4.477zXZִF! -]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;,hx[" Wu79~O6yL QyTΒeonPp@,Dv`귩$65`k6_Kǚfyf|e]3gL`ek駇'cM[OVH87jzO94LFvQ1hH̩݅r՛l5Fδ1`YV{._ F Ù4pt&!c&eX:s",6;Z5Qzq_?)N - HOL-SET_Protocol  "h W0c0ܠ7Zv<\Xd  y^*1WR٫p{q.}F1y.ӈ+Q+Uٸo3qc5G6H%dOS!ƁE M:.s.$/H]@(ź,*N\5$?6H7ԴG♊&3)y猄 ^7q[t(I8 mN>ir\6͠ и6KeI&G!jL߆E(eĤy|$uՠKjĕ)q6qOܙnBgLvy&x*r}_!ZacnamHt7j4{f' D TcfGv|9icײy܈wl baGGҫbi%<-wL?*8^ \J_1ղ3!̌gO1B|elU[n?ʆm-r9fJuZ{AX.} Jgt0ml==y7242gsiEGrWX/G#ApQ<[a@ܱgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTtU|➓rϒt04QKxKXn,(oJ5oRTbٌedգ3)mL3~u Wk4=5v#/M" ;_1L©^όԗKKЃ=mS0H= d2gYZ7zXZִF! ]ŗXi%G7=h7 UYt4nKP)6^˛'N`8bdN% 7{RI &#Iw>j}ns>ql\@c̀EB[@r]&v?M3|%wiTOPe澢4}^L9f%sƜ|;j~$v\YܙU7;**Lw_ ^RXdf 9vnR'_> &nm [iVTf TCnUWw?Y`kmݔnsҎG ޤ"܈&Dϗ>HTE@(Ϋ4^{s%ft\"naVro=jZ*  ##۰KM Yb-˴92"|VAU= 7]ړ=*&r0c͇dO'9+Tڤnw7ON'8)Oʝo3akcjE04@PRȬ:?i9_Q>! ZMڂe19X~Q::Hzĥ_"4c [©I23k{yÂ"?WΤe|p]ʅu~rs5>aѮxRSaY3~R%'Cu@sIeTJJcٰ* SCxaͣ!I ДJ Ƭt>gCQ@ECyc-`wa=Oi7A=Ƌmzp(݊Ŕҽ`kUR<yw?Vw[naGY&a[sbD~Ry3`cxRW.[JS msдr]Grݖ8~A +!$aUQ>w}&o~kb'aǞ֝izH約1&! QՒe1`3Wz.W po*IOE|BE}|J\$9h(__eX *',,;Fg͖:cLl<; rwX&6hts1N"K{`h]=O+Fh)ۓǫцڱè \P!:3[~spoB+|#m@6zmF{:XWHUL;|r2;xX~b!-`5L} :F|AZ@ P>ibNӻ郎8L` [;c(YdjXKĵ6پDSP 7=CoضW̓!UDWݝ=کVZwGKtoxӮԔzG3 "ɅL<:vy_Y(@[6p 6|&w+g[}M5p5))KSHIZ#4U]UԍS-wV76\_ZYr#2OFuis]= Я[B7=P} 6XFn>ӗ20Qh@߫O ͎so !:Si"m}}ב^7K%9.Г3?ܮPYjC._:gYZ90373f1bd4b701f3205b03a4f182ddf94e4910e38a4269a42aca70396b3fb4cbd3bc25030d219b39 83f4ecef7c63c228d52e5c4edbadb14ee6b7fc2d 49cdfb4a7f6e982b095373f190b19532427844c8