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   [/ <<, ]/ Consensus_Refined:threads=2elapsed=43.908cpu=82.796gc=6.764factor=1.897zXZִF! >X]ŗXf1-/6vRZyQU]#%x30>ǰ X~\uεr_r6:5VxV=AW{bO$^1d3'V_1\o3+wHqeثa!hd4Q?+lӈ4П$lwq)%zٯazYNe $i˩ns^fdw^#1kHXU_?C6|p@`~)vdFL^!"ITPk4MJhvt~;ȯASQҊN7[dkⵆ5g SR=}N ?M / Consensus_Refined  _ }ǞgYZ7zXZִF! 1]ŗXiɟy)BcTH/n Oxsf1_Hr⵳E 6%14foY <˵s?=.4PCY_qO>I쿣y V(U]]ӥu%=<~od]=ҀFpoQ*E9/;~AKX#(UIE)w'Kei%sAZ<Ckl:O9٬\R\y2wJ)89$T:}v*]~=) (< X"p OŪgl!{Z)ƀ &wW95IԜ([NK#FՠY7+YT$w ր߼s9/nH%+ jM`Ei\ʰrr6}qʭpWǠn{{|+(NO,6&;*d=+@ْ~22Avx>Q@՛YpR>rdz :z|0ay$&H vL$^g o+ BԦդAg4S5%,7i<^Oa+..LMO V*8GOMfN1 'o($:頃(P lY6ύm`v~/gYZ7zXZִF! P]ŗXi%>gWV9,QM88Gl<{](1?XdZD_%N$k\M{[@zlIECᇭz~xUČnCVW;RLS7B,eifNN}m ps930v\ЕL1[PT;illimmE Dq89 7mO[J3 ]>ۆ *1ZESa/?iN,7IOS -4w[h'#a|0c6"T:ٳJ#Y ոNT)f$8b^||!D{3c4gn@繞9AVx`t랫ZE z\4^}Q_j.f$񸲅d/eRlEN{4zv aND׫:Fu9nh?K70"7oo-Of|u$M9(ukR!b@Krȕ$fߜ4I}͎Q6NyeLs,ahn=0/JazQ~{#ަ:Rx}lh,F썤Zo#G=*{K-J{%CP~ 3&wĆM,(ڥ U!/sn0R:0 Ab'}M L`1a zX׮eI1Ep0h7K /i*~ uGGS ‡֬Q>+D[Xг2{mt#:%0wuܹ+қQ@"goġ#b﩮Y%/bh^XS7el>~k;voNn8l8qbe]P W!<1[v&-^*vx&ֹG kZG:]fQol.")JT*q ~^$QD> =!mذJ(y_`×Mji0(u|ط5B)S5x/ j.KpJ<%l5O8b%`JB닇/ :QU`j,c6ȂuBu[)t^<$˵/j˨~&1/,0IkoTs+%EyudRKɎiS+hTXakKޯ?_OW~Z,XG 395G&qbÄq)ajhg<;,D #ڱݏ>$:z~Ky7 !d͹/vq4AQ"8L1= N&Ixn<X^{Q`f9^Px,j =a/ wz8HxTš_U[1·^oȑsߩNs].B&VV)gĪ6CbZZ *ږtJP[@rmA䪄!5p{* jxz5A[Dbcz5t8OX>X 9mjL`@^o/lHw0Y#>\4Kda3{F>|lu`_d][m#[/-x[GO*0CRB gm='Y_#Z+bNpH&;Z-sCb}H_)'F Db[hu_F xܵQ@WO%Sbۡ(p~?Qv4Y̗^ķ;q7vYႳM4@!&b76@Kb "f)'7fS,='Q?N}0m}dP"ULBJu%oylbCc,Em4*R3rS f屟 *4ï4a#8YܣS]G´$ό'|qPCoF50^×&"ph"mi=$JząFPE`.-Z9D)Ҳ4%ʆ5eGZ=Bj>=~ (1mUqCUkӼI uyo} "͢dߤr~pKRvV6X$+OőgYZbf58bc1241674a610917cd4d1e967e1494daae2ba70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8