SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  ; ;B d4 ]/]ZF-Induct:threads=6elapsed=3.409cpu=12.184gc=0.688factor=3.577zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ ɸ|n\0J5N(38KCaF&ww0[)N&-EΕkdO2ǴJaY}1E+flʹ&b0^*BcEtw9Q|1H_2VQJ A'gYZ7zXZִF! ]ŗXiɟ9\'B:b&=*eVBz ]CwF I]VEYϯqX1u1jAI4xK^ 0c'OR5:d7 BBMK50-ra'Iq[WN"9FӶnYXvpdO~2 # _NʥiT'|%Y>a;۩A:KmZHR.O~`>8@@wq]Q&ee;gYZ7zXZִF! 6]ŗXi%EZţ#la.bKѷF~'TyX//g}lȮɵ`ߖ'ݸv}  H} tGMUmBqĐz`XbؼY7szĔB]sto[9t,W#&BƋrdŲF@-G}$軵d͞TGhb[h,3 Ɂ~ &aԳ1)GW1*Ӟ9#LJXq{zGf!SQx7muB@{CaM!`RA W}B8(~ʍQQ"V?Ve&-*ׄ "b@#8 &prl]Yqt pԠKxpSrRU'{~(ޜ Zpiwi9Uj\r~ 4[x&+zی$Cޣ?UO nNlzyp^gȝ:wِLŃLb}p+]dn_3g`8^$Ҩ_QC4"v\:BALWd$IQb%soдh$X,vD9nab a |7֜$Qjd mQge' {1O Q<`^}9W|)<A.U^>+PȗmxK5e&X:sbLf3,obgYZb28a038e54f23e76a2c3985e378c45285c4236cfbbe5847e310595c720c365f3cee328952d2bbbc1 1d60bab5201fbca801534cd490f7a06c426e0d0a0be27f5cac936a5a2da1c16b467e7291a7a5c68b   ZF-Induct