SQLite format 3@ . BBh77otableisabelle_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 I||$ ] HOL-Predicate_Compile_Examples:threads=6elapsed=46.493cpu=147.900gc=7.952factor=3.187zXZִF! y]ŗXf1-q恈"3UUMѺXS8*Up& хv+?'X<~r#$c}Uk%wAs=="ЉN& 0po%&קiJ!W) q.M*Ia.nslza{?4P@(SP-n2zaWZ6-% p[3Ɍ lyJW!Z~Ŝ]!?a>y LE-kwu7H/1=I; _@Oj8dIeCq)8"ac6vdn$yFR\p/_լi<1KGڎn9lf}| np"3[s̈́^ԅ"Ήӛ $dSX9StGf:`5K%C@n(- >T Pp"0%,N$Kfp4~PX+di@s9V9*k$+nbʏ%3cebzx~ި86cSluVPmj#zp*@X}2_X$3(oN5:ou+g6eۍηN8"+ Wf& }v􆭙dSzI:\亵2;A!eܳbKVg2 /vdx i^TS =3ԯ˚ֶ-'‰219/؇!#_oWlTd#FM]7c<}c!Y#ՑLϧ.qʙI1DT < GANվDg1bqV9I6-{4!p[ պ'Dƚ0}<[e~5BFmW)a/m}*MyhF `ԅlO*U[`r8􇚈Nw5OFU?XRߥ^58eVVb/@M@GiX`X#cU)kya͋Fc h/@f1 vѺ X$2^=M:Mk67D5w|=3W 0lYӐ/ߙHy` O-AQMAa3GzEG-W=lstvj.* {^9GH!_KX@P9n_d_+%6 59<ګf,X]Bn14|?b-FRaӐt/`UA4-P~V7.n'0&E!ZWdP;HN>Ne0'ߦ LX8hi6UA,f󼖵p"9;޺-WݳlW` `}]V~vՖX]!k݂l,!y1,Xǂ:>L)J.Y%wrfZ6j&+6=jfVhwk˭̻*Z f#B{wUKd*SiV|BWmdcPcwj-Pӕ<= k0zwc <9 hhq5IT`@ 5Mmb) bL$w~x+b$Sם$9eNܖd.jj.0:t iS-т=o$N`-:e7̏xqb3eGXLuvW4j,ƒʴQQĴt'zhdG}GD, Y)]"% ԐioY:K-SfoZX,7a[؅b$ .o+R.~tA@;tҘL۩җl7^:o=3A:!F*LD{>&vG N6;bdXwG* ^:Qysܿh7etO{ċ4(l)H~ҁ)gYZ7zXZִF! u]ŗXiɟ11"7l>_5N: [J[54Rۏ,|?,3)'-MS#q TVځ*J.]lZ8Lɲ V_E !I HOL-Predicate_Compile_ExampleslDʬЮ* LNV\{qe쌐DйR.? |tVG|B[QHƅwfz SSPi}_7!Jt̗B .ii18ZZRO1;!3Y3()6 e@^2l0%;kEs3ݸ ,,NKCIcAo#%yLyx^˖:QtIM a{]Uf2jZ{zFvcNfY'׮:G~0oK]G5Cyfٺ5i|?og#˧2i 7 D#7@.yxW VMn,+co2_D.H[km_%oePg{F\I+0 @vĪ֡~ 8]r|C5>e3!,\d)5߻)^Nr &(HHs!.X5ǿ1U0IaϏB>F(HeeQEH(m)fxLN*C[wk|ka=j/$I(<%؝zl>'t@S Zq%9ް ohSVƍ\1ďigp& ҦmlpA'] hXUSk١7Tp-\R@BYi']cqC8^rNbB2 S.N=tT/bXPpߏAlfQuCE׮d8J _= >lg>{#{B+pHw:GfW&g!L5n@\N"īwUϾ;c֌Z0{ՕPP&' )|\jѸ=wƩ57+ϟHJO5`wt lؖQ9qjs̶Nv_ȣ І'w-]Ƃ߉t]do4VN/mQOUǞgv Rm__A:l1Ʋȓ*-I\c, ^ӹ$qڈKA E"HiB9}1K{82ܼ@Єb]> oV

;„ݢjFj[!#dL=C:eq~ƚr~=-3Vo&oiy9 #N.чb@^scT#DIBTKf0%q[a,0 ζP=ru&n*3>t%Gv2(l:fj>>LhW!D֢袇e\ƝwJW<_+vĢnV-\Vb2qy: 8I,#7/mDnL{xb(f9j4y:6i}&)%K\L0r<̆x;kZ3=q˧Bqߦ,Xe+-Xnd'b,t v"`l,a4vgK}&cjO*BoLy{D6G(k!HNAzW/d(.6u;R}\ȵjH=pa @S]pKʄiALv:T8GQ%%8xkJe"{@R^Su3fq `" I-ab4堻"2nbC$hrC֟}zܔI2v9ZߔCij]>ךr̪lPcEZ_7qLЬzdi|'oς90GRW?˗|YCs>ju6cw ^x̟Arȉ){y]4uCzȠ!][ #PhSڤǙ֯Zn(_̵ )y% @ipHwB38*zӚ;r*XH"Pc>铁(ɰL/kgM3kfȎN{,T$٧qe+%ckr03>%:87FirLpt AnOjs90d0z$ ץ* ID9\Yg9<ٛ\{86f#Nw!W[