SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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\ ]/ Latin_Square:threads=2elapsed=7.904cpu=14.920gc=0.284factor=1.897zXZִF! ZO]ŗXf1-/6vRZ(9g|/?o$z׋ހJ Ih*aj<؊ \+ЋYZsX? Vv# .?вNP;>+iyxm[*IBѺ )e__) o֗Yl/gYZ7zXZִF! Z]ŗXiɟPaOõEWDwSBlqh0 [:0þ*z@3%K+ooR#}TrӊnvvgYZ7zXZִF! 7G]ŗXi%>gOu`wi *ۘ ?/cV42/0\ ab6g]F?O'.;1-rJ0hvbPñng.,jml'(R>8&\M0p㙘J,BAjQT. eC5iRu &4i&/];R,v΋x l|ܸc'/,6Q ggǜbn|KxCVWWP$A\j,Xj`jr;?P^mmJrW[FO8)"ղwِ@ RW3>\2h ;- jJ7&]<0۹_!FY)4 .eY2N MO[4= B8 F[[pWxl]ͤ! ;t,P@R /1zAc4dX%pn鴇gYZ8088b22b40b39d498495f705c08bc9f4b94a65a5767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 % Latin_Square