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 c 4$$ ] Tycon:threads=2elapsed=9.653cpu=17.512gc=0.624factor=1.817zXZִF! Y]ŗXf[&~=BV ) a¾!H/8U^ۿ}McE,DžJ&^~$ޛ8- $5H}>6vgd{NXLY4/_5nRe=ZxH5:$pӂГ).2 >n_yBӚn crJJqx6C.f:fFf0LFi_ѢHCkwn6wh z{~)tlc.imU!V##Evr3E9'KNt*lAh]X;DX7 ryڋWM^CKk"|ϕ=lYŷX"Wh˨FSYXԛqHˤZݼ e6\t8&(bJb`͸ˬR*&biUM0cR_:r1R$Ű\n"(! qbgYZ7zXZִF! @ ]ŗXi%>g[, JF8RKz*a*|hL}a a',-{*,6íM\BRI3;#Tf#RW\Y I)qjhbY^x'=GⰮɔfNr mxc 쮧C=I0Z;7fF܈BzFG)cr_/G{~I9?j$-v4D5m a3$. _Z.R<&spqqǑ{RS9^( 3anV`!tʏdVA'zǏfȂ36Cx&PшbQ9xp>w2-U*R=E_]>@c ~n7P \GAUA'Zi*oaU0EKdCyxN>3#rxh]k{k!r,|Yxڭ-`UTVs@aEy4Q)Q )(XG)s5}7o(x?Gi ^Uk4uT;ՠ=-`'*1+1c\ұE#e^$,$Oo : |43<|n4s/Z}?|vnKԁbVgYZ47a459f8338a383935b46660900f2fdd54387aa90779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 7220c8ce702dc58dd05974d008871083c8a1a841  Tycon