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 D%  +/ Completeness:threads=2elapsed=17.548cpu=31.224gc=1.624factor=1.787zXZִF! ?]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlReh/iEBǷydW`k˰śov#JZox/8!l%e9rk }~bQj80Gq6ݹ'}}Ӿep.r7I?۩I$y]kɾG>)7ǺK>~Ifؘh\-n__ ػWPѓv(MpMXZ<$a1t~4fksT~@{CAUD k?psFbl]iH c$dY Lqq| RxPe,K{$J#] ˿/D<0jQ7"}'UgŐzFӄl7̗״m?&zBcE[l%J/C3csiu}2 y{{V^_' c2AJ4`;js^LgYZ7zXZִF! YIG]ŗXi%6iR baɠBl43^]^}z"נĴj\)4ͻ-w6uS̾#֜ccTO&Wcpq|@R#&PۙX\ .-gw<Ţ-#BIft 13ߴϼ/_D0/rzP`[ZտWnZ蛰kgWN|#kڊ:}\)gXjN?е j#_]}csfrNMo{S[N ;+9S]g7BF[ܟm$I=# 悞F0xݗV/1wua: 18AbZ~X U}jV$J? `=f߹|'?<\~ )8DJ?$ysH8h@!&X#KtTrJ%*ܐɇpY LD9 =mjpsrLχ%gkn/kxw{2 ̋rVUS_6sN!J O!s^5H:Pt_9d5ŜYvwbA0Q!2:hb@Ab*%w5=z6W ( ODĥtdկ>0)ᇜQ3C[]5~m!fk3}Դa2#qYX0,ytAk2YtCd/qfmGNHEeDz|SX SGEE\>wqC.ݙxBW۵̽ᵛ)VY>! ʲ ߱gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 119d44278270db17b2743c3a9e79a787bc295e46 1c40359cd3b1449d103902d7eeff39fcf5ac75fd 20ebb6cbda9a73b97a6b9f2d7e86df788d36e65d 2fc210dd9eface8d51c47887cee7811a1051117b 48df2e34c52cfbdd85c8fc777543850c662b389a 6ca5888c24e8690d8c520b193151133dfd55ccd5 76257fdf757bceeb5f7da0284ca9e0422058891a 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 82fce86746f9061205d625fb926c1da3b71e3bc1 a120cde963232dcdf0fdaa95e25874c8f0d33d44 a6d881014016ac510413e96c94577bf126ea335f afdbc1703bcd7f3f333c2e1178fb64486e56a6cc b9c5555005d2457d66592f71382507c4831b3f89 e46110e63087064fd6f9b57da83636706a45edc7e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb % Completeness