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   f L4| ]/]ZF-Induct:threads=6elapsed=3.199cpu=10.612gc=0.480factor=3.327zXZִF! ^]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N"IfxRXڃas`n~+QC,R$,3abN05$ *ʉN"LZ)ҏqvs+fuvQ+_k Ym|i[N~$_yNM@XG:ǣD-(E;MgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz 7@lp/,vF?Ylv1. 0a5 1cG|w5o H.e) P[j x.'7؂**pd ;sNz-x?MTy6mF%^ FcwQ]Gvtė^?53oQ$$̠eKܻWny rAŏݦ&Ū$y]uWk )B1ݼ܍y,TrQ(հ~4;:gYZ7zXZִF! 6]ŗXi%941"̯liԿ,9aBhR-'sl`5thVE.vpÉnkViCN%Vp$)O!`̑"/e6B FKnG  OQ=VhĚ\ʌB%EoODNVhS0x{0V [&<Bwv%U@Ѫԭ=/nDPd