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  p p $l ]]]FOL:threads=2elapsed=3.148cpu=3.464gc=0.144factor=1.107zXZִF!  ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw>S|p/כ)3aa[9]٪cĬ,d ; {Ph#3z!IjҔI x/*D obgYZ7zXZִF! pJ]ŗXiɟ 1FE`uhѤ'**pxEkf`wb2׉MH:~pn%|fq8#4}YZ7zXZִF! /]ŗXi%9+hڵ@X?̹:# X5S. T8RvTJ~lVMz7:|N 1P, jP{*.gShk 9 86p5!R7AVhzT0@=LJS\RY9>Y氬T“lD/@#-gu#Y_ 7Rh#ʸ]m lb0|"-x}jΧE>y0 9] E?a*tS&+ qoݗVd߬ 9/l^FGA7nE֦)k]{Ici{ rңWfL45 A3"ıgYZc448cb0335b4190f0390afc1c5a627abb5b88bc741dfddd2151ebee28efc9e26dbae12c72d1935da01a159974b9486dde69faa4eb2b89402ec423a01  FOL