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  G G6 l, ]/]ZF-Induct:threads=6elapsed=3.534cpu=12.580gc=0.728factor=3.567zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ n6Xhh<^͵Ƴh0`ySa =HR/OPr1Y$Dӓ`ژ]5]8gNU6WY6usEHv^}`Qfכ=/lŴ_B4K"9Aak]Og+o ARgYZ7zXZִF! ]ŗXiɟ9\'B:b&=*eVBz$u[1e_qݦFd/km~N;ē=i  {SfʀJMYdRWRhīunig3sX 7 0evf%~Vٴ| <м}鳳 I Co_Ƃs> Id8} ~֋UI4a:iܳDS j\S%C_ZrJ2IvgYZ7zXZִF! 8]ŗXi%EZp}Zhωj<F=z"nUQsֶzv^w:D[+F5k'1o%Z Hۧ<[)dP}0TYɋT1m{ANaN$4EBo ^g\29Y_u+/u. s%ɇm(Z@zn`ĢtDtͭm|y}V#l˛̪\Agh& 'ϸ yT2WEj~G%Qr0N#vؕI߁/k0ljw|i*{AݟR^^ggX ԕ]E(=ax)r{Z5(DʟE2y]:&D)>V)4"E(LX/^xEȶ&L#w9 W*c^rPcH]ɅE0׎ U^CD(ѩ^֣<963"žJdA|w|ߵwx-D iRfU\L3KjO\ tMVVu+f_'Tx<{T?194/ւfHb}}\("/ L˳&&K,[gYZ82d033128ccaf778a605468affb89101821dbc2b774d4d66473cedfcfaef21f8da022a76e69a4390 16d43b00187a70673265fc988476af044040cd5922f4c0cd0e08cb77f6be3fe8b9ced0d79622f6b8   ZF-Induct