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  TlT ]HOL-SPARK:threads=2elapsed=2.423cpu=4.100gc=0.132factor=1.697zXZִF! ]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖ$@\&V36(DBt 뺟$]ZW8fqAnV;0*EQ*륱R#Wd+L!~/};KCvH9b(%ngYZ7zXZִF! ]ŗXi% rQ([;VSfϳUn2!.4$Znz3>j(&{:c;`s)&X.PNr#М)AgJלRxTQ ܔsG`|, Zm'%_6RR?{1"$P5'A7A~YOp\5|ZQ!u.CdJ~5hOJ$pM1&JS ,*8{{rmwYM?h%=ajz\-|&g9q]p^mFm3*(b^ x qK;WYRRהtE%E e0r [(z#Fނ';/N8O^ fycWO!UVpVm ̨ ogYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 197f2c6f40bed80a498671debefccbe53cfdfd65 2d2f8ee4115c18d1e939782b42878ba632c49dfa 8635f4e0172f5cb0224029f56357f7e226606241 b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e91cabf3fc84c7150a9ab2aeae404a0f796263a2728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c40f1edfd2a24eb9764c3d9a35c20023970b16ee5b6966b12a4c586bb7387236292463a55f1dfa2c   HOL-SPARK