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  6 6G5 S Priority_Queue_Braun:threads=2elapsed=5.027cpu=8.680gc=0.240factor=1.737zXZִF! ]ŗXf1-/6vR[3 @ԺU4w<0S˦pηr-Mvk3%,t9 UgL{0kDÂ*T^-a,i";dPgk+ɐS\WO !g[`NHp޺7^;1uTbJ=_U!jYѝ@D=L2;L9 AP""q~ВĈ|jT`aeL(@]豱gYZ7zXZִF! ]ŗXi%6u2:Dx/ &l@@ .;jԫ[\Vx!vi5-z3;-/VN8\{;qZ}ݠI`H:ܽaq_hEn9̤w@;ՍyI=f%1]} t/j &2Pdڤdȥ ݒ 9(Zi%j^<J8т@s@y[R~t.r_9Dp}PCStzP|Rd!kJ?7<^Wps g95!,!6qtEV\ɺq {$j6d!- ,kuӏ"ZVnF҃!pA .1iz9S R [VsTxKP8M}FT |ġӞLC`Jeؠ7svyNka%]پ^Hs']Yxѭw %#V}lzTX|f*O3W+KK{bNwN'1@w8i'wHJN@gZ"gD[/bH0[A>ZgYZ3abdf2641566e6091191ce4f5677dc0c03379986 e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a fb5a8a18a72dc7fae95072da75a324b80b4a4a08 fb9f41bc6f2a978ebc5a88b3965ce177e952dfeee4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 5 Priority_Queue_Braun