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 p dTT ] IMAP-CRDT:threads=4elapsed=22.132cpu=52.632gc=2.176factor=2.387zXZִF! 0-,]ŗXf[&5s^K9 aiinonܶ9CLF9/VOrieZb+cVlz{Yrڕ34YmES˜^7c j.-)SbO Z<yA?/R{P_,ҶC!Q=::XO"2^'E'a ӢX4k)5xAS9,QdFDH<f$L~E (:O7Kar,ikʫ06Yu`Mn&`Y]-ΤL['K˖ 5QU" hSXaT,3a K&]C(D>.DhJ<E8N`|NZg9֯-uBPuKOOobp.{c߆v(  |`v(\?u逍ߞzxX_5*RYD_I.zUJ"Lخ``ӦgYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/e, 5Dy>Pm!2,)p:FEc .W h T$o& 09N {@xeGsZ Nĵ+;JBgje.CB^gYZ7zXZִF! ]ŗXi%B mQ0˚vɗSSMѬN.CktQCK`)GmFҐնSx &O6q^!D @QUR4\3 Lzlb?dhj 4CD湱3ݢ{QHc3ҧ+ra|%~ycgw[!o def%=ۅ:h9nAXD/X؀c1* /q#ϘQ9ϕM}YTJrVn0}tھ-(j-~5$ 珒Xvcѭf1ңc۰(Gű[qPǞ)!#rczrQ]JLcd#? Xkf37*6;T [f}GYU jaq{X"u8B~Mr~łIĔٕ3шgnN]汶ƇL]=6鯫JxX<ðAw/E-t}R jwf9q(=sDG,JKUOᵉMY=iLDܛ\Z#+kX6&nT7]u~^E@X0$b-ӟ/SO̎5LaM$` ؇>_ b>O>WFb/ǥǣfNASS.crd ME*K7!_ѯu+ݹz'2[i?Vb Al1bXؓ|nb.H>\r 9,>U*< +06UWf D> Q)DDؚk/--VЍY؛߿; ){fZcfu)I ݒkWqluiI9TA$DzGj%]eCS&gJ5xld ٖvw6GE[SӾ$ -dmdSZBT .]Q_J%CFsk_hL.((Q O<q#PE!A4$7(nc/Гt95ʖXyUwM |/ y)|L9bVXS=g/Rzx9(E^,uUZ#gYZc79c7bf33c329664e955c2f3a89da6468aec306bc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a e671aad92e2dfe6c9e7548816d211b646a5fa45c   IMAP-CRDT