SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info l;lD4 ] HOL-Quickcheck_Examples:threads=2elapsed=125.552cpu=138.744gc=5.272factor=1.117zXZ ִF ! _-] ŗXf1-q恈?XVd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm?vr@]Ӛ6pW^;|-?pZ(.x*K78OeҦGN>ofOntGu.8&Df+C#oK+<ԉƧ+GazfԠZ4-j!B2؆*VdT5^{Xʆ\<dj\G O2AٴSֺݪXFJWD!{cE;i=ZNfh+ucdfpqFir[!֔[=ZJIAQ7M&퉨 [q}6+Q轗.06L#w!Į1i SCf: (≧4cyDPSMxˏ_>DāR͚'8y7j?[Z?OMSəG T-I˵s15'\WDՔNV0T
AH&9f'*l AIK8)fː;qDsWbyLrmYR̷wnM&Q{tx_"h냘@'09ͬu2d]Lo\aH@=
{&-=bs
d,?t&FhYocv6
lZ*
^St^qh& 4RX^$vՖ*Lv¶E5(c_ȲAT#C\nӑtYhVG7H)5e;v6Uۓaݷr#EEoTSDV.tswR#J3nU.oՀjsˏ.g1OK:W
;qQqI&CsF]d?j`~*%roaM?<@U
1
G"i K7yb