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  2 2K5$ S Priority_Queue_Braun:threads=2elapsed=5.113cpu=9.008gc=0.264factor=1.767zXZִF!  ]ŗXf1-/6vR[3 @ԺU4w<0S˦pηr-Mvk3%,t9 ZϔW"!h:%#8cd9T8^~MMP6i:he>8ks(bp_$gma,'#7iHݿ\uiu6wA o'[ڑ,\77&kzjN tj׃fOvfkK8$~W?!<%gYZ7zXZִF! ]ŗXi%6ʼn]a3);@F!Al]+ʻ9܁ 7bH1'q %]~\.<G?^pQك8DR 5~ʥ$d' 'R]J+JE)4'emΖ9y2aj,z.RSI7t z.>luQIV%>\2A:~^gYZ3abdf2641566e6091191ce4f5677dc0c03379986 e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a fb5a8a18a72dc7fae95072da75a324b80b4a4a08 fb9f41bc6f2a978ebc5a88b3965ce177e952dfeee4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 5 Priority_Queue_Braun