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  ' <| ] Myhill-Nerode:threads=4elapsed=25.843cpu=69.236gc=2.292factor=2.687zXZִF! $]ŗXf[&*%5r+=~ȳL\Th;% JUO4UbQq:H;1'bޥ+ٵɆ,a0[9ۂ&N}@F :ꗬMm?es+'hDw;}%KGۇ%>U0Sϖ"/HN̍q۪[+{87=>qhA 10 8GlrCO܅Pu }{6)(CˢؽBo4wV1< Icx!uM|ɳ}iGCž6b wJhd!tSl>pRcװ8oa9^XJ\kavUDE_%%Ug,3oԄw2?s^MŠ&I謮Qo>H=#k BHޑ{Ms~uģy3dU=8 Vȱn<tvwLDגM&(ƷgLÿ 1oכBLv-U5} G!q,R{݊kov }mg1ghNܕid7B{;BR?ڲOd2z]D$(5D^@^y1rvb2֕cHaW7PWN 8xܓr[2鵌D1&'$$ٷѓ<Ąkԝ\%.*CBgdvM'üOV 24<'9l&gYZ7zXZִF! P]ŗXiɟ㶵fL4i=J|92ms;ә_t6fJIфo[OQ?eW_U!9NJep88{y?E0 u|}G.a"1ȚҐ4KAԲɭ}d/D%^02K,BAhң(xJE׍9[)f# ڥ,V5[E,hKZHZ9?ln{8oE$L[ 7TjT$Ojc>ZzokNź\# kr+WOVpBqZu[%%MMHTD<5mnT8pZ|@KeR W lWFy8!ymO퀘S}׾!,UcMο|UR5 3]ʝu\21V~6W@>C m-!/[e93Mx.]xuvޭi=z .Rf #6'^ 1t':wto䔵X>ժ=rcy8 :Y1<<prj9%N8C6w`b C_/.喜66ayM}WZ?dLxy~mծv T]X[Ot Tbx.XLp@KL\+J:fV 4-S wOZ# Qe=f(ԧͷr&PV^䩛[4._K5r 1H1=eگ楍^A`R jܨ>_4I5/eeSNSJrVj < W6i;|+A]$5$*{O7"(ߑI? ,ubw }L+P^l/ڊg<ϺD?.ۣ7l`(wtc]VHukT>*$No7IpGz軋.N_AqΚ~Al6u ;(ZLQdeSM""O8]Ekt@D4e>az ;$[/I'B@uO1,E4I>s^q\NZ0RPV#||Qם1-L fVМ'qgg'*+bIrÞ&puj#so*֋ENC]?5m4^&nh?k<mPx[%6Tb2GXE0H _<)K{^b]鰪vA _yD߻vg2֧ҶU##}k\d~P|k 9?TnwSfu2'S0=P.uA:_Eq啩<=;g"֘k m