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 ll |d| ] IOA:threads=6elapsed=7.393cpu=32.832gc=1.608factor=4.447zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K   R]Dz4l=-.O<%ﷵ=zhׄ\ sChRQ7fWC=sqXZzdO}YB3)[5A._*C)ب+c_茟 :42:Q"i8r/+Bsb P Kb,y4V Vdi}QUV 3me=[I:'pď X3==MF%lQsdz(W,C*9`gK Djr`!{kɿVch?67WI_#S?Vg]DFvZsv4(F4J-9 #,ޘmw\[W1`rO gjMS4nȬ+pgI% _BS>XW6=ZuVfLKf=t.osyqWSҘ>yi۸wD'p*+T]՗֡Atx2 bx`KRND7$!i*-;3N"̙/tû!Y7D֤F5kJ^ JSoaC =8]6b؈\}ξvZюUhdq Tl+^g_)0wP4g NpBW⋇܌VNVtEi96*gk#;Yl#xtOY+7Qflk4Y;m5c =b:F[yr/,2 `xe;K;,3},< 3g*UE)1Vx ]@MNc3"VF`Ē\q.8OԀZVmy9r ;}B-c9e1ֶ1v1}t#M+*jpȎ>d3L* Zyb5mYG-񳛙l[ԍ;*K榟ڻVfB@SlZ yJY XN8N5* ꐁj}cEѭkwiqO1TN?X0^K(ՑK6/mLٵVBeF>!4PdJ3{aW^dw :y ټ-;T]WS g"QUun'5ApG{dZަ(|^jB+x,W3q : Y.H gYZ02238ff16af9902472f93989479b2a0964c159efbae43dd2951a6b8e1263e49c814c4a696de4b0ad fa7786099e4357d1af728bd041479c3ee700c993 3cd8fd18d1ba7d261f7fef5e35e66ef3f5290380  IOA