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 \tt ] Knuth_Morris_Pratt:threads=2elapsed=23.590cpu=45.456gc=1.056factor=1.937zXZִF! f]ŗXf1-q恈͐7ӺV 6 hD;V& _w^F#4ZMKDź"̍:R>|:5l0VN?h:J{d@!Iz 6Z Ox[,&1&/*0djUBGպ|@ ) Hy׸;Ny<uzU],)X9(b/.TY$N:wR1|< ]%'޺/A_Իh-j(.piICǢ@[O~gYAZbxuh2Z-.Pi8B1CsaS4pP1c[nhMo]Z XŏBp30ai)fz@UfQ]:N0J\Dq5~{ɥHX[ɤݍs*Tsga=M=+`y_Y$@\`/ ۏv;"sJ boJA]QL$bd9A"JE rIIРݨ  pg2BgIR6Q݄أ+(?ΕԵ;gX~5PǴ㼎7KO)=gYZ7zXZִF! t]ŗXiɟ1˦r>yǬ -O?3l\櫋Gb*~|_h["xl⣻qeQp3 {ϕgx}r1"z Yb dɃ-&R[p>2ӤQ2Bԓ' ˺p/Ԋ35旱>JVmUg$)tf;?y7΋8ZLS,2DKic,P@WϮx:=ڱ.yKjSTĥ{mD24=QH6*Rnb*sD¾3LΟ~5zPryql߽H4JK`]Pq ULVqꇐBL⊾SJt1nvg2}8 ip^6e6Efz|W;SeA)0uR:n)ÄgǧhVHQ CtfAיѺ FiPTH}}T|-z+B JΦ✕>n̊+V,h (=-_tB3hQ*#<զ-a{+O^c6N@mp}CT<ْyqM06wBr]"tEm\tz2 &eH ph#p$J&Gcǯ]S0 ;.;"o.mar?uMO(Fl'n:yU"~w9I" cQv_Lҩ8';-領EW?/۫a " UgrpLzAEgZk]N?W>V (1lc7JmY҅$7=-mʝ1m8xBj7{;|ؕLwz#_] R}Sm~7Ѽܚq8w.{7M. !TdՇV+2 / :"h]Fuo3b NwcѷN5ªMnLz>F$!P 2eWyj! oc ]e$揚rq*jnOx:-cC# Cs3#gs}PF "'~  e `~E%ZjXc9S-rs4_u q-o`{r[!fD @/T: (}=U5'9d0#y b`bzG{4M0az"]9~ҍh߯+gކ8Wk=J*\tmbWY*Sm ͨ勩WsƭېDaAwlm~oKT\Ĉ-T8a@m⽼r':2^m+{Ǯ3g||u  o|5cmL H~zdFn4GkW:$>]3t/`1dgzMVe%:X.z)zRa,NCBn|90ĉ>~U&YI* $֪gYZ17ef5e0ad8c0a92bec2c555c2243b360eeb16f33a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 6b8c07c29be9e22268dcfe432d5c0c9b09163bca 083f9902691e545c91ca63c0f3e471bde55c6330 7cb875d988d1e3bb7bbde6be5305b3f83e991f63 074bbf5eed40c3b7423edd5daf6701538d9e891a 2b4c94bf713867453412cf6a1f345fed4ce48902 b07623cdf9ca8cf8196b54305d72b221aeae39e4 1 Knuth_Morris_Pratt