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 )+ 4|D ] Cayley_Hamilton:threads=8elapsed=9.462cpu=33.304gc=1.542factor=3.527zXZִF! ]ŗXf[&w1I.dv&v0xf?Ms\$BUYϏX \=va75Ni^8aiʲh$~d}&A.0fҔ; vt28d{f#06;<o6[@ը+N/s?QXA5HDŽ2=tQĪVr_OK_^,]W^u/GRup,r+ "iPb/ \ÎG-sA+nd<,39HS c}WjO;'#Kfqnn:~u:NjYamR^$O =N[A2Gs=Iͨ--Sa걷̠|yS䂗;ő%J`5sn:X0gYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~koniQ~4ks7SHG9g*\YWE*c6Mׄ`Ь^Qm6¦$)%jE16_Xex[{) ϥrjc/RYq7 ~ipsRD s}~o/IpgYZ7zXZִF! ?w]ŗXi%>t{B#ࢵ1_zGlm=)D̊#MSbUKet2ܽ!햋hQ>GF`Y8Ĝ4Z2#"J-9 x`Vm4v?%'鄼? 3+l=*>y,2aZ͘'@>q+j%s| T!RMoj,m|]dχO.?ĦjI/9:8S3)7GVn$p>R/T#@P)k.w^>5lM͝ATlad$Rn1C+018V^uBbkH{ysCS>;Jq(O1l~Ì"ӊ4ռE_JkNbuK۲t'= Ay}[4RJ\U3ZֆrP`~񾋤il2n+AПYV$ԵٹH d_fv;R+ ][OcZN#uKEjAC&EY\5ZG}vF@y6&N/M*hִ2(O1IBAgQE6"ե*rB..Y>ؽUy=4/7 K˸*tC4[cđGl " U.01mr!`r060UCNڪHVڤ<~}#C8ᏮFGeTX3bG+MX