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 JJ3 <<$ ] pGCL:threads=4elapsed=22.469cpu=85.464gc=1.936factor=3.807zXZִF! n]ŗXf[&.Ir?.kL}%i\JŸ=[6'L.t9l+4Q`]1JcFݹȳP|{Q[ h#ܩռs6/lPԹsx]Fd(^dZS=`cm['HXfj{ eb}}EVj`Bsa5y~p7q︌u( w.h9H sit@.%-D tf{ݧuԴT]V 0zborE;lYLL(Ult00ΪҪ3yz\͈vܨ^%U™}LZ9+fyx?TOu9x x,HrQȔ' LTeK:@~Y׻[e9UQ|R # k@oɁ}+caDcfQ-Ed9P5 9n66F<'g 9xPGaQQ.?~t1 k r$A8 Xs+tx7̆nwNd)˒k6ljp3 V;f~TIC8M? K! P,4< v(tlȻsBRL'/%Z <}IK)q=='@0#ϓ~rŵ%?Q-҆Iq!]Qii$4mwԼvH!& @|{SgB!¹RaBV`|4mNg~q>[#KHI@b5ܱgYZ7zXZִF! L]ŗXiɟ: e=o݆$doc<@&[]l4Kgvp8m~(PJ&By{?p :v [j8!1Ƴ/Wv0q2A%4CÉt:kZ#KbƴYQAlYe~!cJz? 2]yS5wb\Ps̄ ꗲ?^{ ّ RT^ i\0 +aDnm?fp̓Z[ddp5Q)<8D#-FvƬvt.S;srMuIh AI`<EC?CLHA6ص6\*\`ZK/ 3):bK * ~GZgYZ7zXZִF! I]ŗXi%@b^~Z0]PM&im6p큝 _VYHiZۖDkq:8{K1\+u-cՠغQC̎qy.<[C>V؆p1sre)~$eWcT.P?P%`7;ޣ|>eq߱ZNv]Kl}1KU~p:oc^}Q 8-X⓱gLű^y2/b`D7sF~79J5i 'Pz,Ґ),yI-AD6"R (k(j'IX}XW g.=xuforv7k͸5eh,_O_6s .eQdYF <\*63$蝥_jdAԘ@8}i,RUJխ[✃& u]fz%vS0.2*:Y7n鹰aEn(82uʼn_ ZqOQ%6Vvk> 2>WZEh3q OPab}vQB]'B|`Y17M(:VtC (p' 67%^] I^lۤ\Mv6r lMg6{YvP$\#i!{BmUc-V O>$DL5d.cyb1B V|Nkn;kZ 돋?Na3v%mPqJ@wk{I$i5w׎^N5S㤑Cd vx\ >:rM bU