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 ww1 ,tl ] Knuth_Morris_Pratt:threads=2elapsed=24.855cpu=47.648gc=1.416factor=1.927zXZִF! ]ŗXf1-q恈͐7ӺV 6 hD;V& _w^F#4ZMKDź"̍:v3ēt{Ύkiܬkc_fwَ*i}0Cy߅\iPnz03޹*cJN筳 ׅl ܛ5I6# NNCdp؆>E@ 枂 YX'Q1[8ŤV돓Er+v)P'nY^GlbXʸK)smq(ڛ/|cdj_ܪ!U6W x4nitRW>+t:"޼CÛ|OJB ˶x%0,Je yQd'?gU?xZS*OuRx 5Ӌr*pf> uQgatwHk@ӭ!RzSS^)S8Bk>>gL?j!TyǬ -O?3l\ rԣLdv~QM,? [^ע3x./CMˆLDks]cXyB+ӝ92oA]YhgYZ7zXZִF! ]ŗXi%;C3^gTڻ#,y=C[F/z3NMϢMvie~Q_*N#fo/s|.cYp*0T+|(~.uP׿A3epatM^sCi#`N![sJ3}V*p]%[Aa1nf{DF3J /zEychaPٌ% (X'座B!/ORJaÙ W+Lޘe?|6 # v7v|[Qvs2)N:,}\]Dz:2F/_q`Z߁!BΊB8,J9;H%T𙐌nS|騣"a~uA!;5L}B#|͒)p(5kTMm3n(^rEn%X"gFϱo֝y!51j2w̕XO^U@yl/H4܌ 5X*2=}Q}@VkC̲.U/խ~{dc%SZ|e2E_Qf3,cawAsښ"Ꙭcun{LjUǵ>#+_Z"? [*Ɉ (t'l-n׳{h~@8n}Sj֠Og恤T#D;UҺTa4OXԦ(YSbjv&җ;9k7pN#+# 9@Oi$=?,ԣ$ ƮYv5m N:oNΘm#X^6Ε!cea+K-!s7G!#DJ ,-#S_8mƿ46ib_9C6:<zO*b>c3T+7dD+Bc(Mb;%K.84YGz'/Cok4^gO!MdYss7?xS C~h^s]LsiFZK ^% F:uxi芣*Y^ƀVDCN҄<+!18a|OJkOlq:hل1Avp)=+Imms;InsS,8$'|Ma\̦c,u揉st8l_kgS!M;^[٤lN/Dґ8CGXY>.#–Y¢ѕ}0ϖ;c7~9!R$3kt gdW4vPV7^j.̡-K% Ը🰐\3AyÉHY֝}ļgwOO7)ٜaMca5`o=_뻷d7< m*㏈M&Qm4vOW@y 7>(eT63}wА8.:g-U]̯uJ{(T4B2m(tسA MiziU;vPcEpɜP-Zxp< D5bSLYkυ'9]gb8~u/" .R0 +!7毫_=b<%T$չ r(V?zpj=-gYZ276bba8cbbf9463bf36dd16f033be0d11f86acbfa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bc04e57dcf7ea8c69af8c3216e544bbc1ebadc12 e5c6fd005027b05c95bb790d8af588a6df5c08d9 8dbef17a79817c64be90526a646fed45bc637563 c321c706e4f917d3ad3200971941bc070f0aa22b ce84b6fc2171747aecc78893684687b614d5be00 bbf3b48b3047415cdc122740390c2271ac8467cc 1 Knuth_Morris_Pratt