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   m%D< ] Pairing_Heap:threads=2elapsed=4.315cpu=8.276gc=0.428factor=1.927zXZִF! ]ŗXf1-/6vR[2F*DlIW,|k|at&S',UbF<_ tϹ;}{$BK 25Ybm$,r3r >/X$r_ X'kʿgg˯;a_8`xB_ e1`/ $9 ~B2_2hO=99hXC鰓g+/]`UdpF䷅OxB RJe=姀 σgYZ7zXZִF! Q]ŗXiɟ1]" M${np^PS|! 'Y-=J6XC[IX'ZFə鳠i@8{tm*Y**=8BMSP :#mAjmVSqj؆p\0ZYԋ{#vgYZ7zXZִF! ]ŗXi%6\k~01ZBيŸcQ*EQE4b ˚q&SL~4e~").21{;E[PPEv̹I0{+A{ Mq_n 8l. nQ;Vp+IQ@ 3+=PcGpԶCu+ZkL}vy((URB֢8K2oU`딚[{]b(JwwT毜+4KYh5u1IN>-])2+JAٱo s ki@艪:kVhEn0=fEm46_g(6DD" ۑX L,Lp1 olqZgn<RsT"Y HA6@v&RJKg7>ʫ.oW7Fc?OJԇ*@>eVkAQrru_':rs>j/>?C,#CiJF0sV!_l_P ^N/# Fjt:1Z:hlvtwMH [Q?8p%f1PMy\yKz,G szϴq.ң)z+%8{0gYZ864b80cd1b2d822f445cdaee05e6a4381e48870ce70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f % Pairing_Heap