SQLite format 3@ .;  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 hrt ] IOA:threads=6elapsed=7.437cpu=34.020gc=1.4607zXZִF! C]ŗXiɟLe5u%\ 6+4ϧ[3b XHƦAЬӸ.eHQ (W>b[^5WY88dt S y6'\ 7ziSΠ/N&u圑=],ggrW_|ts |,S3Kiz+Dt6S Ͱm }U& H_FĬF(W8W9g&( 1SN8jP.7P?)6GooF{0LOO!CQ .rfЇ@1# gYZ7zXZִF! `s]ŗXiɟdN'LvH۹/E]gig%*Hd׌sިR FrzINV 􆡙1x8 tFy@a薱@ܺQI+ޯWݡ<8'`18I{D2>[KрgL"~3)n4T#'" sF*DVX63R%@"WAM= zGq ~Hc:˩#Ф_*oABZU! Mj^E?Qp jgv-m=i*{xFhm qySdzã𚨉 6 GgYZ7zXZִF! ,]ŗXi%L(q NgOYUMQDnZ- Oܧgt+rsdA׉YmDhXi'܌ k"_l=ʼkO~ y|'1Sg^=xVENR}t(GcH#\o:! E;:Rߤ[P/i/Fd&s>uOE\4 Yb0 u=0/Z )2jJx)re $DQf\T$h}ѽs?תg"}"`GΌlY,KC2Vn: i+M'W{Z8RFVYz„;GnۋujPC[s4C%`-D`aiűWQ 5maԨ|t /fУdPf5}>\_k3xm1,( )]OeL4iOUѫ95u&rF9zn7ː8RPeGL$cd+ c{%1_>sk9i=ox㠟Gv՘, UݟEe/W m;lXaPl0 zYr,9ІavU1t^G!qL} is<\ ĕ:$H2kiag7nKE+t9lߎ[@ CqSɶF)c/Znc])Vykпx2 J79EhC՘E ?1Ju8;Xmxt \s6K`4U~HF)s7^dS YwRJ*bs=G3(L҈{N a#`h1X1U`T@##_U֫ݸMB1W|e&%gn pHO "R-闓 Jp\X#Ij=ءQL(4 4yN Y}RgYZ3aac9572b522f1b568cb2706b778ba5b7023ad161ff54ca3c0b35679bcb668ab161c4d90ed31f0a9 27a80fdf367af8eac6281dc27ec1d7c6dc00010d 8446228494c4c71c2ca9d94642c2f988f1d4d6b7  IOA