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  j j $ T ]S HOLCF-ex:threads=2elapsed=5.962cpu=11.516gc=0.668factor=1.937zXZִF!  ]ŗXf1-qNe+A]}q#=P vUΌeppoRD>fL~b 2yJl>Gbak~ 4~J݉;/X+0輆_aDwVe4Q%W2mP0t!4<qŠ.yDdxa59#&b X WT!b] 1z)}n0WYdJy62[kG2gYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4[vcn]v wf.cJ]R^\ZT³Q_^Q_ѩLR]a{MZ"Bm;k-W-UcQzRWj|ؐʼn8Vl+;}x&K#m!kXB^M;d'ZD:J.0@󮼌0ugYZ7zXZִF! ]ŗXi%9*WڭEAD%:^(kEIіXI.{~$-MI*+lL ɤHR2Qf5gu 0;QQ|4w=j7A2Anf<'d.y4A, %[ǞL.7%\ ˱>Q|s/ToЈMo5ӫ xxb(6/A+Eu$"{-5VwP̗Ť_r= 6df2n֓|uy{5@o:~FYS?kt-LBv>of-0(yfcт5yI;k+c@ Y섞J-ѿ>˯b"Jy*I$W89Օq57{R5UV5ˆlJ"J[|#X,F<$Ru2 ZNfCscp'(s9&G׷zG ݣ#B>ҳmcZLa