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 ??> DTt ]]]ZF:threads=2elapsed=23.689cpu=37.476gc=2.268factor=1.587zXZִF! ]ŗXf1-) enȈA XR„ZtBȃN1!rGUZ/Wxw~? Tj}TߜފF b<>IZaS{*K+i;;3:4_H}`❦4PdyPdV[v=!n>nũ@*L_g@k#DX8dKwC3o!NYų?t#Ɣ{~5^qH푧?CP V4 $HrF͂PeM/Hh)]wVϥ\P> vbͰP;$|c~#'ɈήQOaQ1J;C>IZo'Hėbtvgڨ 9b1(ش ed$1aĴ\`CїecTwP/ڤ5D]t.EIDZ:Ё( \2ѕɂ bj}M%z[TvfIԙp>-h}/[W&Pvt0:2EC5+' :u Oey f<-itFRҭe-YC ?J6BǛ݋0R-+"H:xrw)F5O-ID$Q<QMʈ`G0WD0kn E.H-*{Gu˦[c }6RM>DBᄒrHuUC087nfɀ^5ʥ=>cw삟,wCtzcRJ-&r v?0cع 2ȟai l-^Рk '5'KFX7UJpO@‰';dNQg}|/iYܯ_,0Ts_,`.5 nZUQ]'7=I#;oAOpdFo &#z@pʓrY=l9"ibsqO1 #q'96I =-w(;BĂn0tMS_(=jL;d=pg+ͯ#/ddоέE|a>}?߷ʑRՆp!D"pQIGZ ? 7R28ӈԻ瞱bM|N oi ڣM'\׋61Y u D@ɕmC42,DaS-aJt9*bC #*8wxĴCeKRJZbpsad^#4uYE^e{Yw_SdͱgYZ2abae44116ca843413ece5066b2cef741a6db663ccf9b9418e9c76b5688e2dd3ccca778f920a929713053502208935dc80ab22fd085456063638351f  ZF