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 FF7 |L ]S CCS:threads=2elapsed=19.942cpu=34.128gc=1.040factor=1.717zXZִF! c]ŗXf1-/6vRZxi}t7hSyv=4Rqg[*(*rC&H1[EHU'aOҋ&rEo74 #7 xR]ӓ7MszlAۋsq' c+Y?QͯN׻H֐fīy (uF3x >N,wg3,K98. ?|\]=+ ^%[ACft@[y:KhQrӤJSa\K+T-9G㕩n^>",l KP/ ofȍ?k;oE &h׸%~rh(gIz>}ryӕ:=LL5.gYZ7zXZִF! * ]ŗXiɟAyԳbɚ->=1Dk1qv}yj7&^Ţ^pՂ ƒONIu] 7듡3HE5eJ1xF{p@ Z4G;|C.A\dp: lYP"dnLOĜ*f͕D7E; ?|}nn%99h/~Z2/wv/C>  < k&@O!AM( Rf~9/Y#Zl5wc2c; aO`CgYZ7zXZִF! i]ŗXi%9#qq3DxR`oJb(bg]ftr;V)LJ2+EMz!3c~f  7/̹wI6|͉dM~ދ-6ta9?KY%,-BGh` ]1 JR_ W:68Gd5Bc˟1VI+4J""|Cpz:0iQ(*&Ae"t ߫60\sp} YcSˋʉ'U ހ.CA(dY@im*XmPT$8lI-cI;1wLB$JX'<oGbuL0FtoI? fS>+΂O{b5(-{ m0Mo,Fzkhe5<]ӘYFq53OTxac/ʔa*jk5{vͱr׫[5*zbtj7뾾6僇 RjB-D2L/!o{5FGwݎw"^:|[#MѴY(Lc%M}[d&Q7t1Iǝck)= 9/?;s -'mA7~7; ]mP9Sة,#VZ,JE^WB֣(_`C;aAE(9JǛ |6> l:5fU5~:9/ul]k*7`a@}˃C6b]T>=#Tr% lJH]Lk/ rqq +2?F/ͥ05(Z<:{1E45H AІwۡp$DxߚJst?Ut$7>S ~x- (TnT瘦Ss u7xٗv%Ey/ i܌NuJf 8m9L-ZA"쮡MsPb=S&+6_9[")Nj=I>PiNjKPXB,aD.q*:XUYr(hlGL/]oAn)f.yz gYZ62012f5b701ae1b07daa1d3e937a81ae0e6e3bed8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c a47178463855e4f12aeb80911f2936d82538e856  CCS