SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info @ @ 7$O HOL-Datatype_Examples:threads=6elapsed=84.540cpu=304.824gc=28.576factor=3.617zXZ ִF ! $] ŗXf1-q恈&!&ʁDݪs 7 HOL-Datatype_Examples y|NˣCGV2yR=q7q ֟]5ϗW^w<8Vx?]DjkVHM" ?`1DL)^IMiF&E:Gs qG3CFޛHQ껱f/5-ZFr`KufJ\jAtOV ҮJEŴ8Zy*&(%!!DxOXAu_҉Z! ^> KźVf\ݰ}#MZ|;>Y+Gy^_?eV7LHyW-e9$r9grijnt/mӹ c= P~Z}:%m)w 2{/Mö*t*ݖ6ͺh;}VG\0ڛ솔⬆ ]2&iIQ ,<-^4v!L 4b2ِcMR<"z2o }T9 R<#ȑDU&Ւq*/&;_/ ƖxVs*ǔyڌ:cefqMw 2Ɂ(}=^'Z!1B}kylWjA<@em]0EqW,k0wTt
%So&KXBҌЙU̷3l)XU([l6!vJjwW;'xJ"ΰ
0ܷ_q#V?ӄ[e
Iu$Rxs^ÙmP.%|WXՋk:KA1
G>˘uϔ l^Bvz]1rKPA|bҬ->߅mmJR5m WC
jQ 7NϮʠ(֫$zL +ߋI?
~M~xnBy]Gśf*%P *ZȡBB] X={ڟ0p]:/N>JdϬ(L Sp$V
.%pv.