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 ##Z < ]S]Matrix:threads=8elapsed=15.748cpu=66.715gc=3.707factor=4.247zXZִF! !]ŗXf[&L_7Ae6^@ 3_B9X- FUep כ9B' y*VWϓ_'fPG:@ǜ5qVPl`Yr|lBxNϞB+Y-Tp:;M˔5#BfF)S \%q*?-EL0N{NCz[=!8cQ@k+Ɍ4`SќHXF@+_ %m*~2t3?b*/)'YgS17)i]@Hg?`rE}~/w݊(_&dF@23nsn Yog܈Y ѹ﹓9U@NWN68>x_̴+\Pɦۚp44[4,$]@@6c]tyUko=`&_YQ7/G^n-i_]Z4ʧ3嶷8MXl rWxC 9m2oi gTM鍆jC}~T9{TWE-/.o&:3ϲ`{K3Sw(El~CK; nCIЅss়jh7McO7\}NSD$5)8,bpwXV~0-[SDY8P8}yB]ac Y4~Mmm DQXLcǵš+`j?R ڜ2kŠdE 澜Vz,p]dvH@w:/8vr1V3jp)9{HOX!{ord:v8iBX,gYZ7zXZִF! ]ŗXiɟReDH$ 3gE= e %R9|HyAe䊟#0 ИNM:~D73JϣxeoXYeߚ(Z C d>hZ]Qì,=l>|8!.lScz0I!U~~Ĺ^E51.# 7}9T(GQ{3H}|]F I6rz /F4 ^JgYZ7zXZִF! _]ŗXi%>tygj-y܍Ir=3*t:MHbսۅj\qSk~Wjː+kFK:)Z biNu(o'3>2' GSKNa5IkY*Yz gf)zаQ۫MHQϦܐhLw| x*3 ")s!n@}vS*9@ XK;H=LY@Yl})f|4QT ؋L!B\GzID3ޗ6x|𜹿E&@dߘpۣ0Ao_So Ydˣh@{a(gK~o=`%z_,>Du6oy|B C0*xUl(Pl_L$,Nb̝9j9dW|bI[c@h,q"-׮ܖҌFk[koAOI+^_rf|t5 .NBh:Yy sұ<,zs}_@N݁ݫYSOX lBG5hu9ڍ3 ~ xWo:دf=x! _C&@?-RF:6r!o-ƣ?&^H/dϤE;ȍwLn!9[R-CqeNzO-su%,gkB,ś LI 9ԕZ7oH.Hr$*E7%;3RVf>U-zȂ2#4VxjjpO5E 3L`? c>'hLGE {YϯF2g;?>(Ɉd7+BIqýQHUln>WX¡ZQ/<ߦY*8QmAϐ!Z"@xUmJZPz_sAz93aJ%Rd9:CeQIʁ]M2q:281() nxxBeTy8riZP(#Q>SZZX~|)`VDuA;,gq7 |K{u}P[`=Y[ (~Dǔ|ztr \$(izn(g|6E%71 w Be<7䬌FxB=ꇽlE0@WF>ԊogBxbjͷd$`>#tgB\.F9xގ_|Ѡk~a#˧wO>"U>B $͈įXId҄qEQktSDzhIN]s$HRjOFXd#p?e1yOрh&WR="Lfݹ ؉66ۦ!S"VijvxxȺDy(;F!4[AP-cIzO7wv Xzht2:> vˢ-5?ޮ+ һDDvrEe wqQxM_}Ae1Qm|BS_ Қ$Zp9|+;U=X'k)EE#.;2"Z*9'NbQB-!O4c҇$?ֶ=wAG=Ԣ9\tTd[6ĩ&7F_׋ ˩B6Z8#nyͪ,gYZ870f393c0101c304636cf5ab70f0cd98da7118a7c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 398519e3e7e06a1925ce891c1808b92ea87ded2171c0143ea0d80abe563e2208d6392d0f984e1683   Matrix