SQLite format 3@ .0:  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 :3 dl< ] Presburger-Automata:threads=4elapsed=21.161cpu=64.760gc=1.736factor=3.067zXZִF! $fl]ŗXf[&XЦWEٔU9 9-mJY9.5 #CEzs4Z*5E> u=4ܓ.Jsd$W]~M8WgV= YKo?D7O߲LGY߃?ȸ0fovI|X{2u=shw{{~m6x֐&5ګ5g1FPH% NBDҨ>%[ZnBP;!H^, £%DwkʴĴm%!e"_oS `z) ۉ:~1hwRբF$暱`C̀taME}$ '栄!sCo-|E4b""7-9/2|Y1SFtMsv*s;&ɭ /jkI5Fլ5cmlxm *H ؔnV` Zq`UH =g ԕdUƺ (Fܳ N4îV uPOaW QǼ£`&$.flE-ER܏r8p(H;gYZ7zXZִF! p]ŗXiɟ˕454؊hUՂI"Cr%`9KKAA0% Uܴ@:c= ϡڝ` NHYC:0|ݢu,\ 5gYZ7zXZִF! ]ŗXi%G̉SuS@`nWdJg"RfDۊ::EQt/nS-# R l&#8tхbIz!s{U]uktBիfs"@3s]׋A׮\([Y]"1M1(XeG ,/lf? Yd=nߨY}P*#G.hX$]bHB L7?B[ꁲ*npG9p9/4B.$#]У(d.pS~,ʳlZ6p;-c&NbD~BGtI@>}aY2MAoJSquj≪DhVφէa"?%8('/4eo&k6rseLf 'j$ZhBm%h`8c25 QۗyށWaɋցnN@?\i R;vUEk`X4&e@34e̘ O`BSV->}zʸG#{3<[nvV|sut,{Կ],ebp@~VbRԲo8ݑ@L,ۉƣ>WI3lp8-sß}²9 uęj^qpιRtOա5E|8:#v־;CE xA{5Ιqƣ:iD:_W$Xx)n.}?W0cwM7}?]8 Kxl|mk(ӞA{;l}68ÇM%4Z_5ĢNŦ^ CNTghalR R 04 S!F S4&YFܖhC?ruPMZ!pF2r\?Wˆ'IN :Ҽbӂꃱv}E¿nSfC4CjsBu$ eĹj3+Y;yH,gofNSyYg«K3><(*U4U}F?* yLL!g\œI-ՙy]DqU6#~?Sl7>oİn66t?6lJT!Z;n-nD 4њhxMsBOjy ǰ45B ȼ7sn< AɸgQϻS e EM ʥAPaCCScK8YcyQ|ݗIO4*ZLqX)J$/-iü8@uƾlq>oz':52 @2^hi%3#W1Јbۚ R?bG ?dU3Io#: =/vjVg>5MR܄. دONtj@E{ʃUf"^bÈǣPGFNҘdl{>YژaH ŰdJ SO3(=׳Ul 0Lx @N c U_s 8Fzw +T@;X'uqpcHa>\Ӡb6qXn}BmA#wHK+)Q|IHgYZ065ea2e2020cbfaa199d73edd5b20a13d6a853a578a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 3 Presburger-Automata