SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 i/ Case_Labeling:threads=2elapsed=5.294cpu=9.792gc=0.188factor=1.857zXZִF! $a]ŗXf1-q恈NucvAݪ4 c?[2C IfW/a RIȕsbߐK{5C; | E61 S%ƛ.ޅuTӺ'ᬶ5WZՠ Ѕ~ڤ92+"f=mol gM]|+kwka*)6؍bc|h,"q! 7o;/D׫ I3y)ZerїʨH >0,%,!.A27TW \tBXD۟^w|NNܐrm&M%l`k TO&hX`IJ7K%IVXA)n`M _/ ,X؎' S6x/yaA'Ĺ'ք'AXiO;#pFfؙIod(F!D<;Msw6^)f]zkD k-`ie,|ԄލF%70ۘ ī|yu2B>#k@=D@fFsUAO=TuWej/]tfnfUr~gx8ۉ.[^UZ_ukyLMZRA sar-S',GR,!r4FqѴ{}m4`*UW(+ L|>quWf!nwW ̵_ŧĆƊ5F8h'|4a]-g*W $,DEֲ[B&n[2&MIb DZgYZ7zXZִF! # ]ŗXi%!W;G拒v)\icoHY s /qFcYͳu4JQfr(EC{|LJpqF7C$mnԩ"c܂ :]Or{r}FCwJZs*A7刍ׯN@3ԓڨPktfS7m2o-PH@T2&$56]#Ύ9NMo5j ~Iepb=X,,vռyBXNu,-,ȼ3o \wSḞ'cY'B9rk}ߜ0< BKYÑ{iAsl nZ[׻˒ ǚf:s8j_C1Т|gd|H #ɻ:Ac ʹZ&_XM s} d?;3JͽE54h\ |/E_ t]DnϩBrtO%}Sq#fA