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   < ]/]ZF-Induct:threads=6elapsed=3.284cpu=12.756gc=0.552factor=3.887zXZִF! b]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N KgC{XR7H}V Ci23kFځ۠5v*إou&< d@'g(M޹{@8*v+OnK?b9a8w/SJI y')%Zb YZЅq>}_"_ | ]X- =Q_) Mkc=gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|3#@9Iǔ۝3 &r>LjT4~P3]r\Jlܦ@FA#k|2v=c қ'6>8GSjLf:N ̐`Pwfd5K"@gZ#5!ht&Ï(i{o{4Њa_& CBfIgccu x/vħ4Kϒ%0J=2 QIp91*qOgYZ7zXZִF! A]ŗXi%>eoGա]*x_l5]pSDc&lB1`Ru<9ǮXڈƃZ,rc6-L9N,ߗBgVȷE+3el"QNA`dW.dxjT4DYV'" [>XM4>VoüU&M -vnu_cQ5 ֭nč;|QԖ2ro&B7Fz ̰Y=\T4F>cY vPB@GD8Y^v3medvwGL|qZ9UpdNޖk}P=.N @x@!VHlh~2?fCCZt,Wx䌟pxN(Z]۴M4nӴ7f?oHB!]`\_J-Q_;o|{QfnZ=#WS$o_d@MKzNX8QVcݸK|~NdxBVI+KӶ -k+]WrU>r|!(RgYZ00a460abb51c6d37d9a7788e47fef78c41680b3e8bf312bdadee5daf8facd55eb1fd3c8949cfba8b d1dae2af94b22cad4aca49245cf61094022a54e431d8dad5e9e47be2822f7ce8ded6661d38c3dcf8   ZF-Induct