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 2K5Zx2Eg\{ : sG B"NB[°[eT;_ I?^fC^'Ov {J9nwOY{6'~`kI+XB-e^2,=;ⱤcG]5XJ(T}]?\22 ҏ; Iu3R1CG~(&)uP:kVD؋{{AQY`>/XH[cGCYW' yd ¸k!=)㡊|G0ؘ;j`n}3}MV+ 6)X3ÍTD FXՅs'+?{/WrG83.*gYP ҪJm[{'ߠsA7gYZ3abdf2641566e6091191ce4f5677dc0c03379986 e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a fb5a8a18a72dc7fae95072da75a324b80b4a4a08 fb9f41bc6f2a978ebc5a88b3965ce177e952dfee735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 5 Priority_Queue_Braun