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  6 6G 4 ] HOL-ZF:threads=2elapsed=3.919cpu=7.220gc=0.188factor=1.847zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~Bԗn0{&ΆR kjlAڥ{^r }fѯdRן<1}\v~hgUFi;?S g QwcM"%\ ue>+ۥGgYZ7zXZִF! C{]ŗXiɟ1qnAcP꺣3TAaqi0'{z}≩ 1]CiOSFU 2-ģM/Dnj{g5cɞ}>8l'Liՙ~bG6bgĬvgYZ7zXZִF! #]ŗXi%;iFn`s Ǵis8+.cPGzA&cDsi25FRDB4TK}i:RDZc/Sl[}ר,14K}۵lv>HV4m[Z^SLm$2N "`;.PNuJMe"8'CAl(n9< c`;Y{n78GTm}[<⨵Wp ڗW7\=Q/(U=I/lb*Š[P2b?AnPKחnzj#fcM__0ϲ1QyuR,M1V:XB 6ި/-p0F!CӼndrȐPg~/t+f1o=d׊%؃ dKl{R΅{ਯ,eݝ?6v֑+AIv Z)iq9%Yn{rj ineF9gYZc3939c0507089b0191860a91cc44129953d81468b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde e19fd855d79a722189e435995b1ccfcd1bca3848   HOL-ZF