SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   p%<<< ]]Regular-Sets:threads=4elapsed=45.347cpu=104.088gc=3.628factor=2.307zXZִF! 4]ŗXf[&&HK힀1uه_m8[y]~1.m^4Z,{ԣ"B 2oT ԉFu +63cD3dh+5= R<nd劯]/jbo=.4j{){mI,xBo;2PʈMǺ*%)&Pjxb? m炛 B'S1wBj!X@.,rq?y3H$FY1Pv?IM"L&ĴOjzcX+;H[xxcCMRB**ik,; ^#%Ӫ.n Ue ,=kոxy(s:G~z*CL1woz[GxKY|wvMPa>@qXo !f[߉S&psu΅{[H Z45=::r|5zՐ^GcU {WctnW{j@럨 :Y3k Nɒ6?ò^]߱ZJ) t]D 1bm96?jg01Co~*c25$`4S24Lvsh& N16lÍ(G׆\ܓr`WKܻa*MBn30M%6oChړ-Tݴ0)ʼ۱gYZ7zXZִF! ]ŗXiɟi&w<$мI*0a)/~9Bٶ?z.Y9 6I Ş2} 3Rtj. % Regular-Sets  lQx DA:jj{'}R/p/e0$ nI[nZ+Eh B=ĄxH55ӂ\0@-)W6FhOn@8mo7fϸ 6[k L hO7rp @Îqo5SjطRASbY0|,ėQ(EvxߋP3^:帱UFbLy{e΍n?\͔oڜy>OWHG;s~tbt53 tmCʽ9sWN_2s)9:9,^C|Fo]b%8~]ٍkI}QkUL4Qlڦ r+IXmR@<{ݩd3W?+w8u28- <6s|TN\#f׹:WNR5;>A3 NPҦT4g.ߗL>c#^ qTk*>[F}@|5)tp0,!ܠCKs[oW þR}P>ued\pI!9^`*}QENBkȌB1]qrY] :K>7coE0&WTEw|e?r՗v0xQE'*蹦&LX?d0DzIJ4*/=JfAF.YtR#AƟ*0D煍Y-#=mB K9N POG\>s)_oh>P9A*Ry ΕtOWO(*A>ьhs5f]ʦb ݼ4Zaւm @̿1*=#>:H]K *23r h#(Y!>0n49ϐ?1TgZgH9&!?ϲ↧wF ~/vt|Scɉ01/ϹR0sY|Ҏht}) xر:Med[љ W?PƆ SDFOkZXe+ZhQjxaS{wXLG] ̤fE>>zh×9^߰=zu+ݐoB5KnzxABczY|4wvYp>ސ{2ljeR qfml[TG:|ًv9+jad6 2=v*7 Z%/KE 2s%yUBcΔʞm$lv%zD=Se˾8?Nq'D޾^U0Bx'CT)!Ώ*e^h@c|ZUUi*gYZc4fbda965daab5434a013272143bf76a102e0e83d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b65ce21edcff0c8e04f73fc4f8013d86074b6f9fd