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  C C:$ S/]Marriage:threads=2elapsed=2.828cpu=5.060gc=0.080factor=1.797zXZִF!  {]ŗXf1-/6vR[Cx# U<Y dCNhtvaYg4bq}Kd&و8nw^? kh9M/dOO.n^š?tv!ʙ],\ȓI[q2O%C&~FMwġ;#ax׋.zVx0~6 Ra@1} @AT a"%@#aI{Z+.ihUT.g `U5I%k67raܾ?Fx0us{  Nb\ʗgGl8E6(}&" LB}/| d=>ɿFG_PgYZ7zXZִF! EJ]ŗXi% ':a)䍡q.S6ճ 4Kej} ܣʪ /FA%at 'U{GCP;bbs+<ڍ>+PrgpvضNO{u3P2XѸ mU6" 1n4 lLQF g{FrDhf6v>}>A\t}p>Jm$tC.NIlh} 4|6s# =->Xk3~ t $y~Y4Ӹi$cA;>HŠ23 ^P4ݖJdӡґ7LMlF%CuVSX-1+CI n7r&+PY|>!R[B I2|/w+͗shL`q+W+G#\W}s0awm1ݡuނܖHFu*@n&N^PK;$\}%kJmtC'QHGӁϖV^}lc.[rտyc=.P=gYZd935082e94f9aa19003a2467cb02ced8b8a4c150 ebc4257a9aa7a5c330a6b8083a3e451564d7e130 fc6e402b6d3e0e415e1f7c1dc540714b270f58ca fda2d9246beddb1d75ccdccc1033eecb3656c0d8728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72dee99e53c8c4713f31f4204541c847f0a963bac0ff   Marriage