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  > >?5$t S Priority_Queue_Braun:threads=2elapsed=5.051cpu=8.800gc=0.236factor=1.747zXZִF!  ]ŗXf1-/6vR[3 @ԺU4w<0S˦pηr-Mvk3%,t9 URp@ 6mC&78첐Sּ>u+ѢfeZ̶] ':my8#/Nu 4y9V4''6*atMq_zZq٘ M9=5(N? Fv'n]xy;Jr_Tgh-;% 1u}$VԞPՈ- Vy*gYZ7zXZִF! ]ŗXi%~_( _ Y)Y .UhܭOgpwK.^`h.?Q/Q sX2j̡q`Ӕ%Z*U% 9}k"!.VN荰.rD+L`ø.eL8/lGm.3K`N}ҧ2'E: <`:ρLG7GCx5DqkAn4X(gݨlmxi79m?4 2qU8^Fy0@Ds o$HdsPzyBy)A/`ga|MCyu|F8|ƙ1mJVvv鴘6/YAB㝵 Fj"q߭Pyb3"iQuЏkٟ@[H)K7Tn/qV~׮֩JJ}ÈH@q!T5/ i:hR13 5};Jϐzh߰:yB^UO}8$Y:[竜@|#+.풜S/Bm ~ǛJA'ih¤ZK=+w88Ն5Ŧj3%L)V֔biȱo@BY{zVW껽A^kFܭ)$`=AAgYZ3abdf2641566e6091191ce4f5677dc0c03379986 e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a fb5a8a18a72dc7fae95072da75a324b80b4a4a08 fb9f41bc6f2a978ebc5a88b3965ce177e952dfee0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 5 Priority_Queue_Braun