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  ),l ]/ Open_Induction:threads=2elapsed=2.283cpu=4.224gc=0.116factor=1.857zXZִF! ]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ e+7(m%_w<KBzKvy~mա|ۂWU>"~r0%PϢ?t}!pQ~j] H)P'X LY&!rs'De{ x /u U< 9߱gYZ7zXZִF! m]ŗXiɟ`.~*Dݤ-8>^Ȱy4TVܙs*+9^z#DŌ~*hH r6C3#nNL"\gYZ7zXZִF!  F]ŗXi%W~0 .hDO38rh;=EO;h}!vZd"0?A{B@[BoH`1S.YqyxRY"pɞՠ3Ǔhlcw)&X|K>ެ4H8:[CLqv >ֻoAVC)SEN&-(+Q%04VfSWO3WBPE J~g󦶑rUE\[<3pe!} Oc$wJ˹sm M"q^G#0֘~Zn3/+u3Ģ,iԥ-]* n'VOdN }Hl* QՍ7f70ER5<$rm*B&1cl&