SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ZZLL| ]S Treaps:threads=2elapsed=59.210cpu=109.040gc=4.660factor=1.847zXZִF! 67 ]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxcٰ6mz0Onm yի%!2ߝ] Uh2lKUl ]I!01fASfc"teY vŷ.5J-ʠ)Ȼu< T'A+7,bWg bk$ F.Q`\ 2H6!Ti]:Qa?u6nu8I;.E-,TCg3`Dw,CPL2J]W^yb.B`3 f\˾m3)QWqނDXm+ȃ3>O(RB;Kh7bsqz[X?Qm=LkȻSƐ/Zqmz{o1 8ѷa *noRᯛxx$+}zF:NAe$/?Az Ww~8ޱ3 5%<wCv+&R~JE[hFW,[c',w@!WsB&s< 8y4yB& XVZs(FZ,쎙zh)oE:dex hp̷sNt}kNHs-LqL6 /&ڳ# d6+_G9e;U Mn)ęg:'لCSGc[\H/q;KmwTaƔL v l㾦gYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻 lTHthk{bAR(%c^.cո Fa8rxtt[ fx>8PTN% KJQ{\F˰k.5BX}:3%dL |Z" ¾\O5jf3^RjCJIМ͖T$0 t /e'bBQtFz(lI ZݏoO\גYqqB$q.=Yg*dWMcpaHi&5,;_ %wj9Y$YS6t<\5S!b`E,7>.g^59:(trȿ߆ѩ7 4#;Φ8G9`nsƘIi@R}&%a,[plAOL+y(KS%K[!y ~yYKf [j#!P1l;: Di' QP\o,)NDMXw$]v7rwKB,:8 =$ AϴԤEnMTX*Ϩ[܀}Us`x|_Ḯ ^&j`f'[->"rçHBSSgET?z֞h>䧕׳1A,y~ZB4||ctROZ v@.)A8d="p;Q"kȨ۪_f*7i݇m< ~ S9. ["}{" B,YiD|0g'@>e>$U3-*U\-AtL΁ Cf0mku2طe1Hz7h:.kC9>\j$/մM F%x IG "ɉ4'MckVvƈiV>q3ySrvX7^x'RV4$юCA+\iт&IFpw( ЁϰZW Q0HJ/y1p",]XJURnDVx)7WN[@W(,DZ F\BC&ls2:),!OBKtomgO񷡣_}.'E1JONIҹRq?"hDjV>E$VVmJ&"O_ @BMA[F1 ߽ӣ[ ˳Jƙm7~Y$ZfqJ Bј ?WL5@}KRBlH5_!xpO,JJ>,*aaGD[`w+8T8kߦGNb^7f!Yȸת|tgFAȁyKͧ˕8~Yr+I#GfFA0Z`WFq,Q($$:kq&8| ;:@Ȓ1(0kBO(ps$ l t$u۽x۱iS=]O6Do,F}qM^QC X+hu%݉W"6S ͏pcҠ'VʻM${j~K}s8`jjܹ7جPԮaEHR d#A?6mC5=H5e$T(` {S6 ?hY]}s!1h;_gnN͇$v2:PₜtDopnY!,q)\W:EY-#U~2fq> i~cօ73BXI9"dMu xoᖐ~G?bkn #dدXoqç##NHͪk~vYUډPlJfWt5.PZC@|B̖Gp跆k炯gE\ }/,lUAd6XMkIE|675Q3 ~])'[[gBˮ8BǬtMOT!TU`#$%"kUtɘR :nu&ĜlkR7*kh#UOa{?XqkÎ=^  ehُϜi~.֙k71,H[ء'g |s|DsR"23 oR| @Cgqx[ VX'#}a5yg?t5Klw1CE8wm'OCĻp`l6ivv@*I 4N z){ss³:qy'FX yÆr1ѥM|q.V2ZǴ`3#OpPi9+X  9-M/E3hd}# VчfR?s1#0h46ܳDZtEr~> ͔ ]<@\#}#CP{OFmM_ .5h>dE\ǻZҙ>o9$#[NJUpḮ>hόv:RLK=T5l>WJz}]l:h+אKG&(64$*7_ Rl gE SO |E4CY~'^DOWg3\%^JsQh+A<(X$۠N~L6(&bCi69vΚşMF,O3ÕL+JQ::o0ݔ2wGJ3*d(WX>];ЖF6 wt@-eA N#KF#3 Mv.HUPh0f_1^xA*wJk7^VŨ9`uˍD664DJ9xik%uTVaøs] T<Me4D_ VLӈվ,gYZ13abc0b27844bc9c59f20cd178c5790d91a76398767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 e4e778c5b7173ac50dbf40a218cea9980c782990 7967251fc56b8b003d3640fc3860fa8376b0bec1