SQLite format 3@ . BBh77otableisabelle_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 &&W= $L, ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.870cpu=22.628gc=0.992factor=2.887zXZִF!  ]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.I#v4,E.ɳ܇O/->T#<0Ɓh壄y:~SN%ʓ0]ʥq=j>ʓCXxhH"Y/2;9,_hp5t+Goo]@YH8!$}Z41C% T',7l4,lK@ )-DZgYZ7zXZִF! `]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>8]' xo$d@7ܞgJf`ApZe?O!3ݸ¹ΖTe/F6wTį=̠3R^X&e@A=&c LKEk휔-cgN4@f nA.vrP+N=z8&ܮpd${&\`Z7k b d J1xI' zqXjeݒx(1,M*j0OFx)9%`)>pexpGJ)CxG7t A AgYZ7zXZִF! %N]ŗXi%9#)fw#[dS!f)_!# 'HK fq4)d J7WrS}|YBsxmmI4F: *%o5/으6cc[mz0hըBN^ϠїpAkJWOteL" C[ ہ~ߦW 4(8)X*NǪA6II:k ?uOZP̵2ր}?FFPRpB Pe+fk@ʾى*@#{w Z=T]OpT"V:c[* +2Σuwd{rR&t!iAHJ/WDj7u}St \NP-p_r͙BR <= <,Ÿ@F|G0yi9_ݾ]ZDii{s_ZG. 심LZN4&av)J:C){>zfr~͕X@^<]zY#) P=ʕԌ{Ncqn`A kXX>hOsh}RXe_F? }0=<rZ]NQ+H4^6zgP#c0E5jF]iW_h3r֣U$*Ǖӷu[2-HH.0z:vޤ>7jX9"ŹWn/n,A<" %&Y6p'kQS&rd m~2i\{#p)O&zuKr gYZ2886abb698cdb8d9645d8d4b7e892e812df270ff357008b0b2682019b352f15558029e5fdc78e3cf 6ed366e7eed5721240602f54453f44d2f0e04ea4 52f61a365cdb0bcf46a3239eb16f67f805f07d53 709acc9b80d0e925f958673fd5a478c266c3c20b1f119155c1f21cededc50a16ec477355407e7485 = HOL-Nonstandard_Analysis