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 6D,T ]S HOL-UNITY:threads=6elapsed=20.762cpu=101.628gc=4.644factor=4.897zXZִF! 5]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx-G{P:utgnsͪ[TO!3sSKD>cR?N#{YW}*7oiDRo-zZ_7Q'*#` xv'ɑwTHf&2]~9iV3>L^H,r nGEV   HOL-UNITY  {&I7= bCBWzlK4|1.u&P[A5 b:2$NIyb*{t}[u_&#2K3!a#vx_8a!2K`u?azOl\l|3D-wVZiRt؅K3   *Dɥ6F}2sv󛠵<&@{+ehi=y"Y]k\G{4'NF6*eAEMveN'{&QpiU +Ow+ʆ<q{@iE}hH8;ڱBBeTB:fhe9w<;Fŋ?:  7!V+ Ьl/Kx+V򞴍0$#q\x34}jA.Kup-d [`9SV_¹oQl~|-f [6Y1fKk ڂsDPzl+4g6>J% 9ܹAA x03q edC,I@jB-x.G=:D[$1!_3)"SP06a&e꼱YxIX6RT_iGB85 J@ڞvgwdSUӽ/Z@?[|! gOUا)r@Ùr҇f&&[S[&/tMqH _Q&'uJ3*6M(P h*K81p'C:{N F(s܊nrC[zv҈g: 9+ػuҶHƚQ(Bmx2!Km D)oܻn*CzPsXqfTݛH>G[}T6Q@ =( @ˆ JYޭ3NZVnmJ?h@50!I0XÐ럢H~(IՀKz Na>8p՗0%e!ݷ(s Ղ-IAq*ԉ.mt8Q0)]0-uܚqURLQ፜alB>-V_=un+0!ҳk0TiB]SzOZ qu6D;,hP{\_&H.˶jBv Tti=M۠?TY{HxXoS}$^$ QN \]r?F jQ^|?_AmjRg&ܢn߼4 2>8LNb͊g*xFj"mj1ȱn,׏Z]-ZCJqp*=fMgI4`fɷG=gYZ7zXZִF! e#]ŗXi%@j.rڻ]8Vλ \n ru׷o -n,jy|R5|lge Lbhdk԰n13nN D(뽔Nzc’ۼZ9I'~4&-uɆm|LeUd)nPDBPVPn# 4S7ᲛPMl~1ߵ MM4,g @swqO5~4Cf0ʣ}'mx< ,ڋW?3*dQdip5WE4[0K^xmC!t_ܓLAϤ܀d;rjޙg$Z7 9"L &'AlP#( .?'ef8fi h:zv/g%"OA'鴉{ :dé)Pt$#5jݕ4ۄk=Eqi\ W)e EɩUL,M%m! 7Ӗ,j͛FGj ˥(q_ER l_#A[kKZq1d[=MW=( е7E\f  BBZͫ!h+9U=x"Q3תf~bU++4 ?R53|FO9WQ!u[{z"k=Sl~x2ƞ`+JځJ!hLU Z0fugCAL6}2_4(qR?=^'AȜuk]iޓWSZo07d+@˓d|VghS;G8Ҟg\!3>jv+uųo NϽ[{(˪ LC t0g_+:Vn=A"媜E-PxсqFIA`?"%8j߉9ytƗOќ/w֕8y1#QT.=)J#h%nksM-!*z ML샲p[-e/|7M;@)b/y[ I Zpx=]^Z) bT%>IFOȷˀm_,9ݱ7(]4uZHT0~Hk΢%s=IVvA$DEw+p K#=v]LshW&bt›m 8~P>)Nmķ*"$߆>ٞCD