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 f L , ]/]CRDT:threads=4elapsed=17.549cpu=64.884gc=2.884factor=3.707zXZִF! !^]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Y b\UxmsRS䱚7oX ^( {Ý/7c;K }U3y;|߁m{gJ{j̱‘G31qŎ*$m##i')>D~^ kʵ7d$ _%i6*Op7|uϝ\d2iy;-//9~mJq8-~ϑQ899ȁjӦ^tu~17gʹ @]D@"\Ɠ:iGjIh,*k39l: Z*RSzpu%ea$;(`FDmNGwqF%AE&_JNeUAay8U!є!&҂sd g0p`ZMZ t;A%s{6ȍ+$|n T`cE]C gYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gM]`|:4D,bNG}5(9\q_W -Fu+jp@ƛƊ~^vX:Ǎ\:w:Oi)sd6~/(DYyxb$d80 ,]:_MO1E1`<2? VC\ oWUx>=6 N@_ 2gYZ7zXZִF! xM]ŗXi%B ^Q?,cK2j=<0i`o+KLh+< 7:wK 2e9nPp:4 pO_Z9h"3*h CZ!"wQUD{eP.!a;O͇n+<wh7$P: $>X4STQ:.\kvmq{}`3n(D70z_;-^} &?'lNxf a/ -%K azߍhW׎%WJ토zw2 d:8T E nS~'9\Ļ鞦R|冐& $t -Jj|Gm-_Cos;T^D]dS1樢].Cxfd >ׯs[3$J32h!)U@k&/N쥡 Z_w=cxl1G_8bLYbUPsr8Lt0_xȾpnYge,Lӥ\h&8hE%CT+(H:JH1΀PwE0)Nl5YhS( (u Z(<,̀X-%TTirօ>]`~1ȖtC]b|D:R@ J]i?Ί2R]-ǭ|~v9=˸R1lƚ<^ >m}eX(9KuvPyуA^SvgV2ބݦ P(#;ߛ4BO8LGsi" %>u-V#U/z?܁5 *`3\gDo311h.7z[M l@CVo KZLsS'ᾔ@fU"̬rAx]//*4 nYAmR:!G[hw %\Ji6PB y!ơapG bD䞃x6d((g9HG}BHKO#OIX>^xQ͇ed؈(NN2UW@YHUP,xk 3jIV˲ކeoX%pCH斤/góz 'Y|Tg\&Sf|V)i3-TOn? IuZ9ZRn~X#/qKjE?2--NTP; TIo@M̡?c~2W_*̨L3FmzխwEкb1ՒaA-O/Ox2Dm'gy} w>1$8WvUfep &箏 9iyNSV$K:u=(A}tBa{W\jy5Chy?tԉ~}PSs>Zѱ9xcmUQRE*Tuu}pbXQfРG*_du/m75,]wTVQX9 nٯb +[_|-+6_z"3 p96$2Btq˱o\d;DĴ ~z[\Ǭ[ҟɪz&xWـ<[Ի.,[ ϚMh\9e?Dё+ ܾ2K\ Oʼn}qDPgCBIV0ٛ-|Wd5 51&vnuЧ2sJ y7HhEv]h|/+ 9ppzO,>&[XG(5Iz2s6ZHGm/  1Yen;2X<n(1TxX}E Sah3O6@*+dkNl~Ytx'gdgYZc384a311e55ca5c0c95f354c14eb65204d7ad395c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71ae671aad92e2dfe6c9e7548816d211b646a5fa45c  CRDT