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  8 8E% D4 ]/ Latin_Square:threads=2elapsed=9.214cpu=14.200gc=0.248factor=1.547zXZִF! @]ŗXf1-/6vRZ(O[]=ޙ螶fs85ƒ6z&~) 7dCIqCIתJ[GuK$SdZ*bSaצGxɦf}SBK0 Z8tnTIJdR*#qA :26Z'xF]|ȍyBIV91VӔ2CZɵbg0] @Uq$$yf5; яD _~VV۳TNp !^L/ۛN}|o 6 ΙYgQ )nZ&PvזE"Sى*KՀE؃輷xeiz V/V\RNPZnPؙ: ر}݈=(wx扂f״LD{YUKǙQSƍ8X2tt"_E}j7cL0&3ڵh׶2W` Wi5XJxFF,P/=/"L!4,`LO]vK Exm57r* /u̱gYZ1fc2322a31c20df2ef07a3f958922fcd09ae3699d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e % Latin_Square