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  E T\ ] HOL-TPTP:threads=2elapsed=6.308cpu=7.396gc=0.288factor=1.177zXZִF! ]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZvD\])Kү<o󞁤=$JcFt kDX#음 %r"=$9j gݱkv!Y C"bK0]Rے~uFِ󁖏 7-tr |vDPuBSnaŎEW= =!X4 gYZ7zXZִF! f]ŗXiɟ1{nH4ʼn8@ؓ&lsɄ=xN?OI $.#-܏,Βf ًY DO| k%N8Vw .e$ Wݼ~^~Nf)eCr\!g6ib\Ӿ/߻~CO&e{“b|ިpW8 SB&gYZ7zXZִF! R]ŗXi%;mBmW , 3Lgh}վ7"Si&5858)P9ztz/F6 p"ζ"7 kuڤ3HS?1= CqygD;7Ki8@&skJ< #h$6hEdEI*Xxԫ˄]s.plf^g6,Uib`@t/Fe8l۬˹`H [FYݫ?}9 wg3h=Dz4Ž4"Rr3XTW{MՋy`:U21D&