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  * 4D ]/]ZF-Induct:threads=6elapsed=3.348cpu=12.644gc=0.524factor=3.787zXZִF! ^]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N֩"p-jyptPߛ00aЄm+!\i@ܨ- I68O=Djg#' s]8ŴJ+F=ˮ&ne?'{ԱvNT(O`y7~P`vH 4f*R ‚éoASkĦ |6瞳 vgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzN$a >}!!(/Vݜ$jK#\x+VQ̊pb74{EzE'Nh >r &XAO:StfjIg,lr3,[5Z 4P&V=I\GO}Q-BZݨ~&c{-ڵ5-U|$#I̠8Y  W7s#c]Qr}kyDFW0[9t;9gYZ7zXZִF! QZ]ŗXi%> t\{ج NFKbI6.%VbS;c/&DfiK3ƏT+zU^0WHt"I"IΫs_LSt{[@$ 5p.9 ~zH3lg88 Z/^+ U]~7=Of{iOњjlW0 p@iֳOFM[@4|4%4Wίܖi[p=0vcG mmey[BLm犦,0jfgA0)Z[@SNWjH+x йHd&4HRkN@׏V 2LIJBr +~j#b- ?Ӭ ɚnB~ڻ\̚{=V$0Y1C(R?"z׫?G܏0 r22B7 DQyOxg h!xn|##BӶCĚ>;39sRQN2>E3 : H힞~ڒ'wpf&YÃEgYZa2b6c87e3630b72cfca863fab812c32841e3a060d2759733082b448cfff319a2231d0a2df2f8b2b0 546bf4047585dd440ffd7dcf0509745d4c3fffcbe9d235bf3f73ef59d75c801a585d3d5c6708d216   ZF-Induct