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 J-  m HOL-SET_Protocol:threads=6elapsed=22.109cpu=91.060gc=2.132factor=4.127zXZִF! )m]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3S̜jk^\$+*Z * G ϤpK%/Z %Lu) ĸH\FI$@ͥ/GV`i2@4!w+БfQ#6@59dX0u| r1/YPr:*}I貈ApJN05v>P"'6U, 9^_o[=PgOmA+BAݝITq%?,gNuME,do\ZpȤ\kdX*P*-O7wkKIC _jUz3 RB 5]>Eÿ =(o<QTU,uÙ3h®A.Bp. ľoہ|R ǬS" } JP ? | "99Zl5 jz۬xŷ5㻀S)3dC[Mέ8bn;⭶K/^lXhf3bBͩ7N"]FsA2acaM* znm*OpOF Y_GBX-ћN{oHW Xz#eY>r.Ϋq-Rߩ>gYZ7zXZִF! jG]ŗXi%6p3wtmB{3N_+Q{e@@fRBP xy L}g}HlʉAы̚x].r߂uLy<*ؤvChmܖk.DT I7DyNUkh4ʢ]m}xi0|zf2 &70&Q3="iipPCzF O>*}~"Wr)@ (W&P'oE"T,k"ee'.n{X|`o H}[8 ӗt8尓5=iӎ= ɝ^`n'ie!G[z|CrT r =\6Ķ^5o$mbBaČCAu8Ëtա$q, _ k^^W5X" Lj/[4r ެ a),a:vV3[_R7R5Ѽ W;I+\ZR˴?(, Oұ?$QCtRz/.&jWr={@Kb"۳J6X|7%>$_sg*8c!hJH DňqMhjaNX@$EH]|XR^(j(}UO|$HI~om;Dv*Z~iS*@6 sY