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 gg d$ ]]IOA:threads=2elapsed=14.684cpu=28.376gc=1.368factor=1.937zXZִF! E]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K f>DğrHj&'ChCPIUoS&q\ǽekDd|# Tru[VT"w75{emv4d`ۇ`ycܳ+Ybq *th3ְ/>K8c\ü_C#[$xPrT߮zXD_Oc6f.6BǙAUun|]kwN.K~f}i9~``2߶IW8Gnl ]]Z(jaa^@e*yCToT((Lݎ~ϡ'RлI(Z .L^9Je8[фq*J%x sHzaH 7;s"^#MDKUN,Ͻ|vzʂ VR@_&QGSngYZ7zXZִF! `j]ŗXiɟdNkͿ 0R?Xv*@?u};Rszs= v]\uY^L9o_m;6W+'ֹm$AZrJaM[XQ[rבXePD6'X\yuũҢ 0:sڡDRoÞf+6td V^%PdS@=Uѭi8pL`X}JbK8ω+Fg.6ƸܴJ[/(IRؖ CH/gYZ7zXZִF! DL]ŗXi%;Fq4ZyB@vkSjJ2Vx.4ZM@[rIbٞo5[nF$IJJLVPmQg:{ Nک`z;7-qφ}/2rLj&|\Z^*i mRpsgЛ-<2"])_ K3rW1@~z0T`S _~q>pZ "an֐3/4M>W ~6cȺ5 ;{(2U~= V9L^*>_=Eb|eځ?Qk4,OXBSQo];J,iHM3QqSw411ڔHB*o$DY#o6];8 , AI43zK FG5҂ 1C<&D& w@5ם6}GGgtȷ0]CL~S`Nq(]Rڲ6oUMs%ֈjjqD(ql"+u S2zj"C):l8q8ɧc_@^[";i'XbXJDE "8)FS!?O!,HBl)NRz)qqĈ]"N;{;jxgGJ(Ji~%גK~˺|8`c:aCH.C2& s΁ S5Vz:e؃dHK8,,p3S7O!uB= ~ƂGziq OISIIoʟd e8z #Jo (A<0eM|Aԛ(`g <$W"[b8e<.`g,}n3ʾ7}%8^~H7 m@!N!n-J#ݛ ^- !Ԕ %!cPYܩ* #gYZacd4659861fe628542565a390c3b8d09c8e04b13d50d23da2fba2fa66eac370561c930ef78815f64 42ad9fe34f8eb64ea2663c9e76a55f6c21a58507 f3c0eb87b6ea50244ffd6e2056021450d8313ef551b5f1b9721d5d25a46ad06a9690a393347e0cc6  IOA