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 . |\ ]]]ZF:threads=6elapsed=11.413cpu=36.296gc=2.008factor=3.187zXZִF! H]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(FRtQ]k$-vAQy9͋|T!qu?I6WSc$Yav:Oe%и0*z^,:aťQYvq řiLDM-S1FV~V~Cpt^Bj!͛7m }.t2 E8<̍,G0=KA1yCJ_jm5SPEU Z3^2Ι-Bq7O@gYZ7zXZִF! 8]ŗXi%9,vgFZeXKkÔqp/0Ix.9CIK(=CU-wm)7֩ ]ʠb0> ."E906fVkzP7"2+/Co!f(#bk{%L/xv!7h4{N&T-rh(֦)˗f/9G Y^#ֲ6aUt@m0\իВE>PCze_m[_tv0aؼcJ]dᩌ0?Z)G>[G $G@pć.S!6 tȬ62}G[M'¤, "i/NbMRx9,p/3gq6ʮ^`U^_bZ1 5>94MNsKxs2$̘ShhdSSy ӭK {E;6<.- Wq/|'! etA} JJm#`G!{#~_8j3*/8'Qפ-͓Nށ+wߓYs~ \j UEuޕ?vXI#lԴOw~e. Te웟%rNuюHxl5ƮSIi[|,Sq?x [wm.<$p>q76z*XbBvqj?:#y2˸U5#ĪhʷU"Z#8QPjBXg"hssK9 ;} 1 [zRFx!:;E46CgzI!掟mu  qCgYZc4954136444698c1bd876b5dc97f40ff4be8546e3332edf39847f1628d35f5610cfefa768193eb6266e9fe264ddb3d6ccc9b6ce9c4b067d986ea8848  ZF