SQLite format 3@ .  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 FF7= t\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.283cpu=27.676gc=1.488factor=3.347zXZִF! r]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_\x ]+ ;9 JsҫYz{W{n|M'`#>JXt/YQ3/ ۡEy],Eܵ,v^M:ګ YM +=٢ij28aJi8h3 >s\pkH[ꌜ z.rV>(Hm_ѻY]?wS]lRٲ )' Y6`s33u^}Tހ0; Fm SWj#́/綼ND'մrš.N~' +/aL4aygYZ7zXZִF! e]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>8ΚB7F ^B2<\ T]xlcyQGop] N!=LrP?Qm=}J (;qDtN!`dXDjf8-0,#Qо<5V7ΫlAd_ۖa&Qو_tY1fidɥe`0W{ S۠OvȾ ɭ}mđ #˱gYZ7zXZִF! +Y]ŗXi%BȴC0BU:!\y/emb/ \3I)#?qxٸxdl<-ku蝓'-q|(s֐./կȊF 5"وI$\T?ѥЄrH/n<mHOn;w+p7mRGlct jz1 iEł#h]@z" @DOJ`[3uiܛ 6ܦ0Ŕݰ1_6:0^'nDǃl=+X-*d._qqnݱdK` Zax˭Ʃ;L)+Eɗ^:IӘ{g)BGzj0xRB& Q~]+v&@wU>>Uy.e4ʄxS1I{ԜX+]T_> ҷIe(1dS6 t퐰upg!~%>`#xyz3V£uFDiS4+2+%Yݘ *@tz6zEKiG/i@rbE]ޢ<|b,G˞'1L&-t{%? `LӦ1SCŃp ȻnV{K+0+* @qvk(nwV5WL{&~dtNs? TL#'\G$ 9nOԢy"ǝur*BT8WRf 1RSqƴrs Y_ڗiUlC:ÒeaYugcIR؛^ W#>eoNzY˩|M:0P0al,[_xK3