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 {= $\d ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.733cpu=26.508gc=1.508factor=3.437zXZִF! ]ŗXf1-q恈1`VnȆf ס@wp  қ@\]ϭ:2[cˬ8C %O`ڜ:>yZ2;X=<ʰ2FD kWЙv0D 򸉮o>.@rkD""hHv mj.F쏩|3*0H;$b9?Pn#X;[s逗:]IK }X;ېԬO@{`N,Vqv'ZO~a&%&n4 MÚ1-"GjymiBV,l'$ܳUSUԩB4(>g& )Oe\}ʼnoS !kygYZ7zXZִF! h]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>C:&> Έxz5ȁD1]\shAL,Q*y~Ds=:F\xpRo+,~O?H]~՗^J,r1k$n XI >3.^ՋB,pt~uǺuF9JÎa 4͉):픃/>KNd!%2kjJO<מ~7JFBBzνsS fm  F};Z={],#e:r3RS1+C Dxg/<5 ]gYZ7zXZִF! ,k]ŗXi%B EQ&j<G'$ YōP@gBfM?hJ-)D$nlįؼy/H\&yzOxi0fV-@+tJS†J;6lVI|i5밆7Oe8;5oy Y^?N0n;dH/:qtlZ+mҕLoHN$ [7*CY3KM[އa?UGv{C$cS> ]t\^.]\=Q{.PQkZ[0\0lm Ӌ颯٨\I.ƹ,dJ3 y>L+ĬO8`~c&R^So&ZՈS-;xӐ cxrmYh0Ip/d*qяһHMDϻ%uWu͐P[9hO[D⽋U9 qC{ŞҒT#`,% &5+"Yb@=S _?Xc B}Cs;/ V-Po4")*Of8( ELzsb67Q&N|ev %xBWp>n%u6͒  A$|7}Yߠ{P6pz;Vv|𤜶C\=&KSN[;1fwƆl@:$ohtōg/7Z? 'kO)yk 0&X娢%,ʜK0/Tz?8nVi5dJb-x-ޛe}W?E^L"- A@ wi!.T?:%#V\&'qȦA[۱LNUި.[jaFJc!Aue.!L\<@LGbi˓rES2-}jU}l N[Nn ׫%WL׎NV"Fy );L KC{F˜Vg%< ~6QoFT]ʍkbРdSm|xQ38Br>PhNu7盞:w Yn(ԱgYZ4540bb284a80339d28d8555a2b069e9c54d33625854150d242a026a9a55d66c1a84d9e6fcd361b2f 4058a9d1c4ae0ea2523ff722e5dba8fe58289abf c2416a6c71477c6efe9a104cd5970825d3ae4174 9d82c558a4f01733036d7ffc075e906c1647a7308367dc0053b601f94043b6928e9a9ec02e75df1b = HOL-Nonstandard_Analysis