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 ^  ]]]ZF:threads=6elapsed=13.623cpu=40.504gc=2.116factor=2.977zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw3و'@* qgK'pO#4,ڿ} 1IJ۱#m=Pd-(|]æl7r*suX1. ާb[1{<˳ʏi&J{ "-t cܸ$QyvkdtgbԸB_&w: #GW](RhO/ ǽ[*w.KjH"f@Mk/_G?N;UYƠE~[vg{Ce7@ R yЯ|x"FVbcgQ(YoVF\L*/S6AH~Slw˱gYZ7zXZִF! B!]ŗXi%; ĩ7.ISIõ:!tTLyX2[Y]ӗqFTIU̸ahHPlqD6SXǖ*3!1 |)7{$ZǢާF5׿Cco@*6aQ㫊c92nz}LFA>l.ny>.C +ԫګeOar̽I ƷæFsi5ǽ]<"AId>^3]v(JABm\z#ՒD7(lJ\p c:(Nnp{ˢ JURO<,,k&jy>DzPWBLP0G"M= {j!(GO1J!Dp@lir.F: KI/ι̶:mkv}ZW.JV@ Lq !?yvz9~.O߻H.ڬh9o51.ɱ,$ax;طhxr@,sf6Iݕ hU Sނ&7NkCxi cnj~ }{H,Q 0$ ogBV;QK97H9Ț vK hV%[B/#3WsrfqtKJJ~ٺDGe%*G$!/I[KDCYO'ֿ.;7HfKs\aZf$LhBRY+?ijJ,po\԰I&y#MV?S9EBr0ݏyJ7WC~X&V$ڗF\1xx`F!<8&sЧgpLo UzXZ[s1I wx `ͬG^-I 畸ɦ!1xO>:[N8W23 n^ GD49.T#^_ CAQ'S5a9,D8""Z*zuvSeBBgd=yҸ^:X33j xgYZ0bf765315bbeac41f63a466b31ab7f61205988df32e67617b84c9c11cb8188110a1a4623e5435f379ba509c7abb122ceeabb94991720adb8523855e0  ZF