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 C% $ ]Regular-Sets:threads=2elapsed=48.447cpu=81.228gc=3.704factor=1.687zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'GhW*z* ۬ֆf9ދ`›@V> H 50 >V(y7GΛ㷒 @D 7䐓86KLc!$(zn*ܨ3BODReK肍zj/];AMn:I܎.[A !aP{dok30  % Regular-Sets]Dr3zEv254MUCւckwLsn<+hxX,ȶd>Tޤ WI #"~ o8gEڿ; (pdJx;liGԁ)0 @W$AR)#H+iѸvodDsĔ.2Qqʤ+f@o)Zh2* v3e)E쬷m_m: W':DG` 2-2CgYZ7zXZִF! - ]ŗXi%} z7 SMIvkJq$tJҰBvcT?]$#6PƤ~WEү/XsWʤ&hmkp ).rƦ.=y\n7Y7sVH q:C%X=Bp%MW7D=KiRW#m)q#Ci<۪*#X2$e\@"m \S0趖@)sQ~,xֆ  QAd:f9\<-@MG7CGӰL+ kndl\aӂл#!tfGB$gg2ƈTt# VH)o2EBD5Sіmo/"h.mXR8 x ꦄפ jjhy8sejj1Ӯ/{7Qŷ/q%2Lc- zo?0) `[E Gvwg5n2FRg+kmJ_| S<'S $IDDds= AEVRpjF96 Lg$^1w 掝T F䍡gL]fh6\pyw9'@[̤A9hojԣ'*q'④oKSx_)ۀ ͉/qXڜW.< 6h3|3F>Om+*S Nei`X@##v(ҡv [7<2Kg$i:Ve!`Ms @ zn/P^!htt½x^oŧ۵lz<~me+`CeIL[dV#]Ҽ4_AIkP2~mŭ(=39˨ԡ}XJG SG*9W*RabOWw*P\!/9YU'M;As+Y5Ƙ<}Ø7߯J\S>1"҈R|pUD?!JbR`K ^N rK!avcVp}]t3]F<^^ N8Cb N30 ٮ"f)^z 椫D9/n %"YBukb&Iךw1>Ĥ!W