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 {% Dd$ ]]Regular-Sets:threads=8elapsed=36.008cpu=88.750gc=4.004factor=2.467zXZִF! ]ŗXf[&&HK힀1uه_m8[y]~1.m^4Z,{˅^<6tpѷ{ny&p [ۯsbԾ2o'BFd> l& S9?rdC t+AKݚ"o$ A=]GM Cf_ "G~F_]9žpN[}gb9p=SE( S57́TFj@aa>;IBi0 SО74wA<%EDHI{F]#T .DkdEau{I4klT  % Regular-Sets  $ȠAd=򤠂5m.qR5>ee)\j`76-rj^!bW?&̳7|W>bJ_of"*Jlp&x*ScBkYQW1ii~VC$?n>ӜG3gOXs &fRɭɣEa(3d<`9rvw"(Fӊ‚h3Lb{wN#eDI }\R mƨ@ہfcs`\8)c|n8?8&`zEX4a'msv`26i$8)/Jh}| ׍h: $r Y2v"<$*ݞG7,m~6;0G Bv0+AUSwjۗQJojvP0ѱgYZ7zXZִF! B ]ŗXi%>t|(S K-C<vnhp:NZ#r)mN lj b2eȮ~^Iuh5A8vUfin \(]Zq LuO!x: ?}1qon!rՅv-\ |]ÝY53~XM=eOGF%๘2% C>vR0n ҐTx?ƃ,_(=.u|[wJ FLV4,T"%A{U~CV '@b*Z 8ۛcb9ay@5koBN?\c[KSWՙK9[]cj)93ĭs|:#Xp%ok+Z,mח$EE^m=vX[K@d~Q$!5-*ȋ%ǫN&f vނj?Yi C짽r,Ƨ,ڌĶV UWM@$tB;jtTuLTg[FF3ݔߥ7Ґ ;<5i6&D|ڡC<Sͩg<̱U)CNvd/7 ݤhէMl)o/lA^Ϗ8B k2FGлsr/vir.ر^RޖS&}GXb{ogī7W?2ϴb F_'C,2..}H|mtGhڹl%tHy;fJi0sjψARVCȮm#ŜjHjԬm>{Ee+ӵԓaaYOU}FQ6~U;i@@jp3z;G'tƀJxmșrF\)r a&?T0Vc;2QD'H|;x sB6 O2鮮golQ$Yxphq+|&{ U5N!& +n6*;4q0PXVt괕c!p;&8Ru:ft`ЧD&B HL0U0pF.+;^#Fq y rХN/f伻oﻨ%a,E&:1nIVBJk!EuSm=`;'֘Os 2[ʙܔ#\5;muDPug2AQatE/Y1~pﰨWq+g ('ts;D0.%9^w,˘٤(GQ3JvrdӱA 4%0R,ˍoH=Sn[h%bISﷻ`>9%,~WE߃WB.psבnUTSM]{LWL|z<WOy(D@'{]deoGR$'^t@s. 5 0ѻɥDYGBW~'ӾCe>e3f+6ַ' o}j.D:h;k.Mp&wIz[ tay/ #gR4k XO< a uEO5$.A.5#A0QhD0> ^p[Ӕcn3 ~+Q _#-xZ6K.!%Vx/1Ib>j8Э^.mH<,%CB[c|Ro,z6Fwu1 w!%ո989׃˰b!L ْljvy՛3^kA!pB*