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 r1 $tL ] Knuth_Morris_Pratt:threads=2elapsed=24.676cpu=47.104gc=1.340factor=1.917zXZִF! ]ŗXf1-q恈͐7ӺV 6 hD;V& _w^F#4ZMKDź"̍BWn[\s4j^ 9AO$O,9lGzD{ )WސQ0{6z-+T]>^ [W[B*Hz̩"h0e ۄi"H 6/ 6BME%KȚ~:ffXQ{Uv4!|8 ,ݎn1>YFgـa؟l86o|jР(X\vBM `RwQ Gx '!q ""釚h}}k^]PzH/P7g*%:]ţ .,ZWTCv#")YA MzuР" $Y{2X K&cDŇb,NgYZ7zXZִF! s]ŗXiɟ1˦r>yǬ -O?36rj>ZXJuw:tFR-]q샀g/@Qŷn<(/|(I[=|i#f gYZ7zXZִF! ]ŗXi%>g;,BgӊNHpd;k#!rQ{e> ϢW47htAt],9(mhaYh>"XO,0 >Pp^$,m>pn gRnB|5E%n#*_v~ZD ϕDZ"KڵB,&y"@&/1A1Hu%;D:U/<k ^ѷm4N&βFZ^w_7qX^R?ȈzbvJ7TF."j 㴄9QZF[L}]NB}ז[uIi kYݜKӏy9l4 " w[`Ӑ> a}hgq#Z"?"9KzoQUޙr!;vU C#|ǫ)<,0W* EuU႒Ee`pHse>}jֈÝ" 16/n: Q >k3*0pkc$;s uoE *#HփD:+1 :ǃUCk<0ABd<*ZeTȸg7uqd󋯤:a+](L%aVM1@:!D ,쨺٭~N*>k_֗:b+V*8D|οӍ=V'][)x5ֿVJ;ՠV$kmX ni54}VA2 =1KЯ[MTBL ߧDh(G6 6{ [:<)f%ev Km(QI@!mX"fcgͽAbӘÜ}%qŴy!636dp+f ?o(_`N@ ';5˓S0`h_}I6eVσs>B}Egq'cb4HOgJW I#gYZc7760dc09c4724ab185163843d359b93c8adeb5e665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 e00e737ce82e914d2086c7aa07977cba8cc85cd4 8b973de275ad44dc1cc0022372b397c51523491f 7191e05e1790e583eac4e44ffd41824ee75d77d7 01bc726ca877061f18f16b05ecb285265fbe3bfe 4f1c747d6ac3fdf1926a9bd1bdcfad7ae5c9cc3f ce9dafcbc0d766a021512d13047a5d8c0e53691e 1 Knuth_Morris_Pratt