SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 S' Tl ] WorkerWrapper:threads=4elapsed=6.992cpu=20.384gc=0.604factor=2.927zXZִF! ~]ŗXf[&M{z6b'(+6(3J6nv㥷8_`^v z޽TOZ4e5r zg7ZL~g79oTo *Is(VC.@GקIC~mI*N!S('\~vi3~[ܶ)-6$15kD䉫GdjAKRpD5Kx(P{> ptw;:l@|A"Fv~AVt%cE@.ziBl& cqHp.NO)7=Ԧ"qfɄ"W =@$c| ]cknhM ժ/=y D6efr_F6GVHB.t"~bSFkqW dݭѼ1s|r񑞍gYZ7zXZִF! 2.]ŗXiɟ mLr?wl:bA8YÙ#Z% '9)1ib˵AAѾgc>Ȫ^s1OUlc9i|<ghBV1 /xf|U&gtZR4X6B} D.BL6M :KX1 a.uϢ-]%6mZ~g7XORCcEO[Y 2gYZ7zXZִF! <}]ŗXi%B۾26.7Ҿq5mKɡѤA7?>+L dQe&FV=~ZlKE2z? Dt v'()_*X?I`7)~oH aq[[WyX"Gw&<dž%炵|Wڍ_dԛ.AmFL'{Zu(=ba-f'|A*YF G礷ue!֘|*DRbUҙQd,M?ꚠfG=#Q>-CЙ^9,_`)+[`E؍'F:hIѺ G-dU#Ga+ N;m4\2Tkg%9̶>`B& <4oOZRsFpDP*ycRMh'b=MđФUJ KAmQdm=jq9fA5ry4AӲco4 \|o^R"M*u-9Yu;qSa07Wal? z?L?:˚)+#B`R:fY t]Te=$΅ u'Զ"dp1pﵽ ]jCY>>${I{ 86›L#ݥ@Un#22c6eb>}րZj!^`/yxbSn_HM/E) 1ݶ^h> 71OYZA1֘zs2Nm~ RԤ_KuoSF jf5ٓ:`1 / \P"Do#fYhYÔɐsx?2(<)f:;g>2V9[t$~<y. `Zޮ| ҋ9 ' dS7a=醶j,9 HD:ҍ!At QO_L|_JQ8 S|*ʒ',%ZZ\#cynD >pd3AnTJ*~p\2kb|јX{!<빦yԁIhGSa`uoH.{