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 d5 |T ]%]DynamicArchitectures:threads=4elapsed=9.780cpu=33.740gc=0.564factor=3.457zXZִF! ]ŗXf[&L #.3!R&m'\2\kntJ;Ī dxZ ][Dѱ/Satb)*pXn'!i~<[|O D5{5דATMuqSQjşbCN5>7MjxUE-(<58ԕ"tӟKZ PDI]Pxq/oފ4y!Fr]y#|<U_lO,Ly.^䠤B'<) gYZ7zXZִF! x]ŗXiɟ:340Ψ_իX+jެDu?.jT yGx7' u⡔7J:9Rߗ@c8/OQ~Eh#/f;ݓ8gYZ7zXZִF! ^]ŗXi%Bt.:T Ӱ">l1Zbdѝ9uKG]κ}>+HrwxgHȑ˻OU_J(x#^M_w3 [ʪ=i 6MPڡ$Rf) +79-mo+Nh\= w+. <%sh#GMeQ+ \У%̴Xt3W{Q sGpPb<#yS+ul3,rpHq?qٳ,l`]ɟ]։7q}Wo|ٍqgHK!wVvhOV(Bal*i٣.(s`0 Jt`F,p[($Ĕ c NMBݿK[.rB.FcRA"5XȄQd NK]&b^n2(C{Гx-:HiԆp0ƉBPz5>8̯>赛WшMّ&Fi`olLf ]UtCsoUނf $\x{W"噙&M.9Tp$zgpҿP SatI\e'ƀ*`Px|gEh!\OMJnZ@(U  ))k,Z˝9xR@W#;pq1cȱ2_qkaݸ**Ǔչ}XdM'bRd$VKLDMdf 쀋Fl6Sq&"sNͣ\|WGC7uPy&*,B#x0oH (ȠF)VHG)z@QQ@YÝ~gy]0^9xe=;[}A'LE֟˿Y8?*bB %<ɳ!}}A =}* @X[2VFQ"Ĭw[ \L*3#,,4eBMXk1Nby(-