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 i!  T ] HOL-Induct:threads=2elapsed=18.413cpu=34.924gc=5.824factor=1.907zXZִF! X]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`l,Mr Otߓ&~$>T>hRj/ݜܖG6txZ0Ů6. :/+*og)`~"y>l~F"K\ԖJͬV B)F>DGeHЁ7 [ UP9E &}#هC-l=*@%Ÿ;ٗP+)aF}Ѥ=(ҒG{Z*t}:Ml)([wJ[d5Ibp˷؇)%sMl'B"|>/ W_bg| Q\G 3G q'gYZ7zXZִF! @]ŗXiɟ1Ml3`L"Ψx ZEӽ+2nzۇ6P9|3n^~Q0ہ&-wND" rsp}G~Ӕb5YЌg`Mi"g20UBt4 |I٘ OEՋI~wݦ ynL)/dUQQ5Onf϶:LZˊx/@FlX>4 NoGn>Vπ#.O@B>X.O&QB-ggY8OFKkLD]JFlFT{hW\bk՜bXNWP(f5kX@UT@MT.O҃sT_AJ&TFe0 *bMdl#K<|RL R~ Y,!,I<B=>3˱ ڬsTl$kJQ򻶷}֊vOG psY#o"+6%giâat/8՛yk{