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 wG $$| ]/ Possibilistic_Noninterference:threads=2elapsed=40.244cpu=63.092gc=2.612factor=1.577zXZִF! &]ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.E$= V̆Ttʫf(}<`Cl'O?gl!C8̗*R8ִ7L%^Yē ݖ!$4Bb*5tX8acS>H:Poʼjw49C!x5)N9ՎñRH bOAZR nRFR]ѬyQ|X(niޯbS,jqlu@ Rq(xOkN]+Yv/۴YJCMP< gYZ7zXZִF! \ ]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+שׁ&5:z.L$(YB 1s׉q&L\]uP|_!s&Ѓ/YitˌE>ff=B.5b$-҃s߇ L/Sp_1w^͐/>lm9&z{:B8oHbrk:2o$ի.'1`v.6vZ\ udε+ݞ?mgYZ7zXZִF!  ]ŗXi%923Nݴ_Si4x/I/|3l6#yv\X(};ОήO//Yϸ A?s`VV5Y،2,wX6o!4F[C6a/Ys/Denn^Ԕ>C`-1CyxrAa$E]ց{lƳޥcO~C,6؂B1Qq =p1$ЭI[rw/ 1Kh?+a0!E0츷 |󡬺; i,9reʱ'>0F!Q2Vy.kg1*9O_@&~& f$ِtׁfD3Wo$õ8GL6Mʩ;ZI+۷9E@?+1z5ٍ0\ J+:`mE1˙)qZ"H[bVx<'l9 [rfg/iz4`g *&ߌ/i$2y1smVZkC= T],T3:h;'@=nזt=:D~v'Qkrኤn(<O' [ >$& 4*A:vYg ;iPx~d#|+֝#59mͺj榠cɋ;`$O:V8WjۯDWY)&'K&뉴^&t Gc S@F TP#}"BpGǚ8RU4uog9HX8W-HS!kL"<PP-*kۂ9>YV M8r*݄丶JU1>s+kO;ZHyMa$u+B" \8g`z^'"v*k^ PԘoVI:&xxd%ㅨx"d^(>ΓPoa>qt$,^?\"?&GavU UER)";{<~ðAO?migcBm9A{.Tg@vLHZ~VN *R:&\ !`n tǎ*1{mr׆7(%2W =Dw| @tJ"hwm>KP, ķ1H#>B묁0z%qP#o.V8:_|Z@12f<&"vTvN|l.S63u,>*h(Dg( h)ڍFO풂˱<0AbWaÜ2ۂce+ŔJ8-nwzC;|D 13.m'txr}2F7V:%<@mίIH4TU񭈘q/<*> 42%gpL3< Cf_>vA‰頕<O7; MLjq,Yܛ*$^تgYZ93ce6991f77ac7076bb865c26d5f22f5b4203900fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a