SQLite format 3@ .  YYQ77Atableisabelle_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, "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 d1l w% Perfect-Number-Thm:threads=2elapsed=2.008cpu=3.892gc=0.084factor=1.947zXZִF! ]ŗXf1-/6vR[2?Tš͸J3\lԮ|[ 0h|@ Sr{I2"g~\elPmH B q۝>SBެmw #w!W c$v%꣸=7"u=?D/H%_~e]B%OfYt2 qi}-@RVmvN0Pgz9+s3hP0Nȓ]ķ2amQl+J"d=eш)DWHI;VҧF:nECt#oQC@ճ itz4GNhOJ+vա]sYiwo_T e:vZ {;bpӚBu]@1 hŖ{FXdR,o*p<[҃%jMep ZXz`[jygK`sH.`TvRJ͜FyK+QUgYZ7zXZִF! ]ŗXi%n8kDi)h|?(ö%ۤpP|]l<(W%Q!d[ەuSUn/XZ"HUd'{Ppem;4凷W`H8f!4ȃ}62:"7m ˯uǗ0=pFR=¡KRAUn@S WËG*Oe,OM#m쟓/7 s4*^\?"EC[% bۋL#v }