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  ' 'V L4\ ]/]ZF-Induct:threads=6elapsed=3.223cpu=10.836gc=0.364factor=3.367zXZִF! c]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NU] ?2kRM7ّKl|^w{kLyHE#[u$MPL ӂ9P&4@#lWQ';"3Z7*)+~ pie)K5RԵ׼@~HO k2gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|<_S(b]z B@{nob6cрMB k0{F i eRDyCba!U<%9ߠCDL8Cq0~w #鑍Z*J28^^݇;q:k`c6\vz7+KH`eM]yDKkGYߜ1_3gҾ@2vaZ<8WvKHZZxVe;gYZ7zXZִF! (]ŗXi%9%ΰOn<L䥨J*DIJeZ;C MvB:i RP bZ J,JFEץ0$Ns`_;4@ϐw ̅MNITU;Nh.Bͳp\ )= Iz0ENp?g޷__$xc=V_+I+%fvFуJ]JOgqG|a= LZ;9()5#dSH7>t"uKcE45` (hmbx~]oO^Ag~C3V{a4?>:kvKm?!0B#PU,:B~džAolk @A2nIοL ]VZ M]<^Oh aQބ+M梞N=- }8-\,Zk!)q RLUӐTl\CpV'>EKL^14< rbʪgƭ5FR!SzhgYZ037e7e8150f3db6564323feea2cce43dfb704f0c94f51dd4e7676acedffe74ec8d2e2647f4dbdd0c cc72722e350db57eb34ba1a3a2397901ddd7457be3beca52cfdfbc7c72fd56b72a4515d718b298eb   ZF-Induct