SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  y%4D w Pairing_Heap:threads=2elapsed=3.195cpu=6.352gc=0.480factor=1.997zXZִF! 1]ŗXf1-/6vR[2F*DlIWu,|ɸW#s8*4fOɷstLn7{鞃zƸof/JoGQFu*iΓDHgm}x$ @fvmoK2CW2=_ݗx~:RD<1-FzUrrAT KQgYZ7zXZִF! []ŗXi%6 $e,.l-.3̫QT@P1q=V2rqHe(f.̦5n4ɡmweJ=gjl]vn2&Cm]|M>$G4|gtB)/D\6 7x  P%^HK+$5Y xdUY akv0>qmXvDIW?cz# y>=܃^G, GIs3Z Ǭ*n YPaz>2pCq[5>E$V %=T dlsƮ{$D{3PcH:5EşgE$Q}TsT!@#T}+Rh1u`QxUA۾}cAkㇳS.6[IzV"φK(5ȉIo!9%,HӮ5! yD;op:_-15xMsINT/