SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 UU= \$ /]HOL-Nonstandard_Analysis:threads=6elapsed=11.028cpu=32.260gc=1.048factor=2.937zXZִF! y (]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S:{SeKd4=,bhƀa46e~3s]ۤH]Z"{$QJa0u.$o;x1@Z mUeژcHkt.yU vZCEFF_Ēhp}uٙmL{ /"2,g]`*w`)sxSKdD8~ZAWPl-[-R/f]v^P0.8MjLOד{t>6 v-loXDe2K 4wT_Ƹݫnp%?]/~^ :`FxBsPہl*+TbXE w8I;m5Sڮ+/"Մ$D[#,\4d*19C. = HOL-Nonstandard_AnalysisIKlKlr֯A][F*|(GW]jLn8akCmJx׬DIALN=?;%_ dݟ=\jX^/bDE#|A tWIc_Ϯ=QRd^ȋ*WV| ;{-ٞ硋 )7H`E4x+<Ζ€vrZs(2H7l6 ;ǻL5&`;,|B~(!6o]ߋ93E6Ӵڵ7g0/#Z]ϽUuܓ uyq&3OG1=Toě.V_im׳Z$zZyyg8ҠIa"G$MEDbȳ;TLxA T7E(5$epܩ% dHP Hh˜,}e0SKGIv[D#΋ӕ- ޚ)|w [?Vzbl"2C͠thگ`@wgjĮǒ2szZhZ˽<#3MT{j֡O9g1:rL|~$,6;BbE<Hgc,7q +1mLuohHcudܦ$qktmkN s[J$KT}i@浫uҞu#\J(utm:ǹ;ܴHjRǩF`xuƘ&*st>GD( t$g,΅gqo G^ !)43L@B`żjۉrKbGm:޹`)l}u9سfvE'+E9,R[q9#?Y^ÑX'nAQ»_,#(4aX/Є넧@f;c”y _9jlgwݛrY#"weK5,? (Hȩ.ywGzchgb9IkϽCU4Dc>毆f!)iɱ\$ T=. F[`ǒwG!nKhn9?ۉMHI%Y߾Y@K0$MKn\#F&Sg7)S!mkӭ oqa `}>Pǩ4HTEiv*jJDM9|zϢб$?}4=,7%}80%7+tgYZ7zXZִF! 64 ]ŗXi%\I\Lp'>~ OMĕE "nrG?'NYy ^?Q=/.274ŝY q8u6ی=E/}{};UHhEU+LxacmA2<#JW0}MCv n%_βjܑh危 TͦRm37QP!%8 ʴyfk^:)PDV ۻ|m1D9jCbDqsD'<}+1*" 2ĕI