SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 [1 l + HOL-Metis_Examples:threads=6elapsed=11.829cpu=52.336gc=2.704factor=4.427zXZִF! Ym]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ѐ[gABr<,j 'm~T!+|s.6` JSg6ZB3S>V_`y/_al UdHNk23ޔ #R9wis@4NGց t{yVM O=*΄:F#Yq)4m5ܲ̒NKE~Vv&?7=dbJ Ӽ*N3)7rEIbdI%ʇ'/Q-XLDb't>NGbU3e2;X@9 G-AR_䪦9To@ꚃmG~TRtF lVov 9 <4fiy4( ֿc{!$UH! 䠉x륆/oNOQƝv6Jh;L҃E v~jdhhY;.ث?G% g8hxȎ)8ꖞT*7ɂ2=]s_j. ! c;Ubt5U(:;p)o;-VңW5+#ʧF=i$YW]P+ubtA? 5][xcPgQ-Q˒U~*r"Izd+; 1,~pYQ1VW&<]lm1t"a۬cI!xS5Gƹ}ٍ[.!UsI y)GfVܢLWf2d1?E}TUVx.[n!p NW#"2( QϩET!ŹK\ ֳ1F߱gYZ7zXZִF! 8]ŗXi%6#ϟ!D]p0 \2u<.菭 j4 4 Օ>v?  eHJ!!Uy9~4tUtxL̀p]g6u=GljtS48FX{gjx N×mF_Fb0,wLU8;+Wy<(265^pnИ>=aSNlB%^ #s):[Q{XM:༎ȨAnwmz::ʛ!$'5Ԙ2O5C@> uCenz3?mG7Mz;" ^ 7V~k4;/ָvR OkEp @3N%ǣ xWto=5 @:gK=" RUR>Ua[drYd&lCK(jjԩC|˨ Ҙs!copXidxX}Q|"G?( 4'7P~IMCR !<{eCZYstQDN٧n ;D8Ќc;GFP $Ը{3!QdM~uoLs!nh]( =i6V6]Rh#kڙ8dIųׂŕ RcoԹ~"Mft<+~ܺ&/={ 9 bGQo@x͖0vdKn*#N%{'Tw-IV=Kt+,x Ş-1 k¾89 .XÉE1;a&aq'*E<ѥ|3>>py%@.ӓOD8˨~$b3bWd-1ţ_Ys w, QJBquia|>mZX$=yc*[Ef.c"ݳ^   X(.8?tz>̂dfBV`?ќkZp=&[n035͉ Oө7hZd:\+7Л*af4,P%kd,2R -zGY?{%S,&ֱgG@\Ss