SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  dD ] ZF-UNITY:threads=6elapsed=5.671cpu=30.484gc=1.380factor=5.387zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b Bd!Ʌ]I9itN6 At*B)܃$c.5 ~H( Lij1v"R Q>2yAmOnVzAMQo*XLaj&HdWB-E$6k&wpRx%sO:`x[ m]zx$ 0)\scv^WؤUN.Kd)fhyq  )Bz# 3)9),G<R/}l+[yD׺^G=5|sC*85 Ux) |"Ox}?Xw4CIE_zn+D(?G_\WF1Ӻ@Z0C*;w\8}Hi{iqfpje'3E[=L*Cǿ{ztץu}U 埣/Y^ &'4);`rC55IpI/\f+• SHPn=ITW(6R}!bc^:>_6 A04$[GQ|hyƾ8J=> Vcy{+ ؏#&RȹBu,bH%!'?+>C?jiFKO^Ui:  BW /f+lҡ*UWDպ7o޸?'(l-M)!!Y g֗-ZUL{lr#bhMõKD5%'g}tߘ7V#M$VR;j_j&x%O^իym UO %"e߫NägX 6>^u5 ~y(&VFK@ln.0w P+/qY]%>ÀzgYZ0b1de7e48471cd6ce03130e76d40e093a5e62dd0d10e51eaf97bcfb5a974b5a9660b4a9c4ab71c42 61709c59360fcedfea28fcc8492ebde6efca76a6 61499393491d0acdbccbbb8f6412aefebfb6eec6   ZF-UNITY