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 ,,Q7  ]Abstract_Completeness:threads=2elapsed=8.495cpu=14.960gc=0.548factor=1.767zXZִF! (]ŗXf1-/6vRZyغgЕgQ,n0 z߇+UMe֥neO#O޶^5Pj;Ըށiڙ $ګRa[A!^[?&-h /fWvMUГ#,Zk˛!X}7lp$؃9Ma2Z_V b6۔e.=k'>쏺W*iPE.C?bi?*S nԑ,O"Z7;:6vѯ,N=I'snlJu)>]Rwq\\)hLPԙI m7Bk_Fiv;FǙbӹPseINvgJ6`q >?_}4K&ZJ^dD6~\ f S,6 aOVJ\= &ĩ0yIѐK6'CpUq╳~)&{Z[5PƩN{F/25|XK%n 8a#Dл@.2OЅdI ve%`OD#.XUÇ36%(BE6Y[qzUAxc~tQ3`Hefҙ\wv3τ ׅ8+V2W9N1VTO0Br<\a]wXRj.:Yok5Kɾp}I""҈Œ'PوgYZ7zXZִF! 1z]ŗXi% żA^V"E:g,zVEOS:nnʅ!{91A)sڬ"8o|Xī+A@3S 6X+}Mb,gv<2$  @3aXjqt"zf"QR2 a.ST`).KilD#Λ=nZJ={:*q#͕hg^U$&M̮l/iAKbc}n,B ,إ nznIw5瘛GOTr-&vP&!pffjeDZØ<=T*@vQxHfqԄ' LE@Gˋ2:3d_A(*KՒ1MniE#s#ɘ(wA ͲbMM[ag Z* '+ Ì C.v]+y9Iu/TjV ' 4 wc΂.SJ*DP|B&X l}uO>+Lzl}TeN1bX#O=P Z5wqÿqup6-jP uN; MsmMztw oED`Mk+ܫM6!Ql%sʅ-k 8<+/ EZAjva|5t!uJ ;礶Jh<=`s6X\/)/>0 ;ăhJqnb;ѱgYZ1e5050dffe7321848fffec6eae4cee576fab8185 271ff21afb294fcb60b3e0f95e8deadfd318f7b5 5da4f1f8a066e90a66f3844d13a77db517e4322b 7588c0b45fb01d27d5a16b2316079bda32c46d12 90db2371874ef554aa90d55a5ef6d85fcf492382 c1d3f35c68c0eaf79f01eac4a7c70fb00860dc82 de1b4bfd7aac57e4ba66bc495845eb5c501df06f fc4ae0b9e83eb5cff2f8eee603452f00d118e8e79711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceefb38985c032a7ce38d6bfbec6a48d5ff25d25562a 7 Abstract_Completeness