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  ^ dT ]/ MiniML:threads=2elapsed=12.746cpu=17.364gc=0.504factor=1.367zXZִF! ,]ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4 k̻c\}H;4%Q$ $QN74w~8@oQ?^|i`׬%|ApP xV 3R-vUoQ5V_QܓJIAw; B{.P j#g%љ>!^fvnnS\)Ȁk~I]/gYZ7zXZִF! C]ŗXi%6qϖt(UbGJ&9_Y[&f ,c0U]Kd*̀ϣBd2R-3aʲ_0i|9~$&%[@m78LBJUJrޥaXFXl Z<|)/J =.˷ aGaHt-8:Le, T+iDtOwqK miNN3!\(rѥjl*iP} T^(\*e'=*],_D,E'4G@=tZD}2UO2cEf@&4bFqLj3MBPT21ea;YkfiG:I(=2n_ _x[hF~6dl&oGmpPbȭHr>^Lꄮ %/f_Q=Kq&ikaȇ'ed\{^ @ +2-,)< f4R8ZtЎቛ5 v6'JS{17D#yOffgy^&#c|gbb?k+i+@?$QNǐkmOa_$OtrյyZhe>WOY*tD3<.F7&M'դfL9k\*/ Ha 6Te嵢1IG (|j5r}\+tC|Ph& `=d8CKNy ,S"W6rZ"H˱gYZec98a91014a9eb68d2732adee8d8a53a78807bea1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8   MiniML