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 dd7 |4 ]Abstract_Completeness:threads=2elapsed=9.174cpu=15.776gc=0.780factor=1.727zXZִF! m5]ŗXf1-/6vRZ\vW>_u Q:v? ̚ <x] †ݜk {e0sOSqA}F977>,mgy%9+V:S8tZW"Ro1G )M%EyP`.K7A+Ya/S+R&^PJqP 6>q Z] LqJgYZ7zXZִF! 3r]ŗXi%6ZCF÷ }IUYml8 1 ù Pa YvCYm2s@p^.nl8ЎTp h=R9C:J$es"Z fb@i` wnrt8Pud`0I 7?|l}Σ OLmHxxq>o f.Ae.Ezq{ص6we0"S&J#d!C#,K/_#Sh q}> B3`R(/l)WV*!9娆XGcoA(\6&]~FgOFOnf_X&8q)FyNyCk@.pElͺ3Toa*_ ShkIKEyǤ(rh*jQJp&Pj`ڋ}? M@ D[6RBz2 ]7H_v;q,a)ſ!",E?fGo){p J6c$y Lk8bx&ũҸ[I^!u(t0~~lpRmCȆELoIH. ӡ%(ch-D*paƙ\ON)\صds 'iMHfvꊱgYZ1e5050dffe7321848fffec6eae4cee576fab8185 31b7687d5433d9b2974179da290efc477d1e8cee 5da4f1f8a066e90a66f3844d13a77db517e4322b 90db2371874ef554aa90d55a5ef6d85fcf492382 ab796140831151a9d22317bc7b9e14d9527e48e2 c1d3f35c68c0eaf79f01eac4a7c70fb00860dc82 de1b4bfd7aac57e4ba66bc495845eb5c501df06f fc4ae0b9e83eb5cff2f8eee603452f00d118e8e7e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0fde38e7fb76881a27fd822c9285d3493b07bb4000 7 Abstract_Completeness