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 5 $$ % Lower_Semicontinuous:threads=2elapsed=7.164cpu=14.104gc=0.344factor=1.977zXZִF! `]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&WI&Q *}.<NfiH ;)3ұ#jт3QiDuQB *>5Qdq|M20pIN[p˜ޫ n`M=myW ,1N, # Z_0yIh*7\JdS{/=\.HC2~V .x%R+Z&*X~8t!Cg޻%"03}Npt$yG6 8e`VR%4b 1&tP2V`&\$k7bl2mșa(h ַ bKչzhIP cnH(*P ,F(+4ɩKgIkZE:CZQPHܿq`DX0jWк ߖ  - ^Ɣ ry7=c."hl1Ax줪vcUrϤ?S=|@dgkkUu>GA;ha .Y}*K6Mſ7-+K[!#kF[_1+zFZDaHi ےx Hj;z4uX=Cy44 |,ꍒ7"&/2:A -a]J}]u4 AlW>)q<ʑ7:Gct(cF.+NE$.Xнv:!lcU1d @ koVF@Ӑ#'&Z]k6 3Z,ݛV7\|]Zse8-q4ݗl"| #ė1s}Xvr-ܩFD@1_b%$H8 |geDPQ "qX#-.]tcz: BsSH x;t񱨃 }fiKb2Yy$'!WkjB=fjo3"7qXYMe]Лg|h3kcn|ѷz.S~!(ޭ1H>]S2azQE 9C!&69F*>ׅPu rXH NLgYZ7zXZִF! ,J]ŗXi%gv|Վ{'$MR;#,riM 30|;0+ WelꙏykU9>NaqZ*J'ZzVki:66!{. /dHf"5ڎh);!]H~lN[bV~u4<;zdh*