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 $$Y) , ] HOL-TLA-Memory:threads=2elapsed=13.567cpu=23.944gc=0.672factor=1.767zXZִF! ]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋEDbwюl H;'wNvJ]{US6׍8EEtq10jW'b&"ʱiqɝ:>qhۏ"Mt/-G={$,T7Zm$P֯p?rmAv9(j;s=L-n7U==q; 7igW8ybk`+kNɷH%ndňwyJ^Բl-%Ǟ063osr/fڅKE^lV-;-BwU˧?[^1 7oe)? .F*IlOlW\YZ,sIiHW˗7Lg_`6_ens@`|%buǣ`%=!uX"Iq.D%:/gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWɏ~m2[ރ# BHZbMB)º۩:4=}26*}Xw Yk4*ǵ<}BhG4CGbJO3a^ޠl8tљaHF~J 0?.ddz:q>QIgEl$±gYZ7zXZִF! AD]ŗXi%9(PKYK 4~_A|kHBisS$\SϛRi$7Xd܊ B,r`. u^c}F1M0"|ـ!^ D 6-Ӻ wU%8$߻QgO-4cu!W'E&Hk !2;xXgϨįkWR"O8ʙ憍^H}&mB6 ɼq`|1ء? 1{s7 C1ʑ~ o>_ol["StdTbfR X%{U<& ˕Ub.*b;hW>$ȎTL搫MoXb17<G#zz;>cR1۹N^IŞ%. C$p1}s-:b7e91!$v4Loi>t&tڦ=7)VYSd;/ ,m]Y`/=l#W'Om%./iEv$gUUޒ_,~Q*5+\}c+9Q-IgTH#m&aab\mKZn]Y be'A":<#@wR3=\wѲ؛RU $[ ?GŚC+@m7쿎W 5KLUKo+3 ,ؘlGi ̨*yGО>wUD9db. "&\*ڰ/4x6mPp>:n %R^p*3[ !(q[jI(]ר&5,}ȇC.Jl+/Gc.uE