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 ~1 t| ] Knuth_Morris_Pratt:threads=2elapsed=24.916cpu=47.972gc=1.264factor=1.937zXZִF! ~]ŗXf1-q恈͐7ӺV 6 hD;V& _w^F#4ZMKDź"̍Cs,9XGTp @jrc1j*LRwUxr7a\dݜsEn&A/ۄJ L$G0ߛJ)S鏥"V >>>6&FN$W;ZोK[|I1FInE5HtOU0v)ZMNgI"K2u*dTcقS:di,/c ~PiS5_&hBI˾>2 . LwG1.&X( 28N#dui)̈2sjoQ#I剑UyufA9 q >l|^ ƤF+b<"# Coo;YE~czlX =CMڐY%jqBdmv({y! u'| -̉Ȼwņ͓ Amg1Ng#~J$w0>WQy! U휋]#+NMgYZ7zXZִF! s]ŗXiɟ1˦r>yǬ -O?36r8s; ~to0՜֐7e_sꆵuAH-nsM{i=ۺўU5"2L 5] gYZ7zXZִF! ]ŗXi%>gQĄ_I|+IpuOӽw5 ^p[S]B{U8z FvnC&5 uGdE1ݜ>̻^F}BZ܏;'Cs= aW\f9?80.0*A`%k+{Ĕ$#y?I ] rIGR5+7W܃턃ޅE}|_M[A=6.)APuvTz)W',[.cpbWʵWʭ/Q/VMՌyBwpGS]}@ Н%T) {'h|'ge`\{k.W#2xB= ?2q}шH|^!j'wn^J$H bSx> %eE_fyYZ'%`DTWgBEj7!(y; !W[qi>$죑Nz|"w :w\oo8cAQ t6: 21hm*e uȠ69zFM]5̓U\lJ@6vd\[K9)iL.NP5h!SϸHVΒmeG%e r"Mê."Tq=xŋ>&OSP@mwh{5j=<2HWߨ$ k_8F CT!r*Z]VݼL5Eb;Mך]ε}L$OËu\Hk| iM F7$lKYLy6G_q  >+#ZmT$1ǃSZtNyd㧰FY k A}(xt>/ϴoצl7aS_/VmGif]pF&!>&p1h[|DۚbϛU3'[Y^(KFuZArYƍK~ UXOևf_żp׋v̖IKFq:?@Z0ߪl. TWR}pڋay[/&R ^J.uvo@4+#j`P2^f>X@~30 8髉.gYZ710324fa8742dd3efb16263d63e73b2dfb571bed767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 9bb744655530c7dac052b5a52b1435eefa0fe0a3 2091c877e07d76f0f3d31839cb52e618b255fe62 39ffbac790bb4e8e88d027df98cd6cfb5dfb48e3 beb6e0ff1c642d493603b142f4fc2a263573f2c5 0ccccece66ec82a68529f39d8c790749376f6489 4a687da9c9dd6856fa402d3e13bfc2540e17f5dc 1 Knuth_Morris_Pratt