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 /? dD ]/ Inductive_Confidentiality:threads=2elapsed=14.469cpu=26.012gc=1.504factor=1.807zXZִF! ]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[;xSiS=J< -!uhPd "cr@kGQbl$v ]ikz.6ƙg~U~:w9}1~来ExEj$̒?>;#LAELZab(ϟQ>8llt6S@NP9W", "#-:}Nj'"2ˌ`8jE1jKhuTw)'eF4qerҝ-H7n]S1%募iyW7 Zgxa$`Ācɡ$DKN-ҾT-@uR|| -),Kj68-g."4iyFe"ںH⦷gYZ7zXZִF! ]ŗXiɟT~@D yA, ݊1S'P <~Ч=ڹG_f \.:Kd=3?2zUn@YݗˆQr+Mj7IRaa+ZRK22ord:X@]_ƽ d^77͉ڒZj5zo7qfjux!(+?XY=L+&NPŔYd#0Wqx4gYZ7zXZִF! W]ŗXi%ή++T\A`%=OM}\ej[YE9 hsXw;[4Y "1ݼ9k[cUA-U5_!GpLopwoQa;Å)3 x ^K<zm  e޽2@L?kS9Otb2RZrbCMoƇ%V@˫wI&8ͫs;1iw}r rn߆Y^m/еn'F_KZޙn3ԫ>$yRbWnvӀSኸpNqU_*Xc8Pd̯ul b 75B&˨Y$$MRfg [CVM6yP΅/ 䑞m0Ȋ8@~ڻ kWMfq;0dpƍpXս:32Y94˻E[G{'Chn..HqO_Φ ,ȝƄΠTh"Sh6Tuj@Bm_dS.. 7<1pmT(Q{Z7?^eK KxgYZ421e831f5f22c633c95a25c91a35188b6e0cd4e000b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 ? Inductive_Confidentiality