SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  t/ 4$\ ]S Old_Datatype_Show:threads=2elapsed=9.758cpu=11.252gc=0.284factor=1.157zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"[S{ybks PKuxξ#Ԗ%I S(l~UM X*g1wCo1@apqj7_\7U&9mGs*P0S"KXq3Pj'0V<ܝڡekqmh+fgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLxͻ=VW\/׋:a!9dt-3%p]wbN8$jeRî92*ZCpi֖]HowFS*M_$8-hG}\-? 9.dM!.[lzpGN NL>;VTYUD1oh>wVJM+.. 'n]%yd4KO􋆶*kw ]KܐB-zOkq`]tc]N ե`o8:q~S+$;|nئJ}PLNSi!A%,}ozI'iNYz'G*V( ~$9QPaLL^#̀:ɺAiK& ,wy%  $ԳM"89r0 1FU@iF`HvD r/2ɯh⻘lPEk?SpsY]±gYZ8da32a83f3e5f36ea797ee3ed3cfc7510bfe6db879d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48 56a4bdcc02274951ab2b1b61388e0a5e99ae2a62 / Old_Datatype_Show