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 c1 4L4 ]/ Concurrent_Ref_Alg:threads=4elapsed=6.108cpu=18.300gc=0.508factor=3.007zXZִF! ]ŗXf[&"wxmsɮ@wy "ȗ9 Ay_kC&G|/l۶UtC:DSb tTCLbeELeOR9chCsU+vb.׶zbH|y ǻ}C|7g[o;ɘ$ɚ2UŶ;X+M"w;y;\ 7` Sln Glcճͧ6rݨ76+aA[ڀ dV6l~Gna7wD/=7 gI65 pn>"/|mÂ1 ɉUkd$s@ I kzҏ*2VgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu8ҦT׃<t3Jo]@Y@ a/'JJ[hc1UԈLd>"|X 3f"Ţ·ro[Q'<;D.{N3uf6ژDP]?(0Aa˖V"O--c}$J}Ol%gFw31jPF!D/]C𔌉5nYMgYZ7zXZִF! :T]ŗXi%GaffS:$HeweقAʚX&H "?4~h[ xjF-="RA<*ƴA~c,]8cEt )5SDFYǷ 3Ew8*Jh_4Sʚ j>X' %'.5OԆ_ſK dfb gRj'l}.6?A <]Md@ƏT'yKgt eO;e{IK.AGfR[]EpWcu1Ѳp' "Z} / #q]]kh9 f<`dXT a<)tHy-w`_,OjC/kX(4,6(W*Adz]09c|;Z2aec~^-lE`D >CEF\;Fj0`2?Bǿ%J34jZr5 ]ӥf)1;k$`k b ' ' -s W;c/E!=FuAb)0y~};j&-yT_9]8/amuАC,Om q#ԆWqُ(9eZxTpi#As_+{W _y BNE vB=yNs7*LJs9.QT'CXwbG@Mqăx/r+ tA[ZKml*F*ĩ+$gwZ3P|K}C1+(eƠ.NiG E@M 1- f48رb#L+Ce:pIXC 8(KSr@Iƾxɓ! !1߼)-q/T+N h} ϖ(xK>sh-T"TbnF:qyJ9aB`JK?yVrF_\?XQ5<ֆܓ-S=bv1wzt[}yJBxK_ YK=Z8+eZa E  TO% t,gYZ42eb417c20bbe8137cf00ba123809e304d82237f4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1 Concurrent_Ref_Alg