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 D5 d$D ]S Lam-ml-Normalization:threads=2elapsed=10.247cpu=16.944gc=0.908factor=1.657zXZִF! +]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘19˭*7ϐ=]eI 8[,ýXK<"\[#l],Z%u^F5jWp=Hf! L O&'Կ )3^#}-T7 6 9J: +{ݑ>>ad"٧Y'jVe6:`qHT x 8O_kP ,AgYZ7zXZִF! P::name=Lam-ml-Normalization.Lam_mlelapsed=7.638cpu=12.736gc=0.624GWO᝶iQՈ}YZ7zXZִF! :]ŗXi%6SwS(x[6y|#Ӡy-ho,=TpϮrWqknyLWЈB[+='zx޵R`,"_u< L#o[(A cU!kVUM6h` w/\؂aYSES@Xx#ާYܕn4Leu" qe 4i)9d̼rRmNXΠ z2XM2o$]FڲV[gϟ>zסod-ǢU/?bٕW/⍋<733j_% Nf[>X`+l%!~ oH0ӧΤMLX*U1Ryeޛ ~AN8]b-Zxut"Jʼn `!(^UTm}ԕ|&C6wZ7m='#&/ %aU{Z*2#&b]] Q!X$Z#wK^!X`CHChc K"fWwHph4Q X܅d?fXKl3{IhNQgʐyg,rql:6sJWqbInd ; O-¼^b5j@0vi{Χ/!7s3̂O5`1(VYT^ RA E2'/XsG-@9.3c\S 喼:-Lf'8E+=d{Ҿ}yMps8d