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  Y Y# 4Td ]%]UTP-Toolkit:threads=4elapsed=23.267cpu=84.508gc=2.196factor=3.637zXZִF! )]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e'T/|l{JzuEW9S|Ӳ\b\{wO_f}Wҹt V{tZ>A&_j޸ȾbK3+JTUе|O9S2 ;~`ɒeo@`/ۅH=^r5=ױfpם{m/p[˟m\ )?H"lGNUj|ozU qJ(VC>h%+2|OLPI`VXOUJYyn2CJ ҍg$) d)[/N[/%HL*x83PuU[\R٫Yd@=ZSX7<؏ 7rT߾!H@Mb/r0 R{ngYZ7zXZִF! ]ŗXiɟ.z+ j5PM`9nO{I'US.0j ސӫŃPQv]`l~eaJ`CI9SpVRgZg zIDS.ReoϺg[s0T^jՔŦ4'QIr$M=·l!'JSD'Vp!0fr׭%IOʹpE&% W9婉{`Wv8 81+3"~U=U4zKS1e_c􊢨xفH/'+75H 2'2gYZ7zXZִF! & ]ŗXi%Gf}PA# ֚gCl L-Cᮾ:²hy|C@Q,*XVt r;ۘ RB! -\/$8;fͩ.„ KE,6 P&Ca$;*(x%y ,LstdyjW_g98՘*X!1hRClܲ-$9Cvu2Q𻷂+ 7"\аRg8ňBc7iзƸ_iءbU!jUx:݁Om[e4E8Xd?L l껇B=#&2{6Q:S2).Pg" [.<2[sa-IvCcbΈӫXLS޳Krs>h$ƌUk!߹\vs3\5h!iYY*Y8BXԣvj-*ˉjB'Ež^ .|Q) =kmi650RGFrxT1Dȇ*mmRs*g'z3a++9ɾ::yEx\L#aT7V>&GQƄ$\b?j3 0}owc$ nC@"M<:,D+<)Rw$l7/.961k[M]ލ-"ø&?oqm]50j@/*> BeMlF8HAf!0D{|q{!yQѐU fb_2\dZ& ,D KЎ)^Vz_ef:vDfm# VSQLWܤgrmXr6X`ԤFgy2<8 VA>'!4\H6 0yã*,Fk˼R[!V8 ױfC+\S5q1ى}Kʸ ~K.ݓj7gZm>XPxzYȸ:L ٫ 36a®5SHQuY zblG->| MοPWą+fAu], ZF1\ hyg0KW