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 A1 ll m/ Tree_Decomposition:threads=2elapsed=8.272cpu=13.220gc=0.344factor=1.607zXZ 1 Tree_DecompositionִF! MU]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(es^wfZc c J.EV`?' ?oD]!˥HE@wNՉL{k^Fr)MK:iƤֆ6/'|P"Hτ]CJ͢Oڊıh#roi }J)\8t^@t010yZP7pA^0O]5 ~IwWC4Y1]bm2N)K;b;$X.~}0Ic_-ńEsKmlqԒ[iW6֟6^! IٱUз u}rZVϠeF5tx¨J{94X )nne#(~+fف˺TˎL" Q.nDjMVABznŇUO I/=q:@8RyZkG5նH3WGo)=oFw3h|aƥ=Ȗ0PkY6Ǟ03Ψ+!2''|>f$G C^Q?N"&I6hni=:Guۗ5Y ;XKEZҵk,tW:NS\L8{vp,MpRV#S743+vHIkd8<7}=y;+k(~-5F /1}*7 k y|Յ&#=K&eՠ(sWV/)!٥(כ6qUIS;ʸf7k#M,r S3Gj[H !W<{Af '/ {긶a 7cqzrrYl \k;$j /`M>cC>}vd<&>2քC(9]*#q ?N3j9spOX_1YȌE29'D=MCCY.)nlu Y1}f2rp[a'FoEdڇ D&Sw|ߚYӨg -5}ivXgRE+$t ii<'|D,dhM#׀W%q8[X-c0 YC-a_DkT*?Yʾ\#}Դm>^O| ֚ձgYZ7zXZִF! 3]ŗXi%VhEé׋|*4W(( .o>D5T?1şʒH}7<黊V\*Dc,aefEm/U}9hAJ|0$^H6.t?GQ1;*zM&(kOG 풵n] O[ARDsoV XI$E95WnN4d{H*UKΙ"v$nU {8 -= JIߍH9a"+v]`b.DNA2(ކMҟ\^*R]"5ZfJvI̵_J ||8nd`yIj 8_^^QM&8\m~2EϋSޭSxO`|g\~sGfg];\P!2`jۯSg{>D&#cD}|dЎ%y B֒pk.qB+M/?YԙNe3 xv|븆uIE\V]LZɏn5y`89p|s v̥n(=<Me:a/Ho VK0F\-!``Doybz|e[0muGhE٠Z zJɚ q\E1_^w "{x獈' dE4PǦjZ'sIoD /|@_S|c(7iZQa(XПTC}iCTO2T :%;E|$~^0O_at ;ȓE}|бB&HƑlgZMgYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebf80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b