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  V V'#|< ]/ HOL-Lattice:threads=2elapsed=2.250cpu=3.764gc=0.000factor=1.677zXZִF! ]ŗXf1-q恈zt`7MDc(e%hN17}:]BLp\P@$Yw8PA뽧DeIK4lR \X(V ev~agYZ7zXZִF! %v]ŗXiɟ1XnWT#4@ΉoLp%8rǿ+rsbXH! ;NY9eL1cd5R0I>ZG /1ParJűgYZ7zXZִF! 2]ŗXi%96@ƒ/*8ҋb7s @BΈDa'2Z HZy.@J.]{S /7R疏fljئCR[)$mpg.x|m*Jz6mXj6T,㘋,*4`sm \T..9gd4xx"Zk 1w$鬳cQԶ Qm˕F6K~)LZ3>@Fnb2&͖TmgMZ&% }8@LLZ+DV]3[X[f[fiԂ1OQ,E8a\-YKʂV\H} `PzC+d\`"$_nVW9Y01.6eCX [fRǬټԫhPLQ+(zSOMONz{g{-+W,;-qޡBy1U?Gx=7s2LãgYZ205c8c786ba31a1cf5aadd31aace3e0b4383de993fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de # HOL-Lattice