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  E-DD S% RIPEMD-160-SPARK:threads=2elapsed=1.209cpu=1.300gc=0.000factor=1.087zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އ"L`XE|zi8}YZ7zXZִF! ]ŗXi%6{BW!n%L~=Talձ/r( 8Ѿ-o kMO5vwZ?.] }Zh J#Wͥl5) oDF ,=aN_+66>oi)o{#٭B+Ib#%ԭZr%y6| n>5˭)Hg`?i,MC-"Ck!/*Cgh h3RI,(S$F"4ct͜[ˮI[>ȼYH:4Np{;S@_.0 F鄀4'b`XvoSP{YEãͫK͢'gO`R0Ѡ TyϰagYZ032f91905f35339d42804f02844f44487e2e5dc2 13995a6a9e7098d294b7c9fbbfb8466e3adfb9d7 76f527c052da7a743e97f8189c45618ad6618a8b 9f5ef76d0af853e976c57953965d1fdf7360dd28f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 bb0d522e423772b0e7abf8b5a15b76dacbf01c8c 77517543c6b131d0c9f6b0cd4126bfc7e06f5964 9e29c80e40708a09b6b9ac4f68e3306ca4970e3c - RIPEMD-160-SPARK