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  I-DL S% RIPEMD-160-SPARK:threads=2elapsed=1.218cpu=1.284gc=0.000factor=1.057zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އxt6zi8}YZ7zXZִF! ]ŗXi%6yN#୎; B# hZÁ !!*n,E*V'EO=D _'ΜCDƙN5T`y*NsžC$~RC1BJ HUwb(`r5 cXqmg;ĥF'U_XGKsH_O»:U<%jVDqՂĘ-V}<(T[hWc0ihߵQ->%#T]kic4WjKH%ibVP!3TSJn* oc_ghM B$ȄJ{33a6B+}FN9:PL8O~Cnah066e!,aBgYZ032f91905f35339d42804f02844f44487e2e5dc2 13995a6a9e7098d294b7c9fbbfb8466e3adfb9d7 76f527c052da7a743e97f8189c45618ad6618a8b 9f5ef76d0af853e976c57953965d1fdf7360dd28f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 bded2976de2cf267c891e8c27b9bd77c6482ece4 cc3f5401a1ce0bd219baf14beca52dcd4257fa85 e4a4e20d0cdcbb61c7fcfcedc2f578222fadcf39 - RIPEMD-160-SPARK