SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 7 T, ]Abstract_Completeness:threads=2elapsed=8.774cpu=15.364gc=0.784factor=1.757zXZִF! )]ŗXf1-/6vRZyغgЕgQ,n0 z߇+UMe֥neO#O޶V[vHvxN(grP\ͨM-?c*UX7A.|kFJ{GXzTJ(L2 ]qi5Mցq-d zifK'|C7H+kJHRm4mdyO s6]XU#rpRP4s!O 7 Abstract_CompletenessE_iek![rX=eblv0^ʯhCj=?Q^ t|iuZ;~P]>1H%$P)n|!U( KQЂ@Z(B!ߌj0Pph^oGK dIUO8;K6߉y3&pI]_O˟W79mEg/yM!+xG6%*7]E:}w3ؙ׎b/l j$`9"[%(v8Ei<|Vj֘Z*iӫ5L}>[.r8u(^7(F>,:rz)<LGQԮ\CuҮF ꚁFyW~7LgJckwMP5𛉡E@Y^ Ah )@_ɝx|osJg&sD]x;d^_ #Ǘg 8Ʋh0D'(h!k?ox(6W8=&ʕUfw,`--ENͯIQE{pH ̃-weq#rL'8>Cp y8E=w?lvBHozub{gaZ*Ya|苝}ܲFL~'&319G(c!tAg^>\b=eB<#I^堇a W)Z`Q@-ׁQN.60'[@~²F0Q^l,fb ~0 ΰғwdy`xf~s󺉍Nûf!tS[U6ʚ ߟ;mGQ