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 <<A! d4 ] HOL-Induct:threads=2elapsed=17.985cpu=34.136gc=5.712factor=1.907zXZִF! a]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`l+5ؠ= e@Kh$lYu=n[* 9J{%R!O&Ycw[tDB޹ݔyPU)1v5DenƐFLa68vQU>_ܸ|opM-q,+^-?ā'x}D,fWvpqrš^W{5EF.36NSfKgKJE,>3UC7IѶnce{YIª響}*Op@`C-$$ϓg.ǎJw2eOZ8CӉ8pYYY>9֝T~wsVYqC jS!HeC=|jthG3㆔;E*+ߏ(ODνށ&CT[iFJnc0N2!hm sxm"$o'wx{RCBUQZWgQo?yrh[be}[Grf=bJ:XVל<=EQsQT4XI>m|W ֡6wZi~y`hhSS/gYZ7zXZִF! []ŗXi%;L?2H'PܿRB/EꘌFîn&8Z 9p:C7`W^-t7kh\w;i^.\|N{$jjLA+%ߦue>TW^P ,djvfmlә^5ҰxŒXXn1hmmst;c ZW6ŶF9C#|ef8cdq"*e#jxp>q6 lDcQjN97uG{gb*#m܈4VCv& M]>TYag8ٓmu)i-ͧ@ 8◍k0F]onb;ӂPs8ŗ 5d()yI22bw~hE{%YmD34ƙ\>~SI-B9)hwr$X ČU+6D[jvSݺأDAg*#KEšqJr%(v DÆT=G? Hu6s8exJ7r Zm!ZÜьRXhgbRYg4Fȿ̙ ~j9خ}jDA`缆z6˜k([\&U%5#]P+E2_@8=XZuBE& I)Q>evPgH7Ks댲zR6-Uk}9u䕞M%1յh