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  3 3J5td ]S Card_Equiv_Relations:threads=2elapsed=1.035cpu=1.780gc=0.000factor=1.727zXZִF! |]ŗXf1-/6vRZy_Ď4/` U4mW5aw`‘׳a=JK3KڔDa&prCb?vpEFs(kk#$21!6HB pgYZ7zXZִF! r]ŗXiɟy<͓B/ \QJymɎ#H[+n~`зS}zƚh;K&̈́R$&-i_>6*E`gYZ7zXZִF! ]ŗXi%90øY>)0;8<%↸@]>GpeϢn tLa]x,p e+m9+},+U*^kRMYT4SxKz6{J'n\ DB >QN}VvY-j?Gc;:5%h,rqzl2-˴%@E>G6+k>xS~οFXhUD_?uy#@eQ-hWƘc%`GI3cX.PX(H:l3<UaWh?\)MhgYZ397355f2f5d6d4ba58a6e821bc88a1ef8ff2e024ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa a2b5e360ce83c86f52a23d563068b2393bfde578 5 Card_Equiv_Relations