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 55<7 t ]Abstract_Completeness:threads=2elapsed=8.457cpu=14.900gc=0.724factor=1.767zXZִF! ({]ŗXf1-/6vRZyغgЕgQ,n0 z߇+UMe֥neO#O޶[̃:eJ`OCsn/7 +׈} p,.2c wˍHڄot52*NC:ǜ2e|WI>?8 'Zkh< >6eb8H|OT$nORdg쨫~è·?*y;H!@d5e~BřN]Lg_N4iW1!PzS{v#tZ7 m=Pc#+$v*nn<&?$3ׄf`P lNCl] Rr8L]#x`% >Frٶ5##˟Υtκ|XhB^YKz-&xMIc5D2E.#PmI]; 7K~6:럎L@2x~iM}kL/ U~ ]?cXcט_yi6HJra˳:nדn!廲/ZF=3@?PF-DZgYZ7zXZִF! .s]ŗXi%ַP촂\*:@b[ۃ| qj"7R*t}jN~KyͿ3\`DzxIwa~+J]pL^LTNvĜޏ4d[?k_{Rdt <%dJRr˯nK ;E ;|Ѽf`Aju d){glsy6{r&lđ _hqq/տ.Cb}h'>Z0xSzSwԝRI *N p42K)kwbPniv2"8-SӒb`RV-6%>O {.\\ ̗Pn{7Dn-}iOaM%Mbd#c?>RܮKZ%SQSCeOu`' w3j4+?>ϗ"JY!ik%5& )LOYd%}' :M-MkH NLI$c`9 #)o&E)wO^ͫ@DEࢠ k\ ]SgYZ1e5050dffe7321848fffec6eae4cee576fab8185 271ff21afb294fcb60b3e0f95e8deadfd318f7b5 5da4f1f8a066e90a66f3844d13a77db517e4322b 7588c0b45fb01d27d5a16b2316079bda32c46d12 90db2371874ef554aa90d55a5ef6d85fcf492382 c1d3f35c68c0eaf79f01eac4a7c70fb00860dc82 de1b4bfd7aac57e4ba66bc495845eb5c501df06f fc4ae0b9e83eb5cff2f8eee603452f00d118e8e707addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3a804cf660c6f3090b86485b13389b94b4a111e92