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  & &W54 S Priority_Queue_Braun:threads=2elapsed=5.105cpu=8.848gc=0.228factor=1.737zXZִF! \]ŗXf1-/6vR[3 @ԺU4w<0S˦pηr-Mdxy1[ r6G\@ VifS^Ȫ|" CE- $woz *H1/qCcz:cCtUw{7BtoCKcvEh+`>Be O p9knku܄|h-ۀ%)erІKMG=́{1݀$Mh*ŚqvZ8)0o6Ax<{U0|xTs)``9oo46V-1O.OREqRk}geVr,pgf:n70RڣfӦꥮGs;FX@tBꑇbp(͍og"f E7?-ws91snz,P ,'dn$2b)(|@/FQ]2h`ֵ[|/]:r%ZIp˫[)I^J4Fͷ6[tyڲkF7`1WpBGY`u7Fp:3x7lF#f2c{t|gI_iS";0O͛T)!#]U8^ Sa!L5^"`A +(dgYZ3abdf2641566e6091191ce4f5677dc0c03379986 e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a fb5a8a18a72dc7fae95072da75a324b80b4a4a08 fb9f41bc6f2a978ebc5a88b3965ce177e952dfee554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 5 Priority_Queue_Braun