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 -+ t|\ ]/ Euler_Partition:threads=2elapsed=14.299cpu=26.284gc=1.096factor=1.847zXZִF! 2]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjScyo47zT!(%D//TMm h,]4a2d[2-S`h^UtZ'{=(OT(]uLza/`$jC@-dwsY!G blWΦ{c(_yBP0i/>1>xr X/2@m|<}P2'3u<1廷t>چ6p8) #ׄ 2UÙi4A}:̓E!8x&`,iD+#}cL Shnu?ԫ'Ils]S~ܕZ~4*ω]Ƚsgf G1ǼC~u׺e 6 ^ XV*=AC0ͮ5([4~\Ms$ #&s1$V M6$H^:<l*2q-sY9GH)zӎw(k<~ GQ)yz sfH=]Zn@% 5H  ܆]k}ӗ<0&XN8,^Dpc ,*