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 w | t ]% RSAPSS:threads=4elapsed=15.231cpu=49.528gc=1.556factor=3.257zXZִF! }]ŗXf[&$'ٙ]Z}_8K&,WrCD6\C77S \XeB7}~e@gMñJ$T>$<bc!:;,+}KEդ{Eo5AG_LuTֻNu@/xx&s[OCI͟!= չJ:f~e,hEW%yt=kbqS }QQOB:lm(S(^jЬe/k$cϤ* ʣ%눶VZM. 'yTp@^mJH2)Y;lo λzKqh%f_@ҒeɆh5orPuw-x+Du"GֺČ"%mЭˁkpM+C/bamWLѴ)aHxܹ0&OX3 1N2l'*whvGߓiPfܳ޼)eU /SJd+NIla t1e)Ov d5S-[N#8_<4QPO%Op"5bPP$rF}Iʗr VH; yIeagYZ7zXZִF! i]ŗXi%Gfu~^C@ޓƹ0D):(p+}*89K-N). \Wإ}f6jl͘&"З\|nv൶6#U[rXT5]U6K|`4X2NA^=*J:|YdzG.(םKefxl P=g][MEC?$rkd[k9E(H$-j#lPwǀ޽ ?05kd2LEB9.F~-R-\߰ HGҷfUT1J *BC<>EWz0 T-+%ݺUA:N"kb녚փiOƷ7yAh'?sMȲ(3˧Oc] Uξ-~[#@ ("zhr 2mؚ:b`?eoyCц[]"/1pst?* Pi~?LiR1؉H2c|mPP"V#Coy|g4 GÔ#&qpvˍS}g_|Ц#BoZ)*}eجTpv`СG=E6FB&.J}C` ƧP^̗4UsxtvhCc]< 54yM &lC N~֣|Q>JpսOV2V貨3˶v 5ex~fʆIkF-J"fܭ!_QQZ'QfrvA$]W2[ {ľ$B*?yܩ!\e=݆)%[qgYZ74264b472d4cf10bb44b03bd4c5c21bc76e14f231795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 b94aeae032d25118b0ccd9683f806be94d108fae 3866a2fbd43f8938b9f85e5aec1b109a11787c42   RSAPSS