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 ww |< ] Isar_Ref:threads=2elapsed=8.851cpu=14.256gc=0.960factor=1.617zXZִF! ?z]ŗXf1-8>l޷VO +҄RXۼfxAayAZo%{&ip}8!5P0.e>=wZѲ~VuΊIq=s*VC<3]jf@sl`$QYyM@w& QbutRBr}y{,+^XLg5bjpB%1[]{ՈRU8żT9!vۢ[?bAE.[Iѧt/~T[vK[m$-{s7`UAȚ%%gYZ7zXZִF! 96]ŗXiɟ]O5-|01 Wg9Ъ,~_DPOO*c1W'j`WN*P5E?n!;K67U R]k[6gWYf;iCGNtoH|xIg3M>^Dj.B@!1pʕv;J]i/_t Ϊ+ц\]TE3l< ѵ^AD'e-$ JO&^ 1cŤ8{xȘi呆AZz1t ſgYZ7zXZִF! *]ŗXi%;P0L쏘A tKA pL|@q4~?f̽5]9̟j^y ضV)t4)B'TȤBd&$ 0u;bzpq.&ҶHț qF| j|eᜯh V iq#:vI2'Q˩E᷽I]AԵim jϖ7ST:,3cgAʅue&~AYk`!eKVaHÕL+<=yoZo(fܓ}+q z.(/!C40YRW#SrqXY>o%"g]1 ;YcOvX3ifJb+0uHhY&