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 = d\4 ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.102cpu=23.012gc=0.912factor=2.847zXZִF! )]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.P2L$F&#8*Y +:N1^L=7Zڔkp]b 7" ˤ+'udfղy _ 8ꎯ)6O' z?t+0\#OgbG8>)aE 7 G9LO֟AE)Kr楬2#IK10|knfl#X<#qP/ ~?g< QVDgYZ7zXZִF! g]ŗXiɟ1$BQ0dE8sM \`Nᵝ^> 5Hغrp VQ6VMfJᗚb"~c{@&PһV7'߈8bޗ軹:*g<_4D/XBoi<>ֱYm V7zû{.61򷞮ےOtN #VTbp.#bVju)CZ::K(%M<8Ub}ɲHvH`%x jĤa:< o11tCDV1xP@CUJ$>,Ι#ƩalqyS#!0 gYZ7zXZִF! (Q]ŗXi%έܗ#^6W ~VwtOvaEʪ퇩C4q=kdu/=,9}UPJ37oH"6KV" Y|X,VxóԏǻpYLRȐaTPqbCfl6#%Anoyv؅+}q?{Z$B/[}zaRH{{{%O@ps1L%&Q% 6l) Z[e}O5C{%{!{]1-L݋zie?k:KIjk!bq% j7(fw;XYʙ= ջ!*:QTez_ǎH&q2yS\ɖґ}HBl9"0PGJT95c y\cR=!DsqHYp7v.y#T]uApA1+#l΅T}QHeR؍dG&~b qU3M:`{`h>p3p",#[kE$/ zY7DΔj;/4QVo͠膳S{&9 LyDY**;4e*=FՄR;aQ4' MtOc0zdt*Qyv]<'uLBRMtAZ0Jݦ^3x9@b.,5EG N@Ǥ$P֖߱gYZ31c0d4202e6879c705e557ba28e8a43ed7e6a96ec02607a1ca167edcd658ec3d4e79e4ea4af5ebba 3b9edca41ef3030e0a722d7987c2d1d2e4c73333 b56428d245432f5f15b93df17818e6c844dce2dc 539349dd356423236a9feea966cf9668e7014ba9e24de2030aa442e245057d1fdc0ae50823ce4abc = HOL-Nonstandard_Analysis