SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  %D ] Pairing_Heap:threads=2elapsed=4.244cpu=7.912gc=0.440factor=1.867zXZִF! ]ŗXf1-/6vR[2F*DlIW,|k|at&S',UbF<#DfJdFk! ?\8R2l )ZbBaZ$;l5-\TgO\֒)9%poղb^?znI[4-L|j7i. xTZ@6d澄?muh$2?Iߴ׏y"q4ޓ 7gYZ7zXZִF! Q]ŗXiɟ1]" M${np^PS|! '9,i֯MN2䈥Mprt.uZK#c` vʭ'VlXzXkm h ,OA C{#vgYZ7zXZִF! "]ŗXi%r)}i<@ߟUv&QCML!|!LiZ%f܍Ϝɦ:.oӸ +y R}RF_y{RcVqqw/Z;o_mƞw.Ns~V]Λ6&L1$kԼr [LeEԏKsgs<zZUSd}fٔb0 +sqy̷JuƁ@"a ,)DtK ofO{gy~h.||@83ȱӁ,w3ZZXZe)4gaj0&zRPVaι`>^챌fHS'~0X., (e"7P$WY|JtRZ Qq/]d"1J0MԭlRRd)D=Kuf]{i8٫mȘ*~lE6bWYl#=2}II%JtuxYQd=jU$˃y%z󹂈b|YrdV̧.jAh6װg,E0gYZc304375d91bce453e7ea5ea28623621dd8d0d38dd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03 % Pairing_Heap