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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info GD,$ ]w Architectural_Design_Patterns:threads=2elapsed=30.183cpu=55.332gc=1.972factor=1.837zXZ ִF ! ] ŗXf1-/6vRZ]n;hB`,wh")9DQ uW2Ǹx^nwg5<_8+0Dr(N漻Um2-b uw/ᏞBnPc}ck4ǵ`":m
kྨ&;'9HWd*|D֏>n9S}m;YIh(gIylοzN뼞8rDP)s`A8%WqPqVrE~}e7н#r@]ձh=靤oGeV6<>Ogpu2fpGtJ~#hX Qe4!(z5v(.kCCRi^V&!^e>|k "܀@m XW
#JAUm%ta7:Z5"N]&QS_G?$g;vq|Fi2O+siQvDUk
c^̍1f>2!q'b1ۀ6#9_}+S~f"0S` q],;`K8v# jC4ʤnz#ڿ=WL/Ī'.;J?0~cEZ
<P!Net`<%]`Ri*yOa( *IaE2 A C{蠱g YZ7zXZ ִF ! 4 ] ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍҰmUn|Fz8>hxV꩘,AzW.Ϡ%ңt?rS@hw6NuLS 82oKYS^^@[%tzE1zLA Rbχӥ DE ԣ_ 0g YZ7zXZ ִF ! O] ŗXi%; z
Lo|!L`{iep3} 2p|;m.ӟg/'Ia
`0W{ݥ$_E1FGv$qB1b,GXzWtp#;t8{Xw;";(P0S%>
XG{B vP%;hkMnze~2thN
܉
w5[(,v}\Qp8W=Qc#1Zho}"2(!z5i:
@۳߄(Vv>32!Cor
Q%Pkt4RSM:8` Y[Q%@1զ#g-9IH
";4!ZSVg[
3m(X%S1-x5,>IM"A#iHB5;[J}{dlrBi